| algorand-vulnerability-scanner |
ScansScanne Algorandles smart contracts forAlgorand (écrits en TEAL ou PyTeal) pour repérer 11 commontypes vulnerabilitiesde includingfailles rekeyingclassiques attacks,sur uncheckedcette transactionchaîne, fees, mis…dont… |
| audit-prep-assistant |
PreparesT'aide codebasesà forpréparer securityton reviewcodebase usingpour un audit de sécurité externe en suivant la checklist Trail of Bits'Bits checklist.: objectifs clairs,… |
| cairo-vulnerability-scanner |
ScansScanne Cairo/StarkNetles smart contracts forCairo (le langage des dApps StarkNet, le "L2" de validité sur Ethereum) pour repérer 6 criticaltypes vulnerabilities including felt252 arithmetic overflow, L1-L2 messagi…de… |
| code-maturity-assessor |
SystematicÉvalue codele maturity"niveau assessmentde usingmaturité" d'un codebase blockchain selon une grille Trail of Bits'Bits 9-categoryà framework.9 catégories (arithmétique, monitoring,… |
| cosmos-vulnerability-scanner |
ScansScanne les modules d'une blockchain Cosmos SDK blockchains(en forGo) ou les smart contracts CosmWasm (en Rust) pour repérer 9 consensus-criticaltypes vulnerabilitiesde including non-determinism, incorrect signers, ABCI…failles… |
| guidelines-advisor |
SmartConseille contractun developmentprojet advisorde basedsmart oncontracts (surtout Solidity) selon les "Development Guidelines" Trail of Bits'Bits best: practices.génère la doc,… |
| secure-workflow-guide |
GuidesPilote throughton développement de smart contracts via un workflow sécurité Trail of Bits'Bits 5-stepen secure5 developmentétapes workflow.(Slither, features spéciales,… |
| solana-vulnerability-scanner |
ScansScanne automatiquement le code d'un programme Solana programspour forrepérer 6 criticaltypes vulnerabilitiesde includingfailles arbitraryde CPI,sécurité impropercritiques PDApropres validation,à missing signer/ow…cette… |
| substrate-vulnerability-scanner |
ScansScanne Substrate/le code d'une blockchain construite avec Substrate (la techno derrière Polkadot palletset forses "parachains") pour repérer 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weig…types… |
| token-integration-analyzer |
TokenAnalyse integrationsoit andle implementationcontrat analyzer based on Trail of Bits'd'un token integration(ERC20/ERC721) checklist.pour vérifier sa conformité, soit un protocole qui intègre des tokens externes… |
| ton-vulnerability-scanner |
ScansScanne les smart contracts TON (The Open Network)Network, smartla contractsblockchain forde Telegram) écrits en FunC pour repérer 3 criticaltypes vulnerabilitiesde including integer-as-boolean misuse, fake Je…failles… |
