Sparrow
From MaRDI portal
Software:30121
No author found.
Related Items (5)
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase ⋮ Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability ⋮ Finding suitable variability abstractions for lifted analysis ⋮ Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses ⋮ A framework for memory efficient context-sensitive program analysis
This page was built for software: Sparrow
