Sciweavers

981 search results - page 13 / 197
» Symbolic pointer analysis
Sort
View
SAS
2004
Springer
239views Formal Methods» more  SAS 2004»
14 years 2 months ago
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
EUROPAR
2006
Springer
14 years 13 days ago
Towards a Versatile Pointer Analysis Framework
Rosa Castillo, Adrian Tineo, Francisco Corbera, An...
ISSTA
2012
ACM
11 years 11 months ago
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
Juan Caballero, Gustavo Grieco, Mark Marron, Anton...
CCS
2006
ACM
14 years 16 days ago
EXE: automatically generating inputs of death
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, ...