Dig
DIG is an invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Ilf | 123 | 9 months ago | 1 | apache-2.0 | Python | |||||
| AI based fuzzer based on imitation learning | ||||||||||
| Dig | 33 | 3 months ago | 5 | mit | Python | |||||
| DIG is an invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations. | ||||||||||
| Ml4sec Papers | 18 | 4 years ago | ||||||||
| Research papers on ML for security | ||||||||||
Alternatives To DigSelect To Compare
Alternative Project Comparisons
Popular Machine Learning Projects
Popular Symbolic Execution Projects
Popular Machine Learning Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Machine Learning
Symbolic Execution
Dynamic Analysis