blocksecteam / rustle

A static analyzer for NEAR smart contract in Rust

blocksecteam/rustle Issues

Question about detectors/Makefile compilation command and understanding LLVM code in detectors
Closed 5 months ago1
Error in audit.py file
Closed a year ago7
MacOS environment setup and support
Closed 2 years ago1
Add a detector to check whether interfaces of NEP141 token comply near-contract-standards
Closed 2 years ago1
[FEATURE] lack of a check for transfer to unregistered accounts
Closed 2 years ago1
Add a detector to check balance for state expansion
Closed 2 years ago1
[FEATURE] non-withdrawable fees
Updated 2 years ago
Add a detector to make sure gas for callbacks is enough
Updated 2 years ago
Add a detector to make sure there is an unique id for every collection
Closed 2 years ago1
Add a detector to list all public interfaces
Closed 2 years ago1
[BUG] error: Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM15.0.0-rust-1.65.0-stable' Reader: 'LLVM 14.0.6')
Closed 2 years ago3
Add a detector to find all uses of float
Updated 2 years ago
Add a docker image
Updated 2 years ago2
In the result `summary.csv`, add a `severity` column
Closed 2 years ago4
Add `-o` option to specify output folder of auditing results
Closed 2 years ago1
GitHub Actions
Updated 2 years ago1