caracal

Caracal Caracal은 Starknet 스마트 계약을 위한 SIERRA 표현에 대한 정적 분석 도구입니다. 기능 취약한 Cairo 코드를 감지하는 탐지기 정보를 보고하는 프린터 오염 분석 Taint analysis 데이터 흐름 분석 프레임워크 Scarb 프로젝트에서 쉽게 실행 가능 설치 사전 컴파일된 바이너리 사전 컴파일된 바이너리는 릴리스 페이지에서 확인할 수 있습니다. Cairo 컴파일러 1.x.x를 사용하는 경우 v0.1.x 바이너리를, Cairo 컴파일러 2.x.x를 사용하는 경우 v0.2.x를 사용하십시오...

caracal

Caracal 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...