Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
Abstract elided by the publisher.
Related papers
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding ECOOP 2026
- Scalable taint specification inference with big code PLDI 2019
- TAJ: effective taint analysis of web applications PLDI 2009
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025
- Efficient fine-grained binary instrumentationwith applications to taint-tracking CGO 2008
- Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation PLDI 1995
- Fast interprocedural linear two-variable equalities TOPLAS 2011