CRAX icon indicating copy to clipboard operation
CRAX copied to clipboard

Published 20 hours ago • verified publisher icon SQLab

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

Open kvchung opened this issue 12 years ago • 0 comments

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

kvchung avatar Sep 09 '13 11:09 kvchung