The Distributed Release Audit Tool (DRAT) for code analysis and verification.
Home Page:http://chrismattmann.github.io/drat/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool