smartbugs/maian

•Updated over 4 years ago

MAIAN analysis tool for automatic detection of buggy Ethereum smart contracts

Image

Security

Machine learning & AI

5.7K

Tags for smartbugs/maian

Sort by

TAG

latest

Last pushed over 4 years by gsalzer

docker pull smartbugs/maian:latest

Digest	OS/ARCH	Compressed size
891e6b269f94	linux/amd64	2.58 GB

TAG

4bab09a

Last pushed over 4 years by gsalzer

docker pull smartbugs/maian:4bab09a

Digest	OS/ARCH	Compressed size
891e6b269f94	linux/amd64	2.58 GB

TAG

solc5.10

Last pushed over 4 years by gsalzer

docker pull smartbugs/maian:solc5.10

Digest	OS/ARCH	Compressed size
f3d97c95df25	linux/amd64	2.35 GB

TAG

solc4.25

Last pushed over 4 years by gsalzer

docker pull smartbugs/maian:solc4.25

Digest	OS/ARCH	Compressed size
6270b5dd52bd	linux/amd64	2.35 GB