46 search results - page 8 / 10 » Precise Fixpoint-Based Analysis of Programs with Thread-Crea... |
110
Voted
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
120
Voted
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
96
Voted
CC
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
89
Voted
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...