1 Repositories
Rust mps Libraries
Incremental Program Analysis Framework
IncA Overview IncA is a program analysis framework. It comes with a DSL for the definition of program analyses and the runtime system evaluates progra
70 Nov 24, 2022