Toolverse
All skills
Testing

libfuzzer

by trailofbits

Coverage-guided fuzzer built into LLVM for C/C++ projects. Use for fuzzing C/C++ code that can be compiled with Clang.

Installation

Pick a client and clone the repository into its skills directory.

Installation

Quick info

Author
trailofbits
Category
Testing
Views
3
GitHub repo

About this skill

Coverage-guided fuzzer built into LLVM for C/C++ projects. Use for fuzzing C/C++ code that can be compiled with Clang.

How to use

  1. Zainstaluj LLVM i Clang na swoim systemie (na Ubuntu/Debian: apt install clang llvm). libFuzzer jest wbudowany w LLVM, więc nie musisz instalować go osobno.

  2. Napisz harnes fuzzingu – funkcję LLVMFuzzerTestOneInput, która przyjmuje dane z fuzzera i przekazuje je do testowanej funkcji. Harnes powinien zawierać nagłówki stdint.h i stddef.h, a funkcja musi mieć sygnaturę: extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size).

  3. Skompiluj harnes razem z kodem docelowym, używając flag -fsanitize=fuzzer,address -g -O2. Przykład: clang++ -fsanitize=fuzzer,address -g -O2 harness.cc target.cc -o fuzz. Flagi włączają fuzzer, detektor błędów adresów i informacje debugowania.

  4. Utwórz katalog corpus/ na dane wejściowe fuzzera (może być pusty na początek).

  5. Uruchom fuzzer poleceniem ./fuzz corpus/. libFuzzer będzie generować losowe dane, testować Twój kod i zapisywać interesujące przypadki testowe w katalogu corpus/.

  6. Monitoruj wynik – fuzzer wypisze znalezione błędy, zawieszenia lub naruszenia pamięci. Jeśli potrzebujesz bardziej zaawansowanych funkcji, takich jak fuzzing wielordzeniowy, możesz później przejść na AFL++, ponieważ harnesze są kompatybilne.

Related skills

langgraph-docs

by langchain-ai

Use this skill for requests related to LangGraph in order to fetch relevant documentation to provide accurate, up-to-date guidance.

Testing
23127

ad-creative

by alirezarezvani

When the user needs to generate, iterate, or scale ad creative for paid advertising. Use when they say 'write ad copy,' 'generate headlines,' 'create ad variations,' 'bulk creative,' 'iterate on ads,' 'ad copy validation,' 'RSA headlines,' 'Meta ad copy,' 'LinkedIn ad,' or

Testing
2863

playwright-browser-automation

by lackeyjb

Complete browser automation with Playwright. Auto-detects dev servers, writes clean test scripts to /tmp. Test pages, fill forms, take screenshots, check responsive design, validate UX, test login flows, check links, automate any browser task. Use when user wants to test

Testing
13130

code-review-excellence

by wshobson

Master effective code review practices to provide constructive feedback, catch bugs early, and foster knowledge sharing while maintaining team morale. Use when reviewing pull requests, establishing review standards, or mentoring developers.

Testing
1145

lean4-theorem-proving

by cameronfreer

Use when developing Lean 4 proofs, facing type class synthesis errors, managing sorries/axioms, or searching mathlib - provides build-first workflow, instance management patterns (haveI/letI), and domain-specific tactics

Testing
9108

code-reviewer

by google-gemini

Use this skill to review code. It supports both local changes (staged or working tree) and remote Pull Requests (by ID or URL). It focuses on correctness, maintainability, and adherence to project standards.

Testing
1248