1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.FL2024★ 1 cited
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
Vlad-Alexandru Teodorescu, Dorel Lucanu
Pointers are a powerful, but dangerous feature provided by the C and C++ programming languages, and incorrect use of pointers is a common source of bugs and security vulnerabilitie…
cs.CR2024
GView: A Versatile Assistant for Security Researchers
Raul Zaharia, Dragoş Gavriluţ, Gheorghiţă Mutu +1
Cyber security attacks have become increasingly complex over time, with various phases of their kill chain, involving binaries, scripts, documents, executed commands, vulnerabiliti…
cs.LO2023
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models
Dorel Lucanu
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.