solana-vulnerability-scanner

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

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

이 스킬은 개발자에게 Trail of Bits의 5단계 스마트 계약 보안 워크플로우를 안내합니다. Slither 분석을 자동화하고, 업그레이드 가능성과 같은 특정 기능을 확인하며, 보안 다이어그램을 생성합니다. 이를 사용하여 Solidity 프로젝트의 보안 속성을 체계적으로 문서화하고 중요한 영역을 검토할 수 있습니다.

이 스킬은 Trail of Bits의 9가지 범주 보안 프레임워크를 사용하여 스마트 계약 코드 성숙도를 체계적으로 평가합니다. 산술 연산 안전성, 접근 제어, MEV 위험 등 핵심 영역을 분석하여 증거 기반 점수표를 생성합니다. 실행 가능한 보안 권장사항과 코드베이스에 대한 전문적인 성숙도 평가를 받으려면 이 스킬을 활용하세요.