letonchanh / dig-m3 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dynaroars/dig
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.
License: MIT License