/dig-m3

A tool for generating nonlinear numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.

Primary LanguagePythonMIT LicenseMIT

Stargazers

No one’s star this repository yet.