Blaze is an open-source program analysis framework with an original emphasis on interprocedural analysis and per-path abstract interpretation. Since its initial creation, Blaze has been extended to support a variety of program analysis tasks. It provides an intermediate language and type system that can be used to represent both source and binary (compiled) programs, recover data types through type inference, and perform type checking to ensure consistent use of values. Blaze serves as a foundation for novel research at Montana State University and is actively developed and used by research scientists and hackers from both industry and academia.

We welcome you to explore the repository here: Blaze GitHub