Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.

Dxo Mate Soos Zoe Paraskevopoulou Martin Lundfall Mikael Brockman

Published in: CAV (1) (2024)

Keyphrases

symbolic execution
general purpose
database
relational databases
evolutionary algorithm
source code
genetic programming