Synchronized pushdown systems for pointer and data-flow analysis / Johannes Späth ; Advisors Prof. Dr. Eric Bodden, Prof. Dr. Karim Ali. Paderborn, 2019
Inhalt
- Introduction
- Motivating Examples
- Background
- Program Semantics
- Data-Flow Frameworks
- The IFDS Algorithm
- The IDE Algorithm
- Pushdown Systems
- Weighted Pushdown Systems
- Synchronized Pushdown Systems
- Imprecise and Inefficient Field Abstractions
- Field-Pushdown System
- Call-Pushdown System
- Synchronizing Call and Field-PDS
- Related Work
- Boomerang
- Non-Distributivity of Pointer Information
- Forward-Directed Points of Aliasing
- Demand-Driven Points-To Analysis
- Unbalanced Returns of Allocation Sites
- Evaluation
- Implementation
- Precision and Recall on PointerBench
- Integration with a Taint Analysis for Android
- Data-Race Client on DaCapo
- Related Work
- IDEal - Weighted Pushdown Systems
- Typestate Weight Domain
- Strong Updates and Points of Aliasing
- Weight Domain for API Usage Pattern Mining
- Evaluation
- Heap Model Performance on a Micro-Benchmark
- Typestate Analysis on DaCapo
- The Impact of Aliasing and Strong Updates
- Related Work
- Detection of Cryptographic API Misuses on a Large Scale
- Influencing Factors on Analysis Performance
- Access Paths and Synchronized Pushdown Systems
- Micro-Experiment: Controlled Field Explosion
- Precision and Performance of a Typestate Analysis
- Visited Methods and Nesting Depth
- Factors on Maven Central
- Future Work
- Conclusion
- Publications and Contributions
- Bibliography