cairo-vulnerability-scanner

이 스킬은 임의의 CPI와 부적절한 PDA 검증 등 여섯 가지 주요 보안 취약점을 Solana 및 Anchor 프로그램에서 검사합니다. 개발자는 스마트 계약을 감사할 때 이를 사용하여 일반적인 보안 결함을 자동으로 식별할 수 있습니다. 자동화된 보안 분석을 제공하여 더 안전한 Solana 프로그램 구축을 지원합니다.

이 스킬은 FunC로 작성된 TON 스마트 계약에서 세 가지 중요한 보안 취약점을 검사합니다: 정수를 불리언으로 오용하는 경우, 가짜 Jetton 계약, 그리고 보호되지 않은 TON 전달입니다. 스마트 계약 감사 중에 이 스킬을 사용하여 이러한 일반적인 결함을 자동으로 탐지하세요. 이는 The Open Network에서 안전한 계약을 구축하거나 검토하는 개발자를 위해 설계되었습니다.

이 스킬은 임의의 CPI와 부적절한 PDA 검증 같은 여섯 가지 주요 보안 취약점을 솔라나 및 앵커 프로그램에서 검사합니다. 개발자는 스마트 계약을 감사할 때 일반적인 결함을 자동으로 탐지하기 위해 이를 사용해야 합니다. 이는 트레일 오브 비츠가 제공하는 보안 중심 도구로, 안전한 계약을 구축하는 데 도움을 줍니다.

이 스킬은 Trail of Bits의 체크리스트를 자동화하여 개발자가 보안 감사를 위한 스마트 계약을 준비하도록 돕습니다. 정적 분석을 실행하고, 테스트 커버리지를 향상시키며, 데드 코드를 제거하고, 플로우차트와 사용자 스토리 같은 문서를 생성합니다. 공식적인 검토 전에 코드베이스를 체계적으로 강화하는 데 사용하세요.