AlphaUncommon
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
- Owner
- staticafi (organization)
- Stars
- Stars: 339
- Forks
- Forks: 58
- Language
- Python
- License
- MIT
- Created
- 2014
- Topics
- verificationverification-toolchainsymbolic-executionprogram-slicingslicingkleellvminstrumentationslicellvm-ir
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- lzh-phd/topic-feasibility-screenerStars: 339PythonAlpha
- crawfordxx/xiaoma-durex-copywriterStars: 339PythonAlpha
- kukemc/bili-cliStars: 339PythonAlpha
- twisted/txmongoStars: 339PythonAlpha
- hmason/gitmarksStars: 339PythonAlpha
- seveas/python-hpiloStars: 339PythonAlpha