BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
No abstract available.
DOI 10.1007/978-3-030-39322-9_2
Related papers
- Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations CGO 2024
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- P/Taint: unified points-to and taint analysis OOPSLA 2017
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers OOPSLA 2024
- TAJ: effective taint analysis of web applications PLDI 2009