clamav/clambc-compiler

Cisco Systems, Inc

The official bytecode compiler docker images for the ClamAV project.

Mythril analyses EVM bytecode using symbolic analysis, taint analysis and control flow checking

Vandal is a static program analysis framework for Ethereum smart contract bytecode