Project Grant 2223826

This three-year project grant from the National Science Foundation's Computer and Information Science and Engineering program provides $600,000 to develop a generalized framework for responsive static analysis. The awardee, the Regents of the University of California at Riverside, will build on recent work in demanded abstract interpretation to extend the framework's capabilities to handle compositional and refinement-based analysis. These enhancements will facilitate provable guarantees of from-scratch consistency, crucial for responsive analysis. The researchers will implement the generalized framework and apply it to challenging analysis problems to address practical challenges in making the framework usable at an industrial scale. The work directly supports the NSF's mission to advance computing research and education by developing techniques that retain the power of abstract interpretation for verifying software correctness while running significantly faster for common use cases.