letonchanh/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.
PythonMIT
Stargazers
No one’s star this repository yet.