creator profile · 64 approved skills · page 4 of 7
trailofbits publishes 64 approved skills on explainx.ai. This page loads 10 skills at a time. Current page is led by yara-rule-authoring.
total skills
64
showing 10 on this page
page installs
0
0 this week
$23
Comprehensive test vectors for validating cryptographic implementations against known attacks and edge cases. \n \n Covers symmetric encryption (AES-GCM, ChaCha20-Poly1305), signa…
Modular Rust fuzzing library for building custom fuzzers with fine-grained control over feedback, mutation, and execution. \n \n Provides drop-in libFuzzer compatibility mode for…
Scans Cosmos SDK blockchains and CosmWasm contracts for 9 consensus-critical vulnerabilities. \n \n Detects non-determinism, incorrect signers, ABCI panics, rounding errors, missi…
Free distributed continuous fuzzing infrastructure for open-source projects with integrated coverage and bug tracking. \n \n Provides CLI helper script for building Docker images,…
Scans TON smart contracts for 3 critical vulnerabilities: integer-as-boolean misuse, fake Jetton contracts, and unsafe gas forwarding. \n \n Detects FunC contracts via file extens…
Port existing Semgrep rules to new target languages with applicability analysis and test-driven validation. \n \n Takes an existing Semgrep rule and target languages as input; pro…
Detects timing side-channel vulnerabilities in cryptographic code across 12 languages. \n \n Analyzes assembly or bytecode to flag variable-time operations (division, secret-depen…
Detect timing side channels in cryptographic implementations to prevent secret extraction attacks. \n \n Covers four tool categories: formal verification (mathematical proofs), sy…
Multi-core fuzzer for C/C++ projects with advanced instrumentation and mutation strategies. \n \n Supports three compilation modes (LTO, LLVM, GCC plugin) with libFuzzer-style har…
