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