Symexbib
A bibliography of papers related to symbolic execution
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Manticore | 3,535 |  | 1 | 1 | 8 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Crosshair | 924 |  | 1 | 3 months ago | 45 | November 10, 2023 | 50 | other | Python | |
| An analysis tool for Python that blurs the line between testing and type systems. | ||||||||||
| Deepstate | 782 | 8 months ago | 90 | apache-2.0 | Python | |||||
| A unit test-like interface for fuzzing and symbolic execution | ||||||||||
| Symexbib | 239 | 8 years ago | 1 | |||||||
| A bibliography of papers related to symbolic execution | ||||||||||
| Ilf | 123 | 9 months ago | 1 | apache-2.0 | Python | |||||
| AI based fuzzer based on imitation learning | ||||||||||
| Smoosh | 98 | a year ago | 22 | mit | OCaml | |||||
| The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard. | ||||||||||
| Fuzzing | 77 | 2 years ago | mit | C++ | ||||||
| Fuzzing tutorial with easy to learn labs 🚀 | ||||||||||
| Symbolic Execution Tutorial | 73 | 3 years ago | Python | |||||||
| Tutorial on Symbolic Execution. Hands-on session is based on the angr framework. | ||||||||||
| Symbolica | 50 |  | 3 | 2 years ago | 513 | May 12, 2022 | 3 | mit | C# | |
| Symbolica's open-source symbolic execution engine. | ||||||||||
| P4pktgen | 41 | 3 years ago | 28 | other | Python | |||||
| Automatic test case generator for P4 programs | ||||||||||
Alternatives To SymexbibSelect To Compare
Alternative Project Comparisons
Popular Testing Projects
Popular Symbolic Execution Projects
Popular Software Quality Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Symbolic Execution