Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses

Fabian Stemmler, Michael Schwarz, Julian Erhard +2

Static analysis of real-world programs combines flow- and context-sensitive analyses of local program states with computation of flow- and context-insensitive invariants at globals…