https://github.com/tudo-aqua/gdart-svcomp

https://github.com/tudo-aqua/gdart-svcomp

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tudo-aqua/gdart-svcomp
• Owner: tudo-aqua
• License: other
• Created: 2021-10-07T22:05:51.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-11-14T14:28:00.000Z (about 2 years ago)
• Last Synced: 2023-03-05T23:38:32.437Z (almost 2 years ago)
• Language: Shell
• Size: 22.5 KB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# The GDart tool

GDart is a tool ensemble for the dynamic symbolic execution of modern Java.

GDart consists of three components:

- DSE a generic dynamic symbolic execution (https://github.com/tudo-aqua/dse)

- SPouT: Symbolic Path Recording During Testing (https://github.com/tudo-aqua/spout)

- JConstraints: A meta solving library for SMT problems (https://github.com/tudo-aqua/jconstraints)

To verify a a SV-COMP benchmark example, just call the ./run-gdart.sh script:

`./run-gdart.sh property path_to_java_common path_to_folder_containint_Main_class`

GDart runs on MacOS and Ubuntu 20.04. Windows is currently not supported.