roundabout sha-5c86612 Public Latest

WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/certora/roundabout:sha-5c86612

Recent tagged image versions

latest sha-5c86612

Published 29 days ago · Digest
sha256:068b8825d60e4bb32983e4f7fa7d176d9dd77791853165b19d25f97bb7d1c70c

5 Version downloads
sha-e561938

Published 29 days ago · Digest
sha256:e5dc68fd6a935dd357639f33d69d1900b32a0b18e1cc1849a5174754d9975926

2 Version downloads
sha-b984042

Published 4 months ago · Digest
sha256:b1bdab91965561373eee2b1ee854110699dcc19aad1e8a47b0ad8d8fba3110b8

29 Version downloads
sha-818d248

Published 4 months ago · Digest
sha256:166d96229072edd397f4bf829f9586edcc6dc8d02c1cd36e481c6b8a430998dc

10 Version downloads
sha-28e44a1

Published 5 months ago · Digest
sha256:533a9b42f296dc0b788de9ba9044d82204332f6ff123c6c5688ff53bd574e6ec

12 Version downloads