Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
runtime error detector |
gptkbp:abbreviation |
gptkb:UBSan
|
gptkbp:detects |
incorrect use of object lifetime
integer overflow invalid shift operations invalid value loads misaligned pointer use null pointer dereference out-of-bounds array access use of uninitialized values |
gptkbp:developedBy |
gptkb:LLVM_Project
|
gptkbp:firstReleased |
2012
|
https://www.w3.org/2000/01/rdf-schema#label |
UndefinedBehaviorSanitizer
|
gptkbp:license |
gptkb:Apache_License_2.0
|
gptkbp:openSource |
true
|
gptkbp:partOf |
gptkb:LLVM
|
gptkbp:supportedBy |
gptkb:GCC
gptkb:Clang |
gptkbp:usedFor |
detecting undefined behavior in C/C++ programs
|
gptkbp:website |
https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
|
gptkbp:bfsParent |
gptkb:compiler-rt
gptkb:libsanitizer |
gptkbp:bfsLayer |
6
|