Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:runtime_error_detector
|
| gptkbp:detects |
integer overflow
null pointer dereference division by zero float cast overflow invalid shift invalid value for enum misaligned pointer out-of-bounds access |
| gptkbp:developedBy |
gptkb:LLVM_Project
|
| gptkbp:documentation |
https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
|
| gptkbp:firstReleased |
2013
|
| gptkbp:fullName |
Undefined Behavior Sanitizer
|
| gptkbp:integratesWith |
gptkb:GCC
gptkb:Clang |
| gptkbp:license |
gptkb:Apache_License_2.0
|
| gptkbp:openSource |
true
|
| gptkbp:partOf |
gptkb:LLVM_Sanitizers
|
| gptkbp:relatedTo |
ASan
MSan TSan |
| gptkbp:usedFor |
detecting undefined behavior in C/C++ programs
|
| gptkbp:bfsParent |
gptkb:UndefinedBehaviorSanitizer
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
UBSan
|