Does anyone here know how to property check evm runtime

Question

Does anyone here know how to property check evm runtime

bytecode of smartcontracts on custom conditions? I have a script that gets the runtime bytecode of smartcontracts and checks on some function signatures, but I want to go a step further.

#english #programming #solidity

0

31.05.2023

5 ответов

12 просмотров

Viktor

u wanna reverse the bytecode?

0

31.05.2023

Ismail Автор вопроса

Viktor
u wanna reverse the bytecode?

No I want to check on certain conditions. So lets say you have the runtime bytecode of a smartcontract and you want to check if there are is a lack of access control or lack of input validation then the script outputs this address has this or that bug. Its for bug bounty hunting. I want to do as little manual review as possible and the reason for that is because there are so many bug bounty programs, that I just want to dump all the smartcontract addresses in the script and let it do the work.

0

31.05.2023

Freezy

Ismail
No I want to check on certain conditions. So lets ...

check heimdall-rs

0

31.05.2023

Ismail Автор вопроса

Freezy
check heimdall-rs

Thanks will do

0

31.05.2023