https://www.aspectbench.org/"/> https://www.aspectbench.org/"/>
@techreport{TRFlowSensitive, Author = {Eric Bodden and Patrick Lam and Laurie Hendren}, Institution = {\url{https://www.aspectbench.org/}}, Month = {07}, Number = {abc-2007-3}, Title = {Flow-sensitive static optimizations for runtime monitoring}, Url = {https://www.bodden.de/pubs/abc-2007-3.pdf}, Year = {2007}, Bdsk-Url-1 = {https://www.bodden.de/pubs/abc-2007-3.pdf}}