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)
| Label | Occurrences |
|---|---|
| SanitizerCoverage canonical | 2 |
| LLVM SanitizerCoverage documentation | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2716462 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: SanitizerCoverage Context triple: [LLVM, hasComponent, SanitizerCoverage]
-
A.
lcov
lcov is a graphical front-end and extension for the gcov code coverage tool that collects, processes, and visualizes test coverage data for C and C++ programs.
-
B.
gcov
gcov is a test coverage analysis tool used with GCC to measure and report how much of a program’s source code is executed during runtime.
-
C.
Checkmarx
Checkmarx is a cybersecurity company specializing in application security testing solutions that help organizations identify and remediate vulnerabilities in their software code.
-
D.
SCAP
SCAP was the title held by General Douglas MacArthur as the top Allied authority overseeing the occupation and reconstruction of Japan after World War II.
-
E.
Clang-Tidy
Clang-Tidy is a C++ “linter” and static analysis tool that automatically detects and suggests fixes for common programming errors, style issues, and potential bugs in code.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: SanitizerCoverage Target entity description: SanitizerCoverage is an LLVM feature that instruments code to provide fine-grained coverage and runtime checks useful for fuzzing and bug detection.
-
A.
lcov
lcov is a graphical front-end and extension for the gcov code coverage tool that collects, processes, and visualizes test coverage data for C and C++ programs.
-
B.
gcov
gcov is a test coverage analysis tool used with GCC to measure and report how much of a program’s source code is executed during runtime.
-
C.
Checkmarx
Checkmarx is a cybersecurity company specializing in application security testing solutions that help organizations identify and remediate vulnerabilities in their software code.
-
D.
SCAP
SCAP was the title held by General Douglas MacArthur as the top Allied authority overseeing the occupation and reconstruction of Japan after World War II.
-
E.
Clang-Tidy
Clang-Tidy is a C++ “linter” and static analysis tool that automatically detects and suggests fixes for common programming errors, style issues, and potential bugs in code.
- F. None of above. chosen
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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: SanitizerCoverage Description of subject: SanitizerCoverage is an LLVM feature that instruments code to provide fine-grained coverage and runtime checks useful for fuzzing and bug detection.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.