981 search results - page 21 / 197 » Symbolic pointer analysis |
ENTCS
2010
13 years 6 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
CODES
2001
IEEE
14 years 14 days ago
2001
IEEE
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
LCPC
2001
Springer
14 years 1 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...