🦔 Hepha

Hepha analyzes Solana smart contracts to discover vulnerabilities. Hepha only detects six types of vulnerabilities as belows.

• Reentrancy
• Underflow
• Overflow
• Bad randomness
• Time manipulation
• Numerical precision

Installation instructions

Install dependencies

• Rust using rustup. You can find the installation instructions here.
• Cmake. The installation instructions can be found here.
• Clang. The installation instructions can be followed here.

Install hepha into cargo

cargo install --locked --path ./checker

To evaluate a smart contract, run the command below over its directory

cargo hepha