CRAXplusplus icon indicating copy to clipboard operation
CRAXplusplus copied to clipboard

Published 20 hours ago • verified publisher icon SQLab

CRAX: Add support for symbolic pointer and symbolic array index

Open aesophor opened this issue 2 years ago • 0 comments

See master thesis: Exploiting Symbolic Locations for Abnormal Execution Paths

aesophor avatar Jan 04 '22 13:01 aesophor