kudu-dynamics / blaze Goto Github PK
View Code? Open in Web Editor NEWA framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
License: BSD 2-Clause "Simplified" License