Cited in
(7)- A framework for memory efficient context-sensitive program analysis
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
- Soot
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses
- Finding suitable variability abstractions for lifted analysis
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
- Juliet Test Suite
This page was built for software: Sparrow
