Inter-procedural data-flow analysis with IFDS/IDE and Soot

@inproceedings{Bodden2012InterproceduralDA,
  title={Inter-procedural data-flow analysis with IFDS/IDE and Soot},
  author={E. Bodden},
  booktitle={SOAP '12},
  year={2012}
}
  • E. Bodden
  • Published in SOAP '12 2012
  • Computer Science
The IFDS and IDE frameworks by Reps, Horwitz and Sagiv are two general frameworks for the inter-procedural analysis of data-flow problems with distributive flow functions over finite domains. Many data-flow problems do have distributive flow functions and are thus expressible as IFDS or IDE problems, reaching from basic analyses like truly-live variables to complex analyses for problems from the current literature such as typestate and secure information-flow. In this work we describe our… Expand
99 Citations
Data Flow Analysis in the Presence of Correlated Calls
Interprocedural data flow analysis in Soot using value contexts
  • 38
  • Highly Influenced
  • PDF
Efficiently updating IDE-based data-flow analyses in response to incremental program changes
  • 1
  • PDF
An extensible framework for variable-precision data-flow analyses in MPS
  • 4
  • PDF
Synchronized pushdown systems for pointer and data-flow analysis
  • 2
  • Highly Influenced
SVF: interprocedural static value-flow analysis in LLVM
  • 125
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Precise interprocedural dataflow analysis via graph reachability
  • 1,043
  • Highly Influential
  • PDF
Position paper: Static flow-sensitive & contextsensitive information-flow analysis for software product lines. Workshop on Programming Languages and Analysis for Security
  • Position paper: Static flow-sensitive & contextsensitive information-flow analysis for software product lines. Workshop on Programming Languages and Analysis for Security
  • 2012
Watson Libraries for Analysis (WALA)
  • Watson Libraries for Analysis (WALA)