agentic-actions-audito…
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI…
Builds and applies fuzzing dictionaries so a fuzzer can produce the keywords, magic bytes, and tokens a target expects. Covers extracting tokens from source, headers, binaries, and specifications, dictionary syntax, and wiring one into libFuzzer or AFL++. Use when fuzzing a
$ npx -y skills add trailofbits/skills --skill fuzzing-dictionary --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
/fuzzing-dictionaryContext preview
The summary Claude sees to decide when to auto-load this skill.
Builds and applies fuzzing dictionaries so a fuzzer can produce the keywords, magic bytes, and tokens a target expects. Covers extracting tokens from source, headers, binaries, and specifications, dictionary syntax, and wiring one into libFuzzer or AFL++. Use when fuzzing a
name: fuzzing-dictionary type: technique description: "Builds and applies fuzzing dictionaries so a fuzzer can produce the keywords, magic bytes, and tokens a target expects. Covers extracting tokens from source, headers, binaries, and specifications, dictionary syntax, and wiring one into libFuzzer or AFL++. Use when fuzzing a parser, protocol, or file format, when coverage stalls at input validation, or when a target compares against fixed strings."
A fuzzing dictionary provides domain-specific tokens to guide the fuzzer toward interesting inputs. Instead of purely random mutations, the fuzzer incorporates known keywords, magic numbers, protocol commands, and format-specific strings that are more likely to reach deeper code paths in parsers, protocol handlers, and file format processors.
Dictionaries are text files containing quoted strings that represent meaningful tokens for your target. They help fuzzers bypass early validation checks and explore code paths that would be difficult to reach through blind mutation alone.
| Concept | Description | |---------|-------------| | **Dictionary Entry** | A quoted string (e.g., `"keyword"`) or key-value pair (e.g., `kw="value"`) | | **Hex Escapes** | Byte sequences like `"\xF7\xF8"` for non-printable characters | | **Token Injection** | Fuzzer inserts dictionary entries into generated inputs | | **Cross-Fuzzer Format** | Dictionary files work with libFuzzer, AFL++, and cargo-fuzz |
**Apply this technique when:**
**Skip this technique when:**
| Task | Command/Pattern | |------|-----------------| | Use with libFuzzer | `./fuzz -dict=./dictionary.dict ...` | | Use with AFL++ | `afl-fuzz -x ./dictionary.dict ...` | | Use with cargo-fuzz | `cargo fuzz run fuzz_target -- -dict=./dictionary.dict` | | Extract from header | `grep -o '".*"' header.h > header.dict` | | Generate from binary | `strings ./binary \| sed 's/^/"&/; s/$/&"/' > strings.dict` |
Create a text file with quoted strings on each line. Use comments (`#`) for documentation.
**Example dictionary format:**
# Lines starting with '#' and empty lines are ignored. # Adds "blah" (w/o quotes) to the dictionary. kw1="blah" # Use \\ for backslash and \" for quotes. kw2="\"ac\\dc\"" # Use \xAB for hex values kw3="\xF7\xF8" # the name of the keyword followed by '=' may be omitted: "foo\x0Abar"
Choose a generation method based on what's available:
**From LLM:** Prompt ChatGPT or Claude with:
A dictionary can be used to guide the fuzzer. Write me a dictionary file for fuzzing a <PNG parser>. Each line should be a quoted string or key-value pair like kw="value". Include magic bytes, chunk types, and common header values. Use hex escapes like "\xF7\xF8" for binary values.
**From header files:**
grep -o '".*"' header.h > header.dict
**From man pages (for CLI tools):**
man curl | grep -oP '^\s*(--|-)\K\S+' | sed 's/[,.]$//' | sed 's/^/"&/; s/$/&"/' | sort -u > man.dict
**From binary strings:**
strings ./binary | sed 's/^/"&/; s/$/&"/' > strings.dict
Use the appropriate flag for your fuzzer (see Quick Reference above).
**Use Case:** Fuzzing HTTP or custom protocol handlers
**Dictionary content:**
# HTTP methods "GET" "POST" "PUT" "DELETE" "HEAD" # Headers "Content-Type" "Authorization" "Host" # Protocol markers "HTTP/1.1" "HTTP/2.0"
**Use Case:** Fuzzing image parsers, media decoders, archive handlers
**Dictionary content:**
# PNG magic bytes and chunks png_magic="\x89PNG\r\n\x1a\n" ihdr="IHDR" plte="PLTE" idat="IDAT" iend="IEND" # JPEG markers jpeg_soi="\xFF\xD8" jpeg_eoi="\xFF\xD9"
**Use Case:** Fuzzing config file parsers (YAML, TOML, INI)
**Dictionary content:**
# Common config keywords "true" "false" "null" "version" "enabled" "disabled" # Section headers "[general]" "[network]" "[security]"
| Tip | Why It Helps | |-----|--------------| | Combine multiple generation methods | LLM-generated keywords + strings from binary covers broad surface | | Include boundary values | `"0"`, `"-1"`, `"2147483647"` trigger edge cases | | Add format delimiters | `:`, `=`, `{`, `}` help fuzzer construct valid structures | | Keep dictionaries focused | 50-200 entries perform better than thousands | | Test dictionary effectiveness | Run with and without dict, compare coverage |
When using `afl-clang-lto` compiler, AFL++ automatically extracts dictionary entries from string comparisons in the binary. This happens at compile time via the AUTODICTIONARY feature.
**Enable auto-dictionary:**
export AFL_LLVM_DICT2FILE=auto.dict afl-clang-lto++ target.cc -o target # Dictionary saved to auto.dict afl-fuzz -x auto.dict -i in -o out -- ./target
Some fuzzers support multiple dictionary files:
# AFL++ with multiple dictionaries afl-fuzz -x keywords.dict -x formats.dict -i in -o out -- ./target
| Anti-Pattern | Problem | Correct Approach | |--------------|---------|------------------| | Including full sentences | Fuzzer needs atomic tokens, not prose | Break into individual key
A Claude Code plugin marketplace from Trail of Bits providing skills to enhance AI-assisted security analysis, testing, and development workflows. Codex can load this marketplace through its Claude marketplace compatibility.
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI…
Understand a codebase before looking for bugs in it - what each function assumes, what it guarantees, and what it depends on elsewhere. Use when starting an…
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access…
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes…
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems,…
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls,…