de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
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
Taint Analysis
Typestate Analysis
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
Normal Rules
Push Rules
Pop Rules
Call-Pushdown System
Normal Rules
Push Rules
Pop Rules
Synchronizing Call and Field-PDS
Undecidability and Required Approximations
Worst-Case Complexity Analysis
Related Work
Boomerang
Non-Distributivity of Pointer Information
Forward-Directed Points of Aliasing
Field-Store Point of Aliasing
Call-Site Point of Aliasing
Demand-Driven Points-To Analysis
Backward Analysis
Field-Load Point of Aliasing
Return Site Point of Aliasing
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
Whole-Program Pointer Analyses
Demand-Driven Pointer Analyses
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
Data-flow Analysis Frameworks
Solutions to Aliasing
Detection of Cryptographic API Misuses on a Large Scale
The CrySL language
Compiling CrySL to a Static Analysis
Evaluation on Maven Central
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
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.