{"repo":"Certora/wala-solidity","free":true,"listed":false,"github":"https://github.com/Certora/wala-solidity","clone":"git clone https://github.com/Certora/wala-solidity.git","description":"WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.","language":"Java","stars":20,"topics":["blockchain","certora","ethereum","solidity","static-analysis","rounding"],"license":"EPL-2.0","category":"blockchain-web3","readme_excerpt":"wala-solidity This repo is a WALA-based Solidity analysis framework. Its first analysis, RoundAbout , takes a Certora .conf file and generates a report of the rounding behavior of variables and functions in the referenced Solidity code. NOTE: This project is under early beta testing and is still being actively developed. Contact us (see below) if you have feedback or questions! Dependencies - Java 21 or Docker — you only need one of these. If Java is not found on your PATH, the tool automatically falls back to Docker. - Maven (only if building from source) - Python 3.8+ - certoraRun - A Certora project with a .conf file - Access to Certora tooling for the supported workflow, since certoraRun is used to dump ASTs Installation Option A: Docker (no Java required) If you don't have Java installed, the tool can run via Docker. Just pull the pre-built image: Then install the Python dependencies: roundabout.py will detect that Java is missing and use Docker automatically. Option B: Build from source (requires Java 21 + Maven) 1. Clone this repository, cd into it, and run mvn package . 2. Install Python dependencies: This installs the required Python packages ( json5 , pygments ) declared in pyproject.toml . (Please note that pip install mvn will install something, but it is not Maven) RoundAbout Usage HTML Viewer (recommended) The easiest way to use RoundAbout is through the HTML viewer, which runs the full pipeline and produces a self-contained, interactive HTML report with syntax-","default_branch":null,"files":null,"tree":[],"storefront":"/r/Certora","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Certora/wala-solidity/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}