Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:runtime_error_detector
gptkb:software |
| 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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
UndefinedBehaviorSanitizer
|