CRAX icon indicating copy to clipboard operation
CRAX copied to clipboard

verified publisher icon SQLab
→

Metadata

CRAX: software CRash analysis for Automatic eXploit generation

Results 7 CRAX issues
Sort by recently updated
recently updated
newest added

when I install crax, should I install s2e first or just installing crax is ok, I don't know the install sequence ?

Wan-YunPeng avatar Wan-YunPeng

option --use-concolic-taint=true:no addConstraint

Trun --use-concolic-taint on to not addConstraint while using single path concolic execution to speed up

kvchung avatar kvchung

Implement algorithm for exploit generation

Implement algorithm for exploit generation.

lancechentw avatar lancechentw

Implement a new exploit plugin

Rewrite the exploit plugin.

lancechentw avatar lancechentw

Detect symbolic EIP

Find a proper place to detect if EIP is symbolic.

lancechentw avatar lancechentw

Test new single path method

Make sure that the new single path method is working. Pay attention to constraint sizes especially.

lancechentw avatar lancechentw

Change EIP to a symbolic source

EIP cannot be made symbolic by default. The first step is to make it able to be made symbolic.

lancechentw avatar lancechentw

← Metadata

46
Stars
12
Forks
Watchers

Owner

verified publisher icon SQLab

Metadata

CRAX: software CRash analysis for Automatic eXploit generation

Back