Sign inSign up

smartbugs/ethor

By smartbugs

•Updated almost 3 years ago

eThor is a sound static analyzer for EVM smart contracts based on HoRSt.

Image
Security
Languages & frameworks
Integration & delivery
0

1.6K

Tags for smartbugs/ethor

Sort by

TAG

2023

Last pushed almost 3 years by gsalzer

docker pull smartbugs/ethor:2023
DigestOS/ARCHCompressed size

011ba2f180ba

linux/amd64

315.17 MB

TAG

rmvi20q

Last pushed over 4 years by joaoff

docker pull smartbugs/ethor:rmvi20q
DigestOS/ARCHCompressed size

6405e0edbf70

linux/amd64

265.18 MB

TAG

latest

Last pushed almost 5 years by joaoff

docker pull smartbugs/ethor:latest
DigestOS/ARCHCompressed size

f45a5761d192

linux/amd64

268.88 MB