Sparrow

swMATH18278MaRDI QIDQ30121FDOQ30121

Author name not available (Why is that?)

Official website: http://ropas.snu.ac.kr/sparrow/

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
• Juliet Test Suite
• Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

This page was built for software: Sparrow