Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / feliam / klee-taint
KLEE-TAINT - Klee with taint analysis support
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/feliam%2Fklee-taint
Fork of klee/klee
Stars: 67
Forks: 13
Open Issues: 0
License: other
Language: C++
Repo Size: 4.59 MB
Dependencies: pending
Created: almost 9 years ago
Updated: over 2 years ago
Last pushed: over 6 years ago
Last synced: about 1 year ago
Topics: klee, llvm, symbolic-execution, taint-analysis
Files
Loading...
Readme
Loading...