GitHub - SQLab/CRAX: CRAX: software CRash analysis for Automatic eXploit generation

This branch is 21 commits ahead of, 36 commits behind S2E/s2e-old:master.

Name	Name	Last commit message	Last commit date
Latest commit littleflyer modify README Aug 19, 2015 5791662 · Aug 19, 2015 History 22,940 Commits
docs	docs	links in index.rst are rst and MakeFile changes them in .html in the …	May 2, 2014
guest	guest	Guest: make guest tools more arch independent	Dec 4, 2013
klee	klee	Create new states for exploit generation	Jul 14, 2014
patches	patches	asan: patch to make it work with S2E	Feb 15, 2013
qemu	qemu	Add a timer to profile exploit generating performance	Jul 14, 2014
stp	stp	Makefile: allow specifying custom -march for clang	Feb 3, 2013
tools	tools	MemoryTracer: log klee ObjectState in the execution trace	Feb 6, 2014
.gitignore	.gitignore	gitignore: Prefix entries for non-global patterns with /.	Apr 2, 2013
.travis.yml	.travis.yml	Add travis-ci build configuration	Jul 14, 2014
Makefile	Makefile	Makefile: split qemu arch list into components	Dec 4, 2013
README	README	modify README	Aug 19, 2015
S2E-AUTHORS	S2E-AUTHORS	Add Eurecom contributors to AUTHORS	Dec 5, 2013
config.lua	config.lua	Modify sample config.lua to use ExploitGenerator plugin	Jul 14, 2014
s2e.config	s2e.config	Added qtcreator project files.	Sep 10, 2010
s2e.creator	s2e.creator	Added qtcreator project files.	Sep 10, 2010
s2e.creator.user.example	s2e.creator.user.example	Use Makefile to build S2E in QtCreator.	Oct 29, 2010
s2e.files	s2e.files	Remove all deprecated and broken bits regarding building S2E on Windows.	Jun 19, 2013
s2e.includes	s2e.includes	Added LLVM3.0 include directory in project file (for code completion)	Apr 22, 2012
s2e.refresh_project.py	s2e.refresh_project.py	Fix some trivial typos.	May 9, 2013

Repository files navigation

CRAX: Automatic Exploit Generation on Binary Programs
========================================================


CRAX is an exploit generation tool based on crash inputs
Multiple  platforms
  Windows ,Linux, Web
Multiple input sources
  File, network, argument,…
Multiple vulnerabilities
  Stack overflow,  format string,