pakala (pypi): An EVM symbolic execution tool and vulnerability scanner
Keywords: ethereum|evm|symbolic|execution|vulnerability|scanner|ethereum-virtual-machine|security|security-scanner|symbolic-execution