The following pages link to Sparrow (Q30121):
Displaying 5 items.
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses (Q1791273) (← links)
- A framework for memory efficient context-sensitive program analysis (Q2082559) (← links)
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (Q2145335) (← links)
- Finding suitable variability abstractions for lifted analysis (Q2414252) (← links)
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase (Q3179275) (← links)
