Sparrow
From MaRDI portal
Software:30121
swMATH18278MaRDI QIDQ30121FDOQ30121
Author name not available (Why is that?)
Cited In (5)
- A framework for memory efficient context-sensitive program analysis
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
- 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
This page was built for software: Sparrow
