981 search results - page 5 / 197 » Symbolic pointer analysis |
QSIC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
CGO
2011
IEEE
13 years 17 days ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
ICDE
1993
IEEE
14 years 27 days ago
1993
IEEE
In this article, different techniques for 'pointer swizzling" are classified and evaluated for optimizing the access to main-memory resident persistent objects. To speed ...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...