Auditware / radar

A static analysis tool for anchor rust programs.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

radar

GitHub Actions Workflow Status Issues Templates Radar Jupyter Notebook Rule Running Playground Audit Wizard Discord Wiki

A static analysis tool for anchor rust programs.

radar allows you to write, share, and utilize templates to identify security issues in rust-based smart contracts using a powerful python based rule engine that enables automating detection of vulnerable code patterns through logical expressions.

⚙️ Installation

  1. Install and start docker

  2. Install git

  3. Install radar either from install script or from source

curl -L https://raw.githubusercontent.com/auditware/radar/main/install-radar.sh | bash
radar -p <your-contract-folder>

OR

git clone https://github.com/auditware/radar.git
cd radar
./radar -p <your-contract-folder>

👀 First run

A good contract to first test radar against is the beautiful repo sealevel-attacks

git clone https://github.com/coral-xyz/sealevel-attacks
radar -p sealevel-attacks

🔂 GitHub Action !

In a 10 seconds setup you can integrate radar-action and be alerted with radar's insights continuously through your contract repository.

Radar GitHub Action

Contribution

Either if you have a vulnerability to test in mind, or if you want to improve the quality of an existing one, templates are the best way to contribute to this repo! Open a PR to add your template to the built-ins.

How to write templates

We'd love to assist with writing your first template, and provide guidance.

Check out the Wiki for more details. For support reach out to the Audit Wizard Discord.

About

A static analysis tool for anchor rust programs.

License:GNU General Public License v3.0


Languages

Language:Python 82.1%Language:Shell 8.8%Language:Jupyter Notebook 3.2%Language:Dockerfile 3.0%Language:Rust 1.6%Language:Makefile 1.3%