https://github.com/vaeb/uom-63342
https://github.com/vaeb/uom-63342
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/vaeb/uom-63342
- Owner: Vaeb
- Created: 2022-05-10T15:24:57.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2022-05-20T16:46:04.000Z (about 4 years ago)
- Last Synced: 2025-03-03T01:29:57.145Z (over 1 year ago)
- Language: Java
- Size: 102 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# UoM-63342
The program that I have developed for the seminar will generate new Java files to reproduce vulnerabilities discovered by JBMC (Java Bounded Model Checking). Works successfully, although there are limitations to the acceptable nondeterministic data types. Current acceptable nondeterministic data types:
- Ints
- Floats
- Doubles
- Strings
### Examples:
Run against a single Java class file named 'Simple':
```
node src/counterexample.js --unwind 5 --path src/Simple
```
Run against all SV-COMP tests:
```
node src/counterexample.js --unwind 5 --path svc
```