Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/psycopaths/jdart
A dynamic symbolic analysis tool for Java
https://github.com/psycopaths/jdart
Last synced: 3 months ago
JSON representation
A dynamic symbolic analysis tool for Java
- Host: GitHub
- URL: https://github.com/psycopaths/jdart
- Owner: psycopaths
- License: apache-2.0
- Created: 2015-10-15T19:00:30.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2019-06-02T16:20:51.000Z (over 5 years ago)
- Last Synced: 2024-04-08T07:32:38.616Z (7 months ago)
- Language: Java
- Size: 5.04 MB
- Stars: 105
- Watchers: 16
- Forks: 39
- Open Issues: 18
Awesome Lists containing this project
- awesome-symbolic-execution - JDart - Dynamic symbolic execution tool built on [Java PathFinder](https://github.com/javapathfinder). Supports multiple constraint solvers using [JConstraints](https://github.com/psycopaths/jconstraints). (Tools / Java)