Tainted Flow Analysis on e-SSA-Form Programs
No abstract available.
DOI 10.1007/978-3-642-19861-8_8
Related papers
- TAJ: effective taint analysis of web applications PLDI 2009
- Fast liveness checking for ssa-form programs CGO 2008
- Array SSA Form and Its Use in Parallelization POPL 1998
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Efficient alias set analysis using SSA form ISMM 2009
- BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results VMCAI 2020
- A New Algorithm for Partial Redundancy Elimination based on SSA Form PLDI 1997
- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA SAS 2008