Forked from "AURC: Detecting Errors in Program Code and Documentation", adapted for smart contract
This repository is not active