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

GDart: Dynamic Symbolic Execution for the JVM
https://github.com/tudo-aqua/gdart

Last synced: about 2 months ago
JSON representation

GDart: Dynamic Symbolic Execution for the JVM

• Host: GitHub
• URL: https://github.com/tudo-aqua/gdart
• Owner: tudo-aqua
• License: other
• Created: 2023-03-20T10:03:58.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-03-20T16:03:19.000Z (10 months ago)
• Last Synced: 2024-03-20T17:29:54.898Z (10 months ago)
• Language: Shell
• Size: 12.7 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# GDart: Dynamic Symbolic Execution for the JVM

## Installation

- you need to have maven on your path

- run ```./build.sh```

## Analysis

- run ```./gdart.sh -h``` for help on options

## Examples

- you can find some examples in ```examples```

- DSE 

    ``` 

    ./gdart.sh -d Example1 ../examples/

    ```

- with data-flow taint:

    ``` 

    ./gdart.sh -d -t DATA Example2 ../examples/

    ```

- with information flow: 

    ``` 

    ./gdart.sh -d -t INFORMATION Example3 ../examples/

    ```