Sign inSign up

smartbugs/securify

By smartbugs

•Updated over 2 years ago

Securify 1.0 uses formal verification and static analysis to analyse Ethereum smart contracts

Image
Security
Languages & frameworks
Integration & delivery
1

1.6K

Tags for smartbugs/securify

Sort by

TAG

usolc

Last pushed over 2 years by gsalzer

docker pull smartbugs/securify:usolc
DigestOS/ARCHCompressed size

d367b17b6f1a

linux/amd64

563.56 MB

TAG

0.4.25

Last pushed almost 5 years by tdurieux

docker pull smartbugs/securify:0.4.25
DigestOS/ARCHCompressed size

16e13ac1bfc7

linux/amd64

313.93 MB