Use-after-free Analysis
Use-After-Free Analysis is a static program analysis technique that identifies instances where a pointer to a dynamically allocated memory region is used after the memory has been deallocated, thereby enabling the detection of memory safety vulnerabilities in software systems.
13
Publications
609
Citations
33
Authors
15
Institutions
Publications per year
2017–2026
10
Parents
13
Erik van der Kouwe, Vinod Nigade, Cristiano Giuffrida · 2017 · 82 citations · Full text
Spatio-temporal context reduction
Hua Yan, Yulei Sui, Shiping Chen et al. · 2018 · 78 citations
1–5 of 13
33
3
h-index
3
h-index
2
h-index
2
h-index
2
h-index
1–5 of 33
15

UNSW Sydney
Sydney, Australia
3 h-index
5 publications
256 citations
University of Technology Sydney
Sydney, Australia
3 h-index
3 publications
136 citations

Commonwealth Scientific and Industrial Research Organisation
Canberra, Australia
2 h-index
3 publications
162 citations

Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
2 h-index
7 publications
310 citations
Korea University
Seoul, South Korea
2 h-index
7 publications
253 citations

Data61
Sydney, Australia
2 h-index
3 publications
162 citations
Georgia Institute of Technology
Atlanta, United States
1 h-index
1 publications
14 citations

Nanjing University of Aeronautics and Astronautics
Nanjing, China
1 h-index
3 publications
48 citations
1–8 of 15
Conference · 1 publications · 16 citations
1
h-index
TOSEM · 1 publications · 43 citations
1
h-index
1 publications · 72 citations
1
h-index
Conference · 1 publications · 10 citations
1–4