SanitizerCoverage

E292719

SanitizerCoverage is an LLVM feature that instruments code to provide fine-grained coverage and runtime checks useful for fuzzing and bug detection.

All labels observed (2)

How this entity was disambiguated

Statements (46)

Predicate Object
instanceOf LLVM feature
code coverage instrumentation
fuzzing support feature
category program analysis tool
software testing tool
commonlyUsedWith AFL-style fuzzers
AddressSanitizer
ThreadSanitizer
UndefinedBehaviorSanitizer
LLVM
surface form: libFuzzer

sanitizers
configuredBy -fsanitize-coverage compiler flag
Clang -fsanitize-coverage options
designedFor C programs
C++ programs
other LLVM-supported languages
documentation SanitizerCoverage self-linksurface differs
surface form: LLVM SanitizerCoverage documentation
goal help discover logic bugs
help discover security vulnerabilities
improve test coverage
implementedIn LLVM
surface form: LLVM compiler infrastructure
operatesAt compile time
runtime
output coverage data for fuzzers
partOf LLVM
provides callbacks at coverage points
information for corpus minimization
information for crash deduplication
runtime hooks for coverage
relatedTo LLVM sanitizers
coverage-guided fuzzing engines
requires instrumented build of the target program
supports 8-bit counters
PC-table based coverage
basic block coverage
edge coverage
function coverage
inline 8-bit counters
trace-pc-guard style instrumentation
usedFor bug detection
coverage-guided fuzzing
fine-grained code coverage
fuzzing
runtime checks
worksWith Clang
LLVM-based toolchains

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

LLVM hasComponent SanitizerCoverage
compiler-rt supports SanitizerCoverage
SanitizerCoverage documentation SanitizerCoverage self-linksurface differs
this entity surface form: LLVM SanitizerCoverage documentation