Skip to content

SQLab/CRAX

BranchesTags
 
 

About

CRAX: software CRash analysis for Automatic eXploit generation

sqlab.github.io/CRAX/

Topics

exploit symbolic-execution s2e aeg crax
Activity
Custom properties

Stars

50 stars

Watchers

10 watching

Forks

12 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • C 73.7%
  • C++ 20.0%
  • SMT 2.5%
  • Assembly 0.6%
  • Python 0.6%
  • Haxe 0.6%
  • Other 2.0%