Compositional program analysis

Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Modern static analyzers often need to simultaneously check a few dozen or even hundreds of value-flow properties, causing serious …
PDF Cite Paper Link