manticore icon indicating copy to clipboard operation
manticore copied to clipboard
verified publisher icon trailofbits

Dev exp unsound

Open feliam opened this issue 5 years ago • 0 comments

Add symbolic friendly implementation of evm.EXP instruction. Experimental: add configurable option to enable unsound symbolication for EXP instruction

feliam avatar Jul 01 '20 14:07 feliam