smartbugs/osiris

•Updated over 3 years ago

Osiris is an analysis tool to detect integer bugs in Ethereum smart contracts

Image

Security

Languages & frameworks

2.8K

Tags for smartbugs/osiris

Sort by

TAG

d1ecc37

Last pushed over 3 years by gsalzer

docker pull smartbugs/osiris:d1ecc37

Digest	OS/ARCH	Compressed size
17cf6e599681	linux/amd64	537.46 MB

TAG

fa19079

Last pushed over 3 years by gsalzer

docker pull smartbugs/osiris:fa19079

Digest	OS/ARCH	Compressed size
17cf6e599681	linux/amd64	537.46 MB

TAG

latest

Last pushed almost 5 years by tdurieux

docker pull smartbugs/osiris:latest

Digest	OS/ARCH	Compressed size
d80ab2b4ed96	linux/amd64	537.08 MB