https://github.com/psycopaths/jdart

A dynamic symbolic analysis tool for Java
https://github.com/psycopaths/jdart

Last synced: 5 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 (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-06-02T16:20:51.000Z (almost 6 years ago)
• Last Synced: 2024-08-04T00:03:48.261Z (9 months ago)
• Language: Java
• Size: 5.04 MB
• Stars: 108
• 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)