Displaying 1 to 3 from 3 results

CrossHair - An analysis tool for Python that blurs the line between testing and type systems.

  •    Python

An analysis tool for Python that blurs the line between testing and type systems. THE LATEST NEWS: Check out the new crosshair cover command which finds inputs to get you code coverage.

symbolic-execution - History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

  •    

There is also temporary timeline of some tools not displayed in the diagrams above. ⚠️ PNG preview could be outdated. See symbolic-execution.svg for the latest version.

qsym - QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

  •    C++

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing






We have large collection of open source products. Follow the tags from Tag Cloud >>


Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.