ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.

Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei

Browse the full ICSE paper archive.