Randomized Resource-Aware Path-Sensitive Static Analysis
No abstract available.
Related papers
- Probabilistic Resource-Aware Session Types POPL 2023
- A Path Sensitive Type System for Resource Usage Verification of C Like Languages APLAS 2005
- Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers OOPSLA 2024
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- Randomized accuracy-aware program transformations for efficient approximate computations POPL 2012
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025
- Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation PLDI 2000