|
gptkbp:instance_of
|
gptkb:software
|
|
gptkbp:bfsLayer
|
4
|
|
gptkbp:bfsParent
|
gptkb:LLVM/_Clang
|
|
gptkbp:can_be_used_with
|
gptkb:Address_Sanitizer
gptkb:Thread_Sanitizer
gptkb:language
Makefile
|
|
gptkbp:can_create
|
stack traces
source location information
|
|
gptkbp:developed_by
|
gptkb:Job_Search_Engine
|
|
gptkbp:enables
|
-fsanitize=undefined
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Undefined Behavior Sanitizer
|
|
gptkbp:input_output
|
detailed error messages
|
|
gptkbp:introduced
|
gptkb:LLVM_3.4
|
|
gptkbp:is_available_in
|
gptkb:GCC
gptkb:faction
|
|
gptkbp:is_compatible_with
|
A San
O0 optimization level
T San
|
|
gptkbp:is_considered
|
best practice
|
|
gptkbp:is_documented_in
|
LLVM documentation
Clang documentation
|
|
gptkbp:is_integrated_with
|
ID Es
|
|
gptkbp:is_often_used_in
|
gptkb:Research_Institute
production environments
CI/ CD pipelines
|
|
gptkbp:is_open_source
|
gptkb:theorem
|
|
gptkbp:is_part_of
|
quality assurance
software testing
development workflow
sanitizer suite
|
|
gptkbp:is_protected_by
|
security vulnerabilities
|
|
gptkbp:is_related_to
|
dynamic analysis
static analysis
|
|
gptkbp:is_supported_by
|
gptkb:smartphone
gptkb:operating_system
|
|
gptkbp:is_used_by
|
gptkb:software
programmers
security researchers
|
|
gptkbp:is_used_for
|
improve code quality
detecting undefined behavior in C/ C++ programs
|
|
gptkbp:part_of
|
gptkb:DJ
|
|
gptkbp:passes_through
|
debugging tools
|
|
gptkbp:provides
|
runtime error detection
|
|
gptkbp:recognizes
|
data races
null pointer dereferences
use-after-free errors
integer overflows
out-of-bounds accesses
|
|
gptkbp:requires
|
compiler instrumentation
|
|
gptkbp:supports
|
memory safety checks
|