usyd-blockchain/vandal
Static program analysis framework for Ethereum smart contract bytecode.
PythonBSD-3-Clause
Stargazers
- 0xdomrom
- 23Skidoo@primait
- AthrunArthur
- avahowellPenumbra Labs
- blockchainaire
- chaoliu92
- chromebanana@octoenergy
- computerality
- cwinsloweatonVancouver, BC
- dfxshxr
- dguidoTrail of Bits
- f0rkiAWS
- Fors3cDream
- fredfeng
- gakonst@paradigmxyz
- gingeleski
- hamishiviSeattle
- hongxuchenShenzhen, Guangdong, China
- JoranHonig
- jorpicFormal Methods
- kailucky北京
- loadediceSydney, Australia.
- mattgstevensFreelance software developer
- muellerberndt@ConsenSys
- nevillegrechDedaub Limited
- nsumnerVancouver, Canada
- p0n1
- pynchmeister
- ReeceNee
- semaj
- thomaslMalta+
- toneloc
- tutugordillo
- wh5a
- wpank@AhaniaCapital
- yaoyepeng