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.

Its just that I have never done this before.

Can u pls share the script i am working on the same thing

i didn't understand what you need

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.

I have only a script that checks on a few function signatures, but that is not enough. It doesn't really help.

check heimdall-rs

Thanks will do

https://github.com/Jon-Becker/heimdall-rs

Thanks. I am looking at it now.

u haven't tagged me. So sad😅

oh come on😂

@kirill_balakhonov, holla

¡Hola amigo!