kex icon indicating copy to clipboard operation
kex copied to clipboard

Published 20 hours ago • verified publisher icon vorpal-research

InvokeDynamic handler for both concolic and symbolic modes

Open AbdullinAM opened this issue 2 years ago • 0 comments

Implement an analysis that maps invoke dynamic instructions to understandable code snippets

AbdullinAM avatar Jan 03 '23 12:01 AbdullinAM