all InfoSec news
Caracal - Static Analyzer For Starknet Smart Contracts
Oct. 6, 2023, 11:30 a.m. | noreply@blogger.com (Unknown)
KitPloit - PenTest Tools! www.kitploit.com
Caracal is a static analyzer tool over the SIERRA representation for Starknet smart contracts.
Features
- Detectors to detect vulnerable Cairo code
- Printers to report information
- Taint analysis
- Data flow analysis framework
- Easy to run in Scarb projects
Installation
Precompiled binaries
Precompiled binaries are available on our releases page. If you are using Cairo compiler 1.x.x uses the binary v0.1.x otherwise if you are using the Cairo compiler 2.x.x uses v0.2.x.
Building from source
You need the Rust compiler and …
detector directory graph library operations rust static analyzer vulnerable
More from www.kitploit.com / KitPloit - PenTest Tools!
Jobs in InfoSec / Cybersecurity
Information Security Engineers
@ D. E. Shaw Research | New York City
Technology Security Analyst
@ Halton Region | Oakville, Ontario, Canada
Senior Cyber Security Analyst
@ Valley Water | San Jose, CA
Information Security Senior Analyst
@ Media.Monks | Americas: USA + Canada
Senior Program Associate- Cybersecurity Awareness (Remote)
@ Fannie Mae | Washington, DC, United States
Cybersecurity Specialist - Endpoint Security
@ Hexagon US Federal | Huntsville, AL