Skip to content

project

UndefinedBehaviorSanitizer

Compiler instrumentation in GCC and Clang that traps operations the C and C++ standards leave undefined, among them signed overflow and invalid casts.

Known aliases

  • -fsanitize=undefined
  • UBSan

Relationships

No evidence-backed relationships are recorded.

Current clusters

build1 publisher

One modulus check made a full four-slot ring report empty

Full and empty share a residue once the cursors lap, so a four-slot ring reports empty with four live ints in it, and the sanitizers have nothing to say because nothing illegal happened.

Publishers:dev.to

Reality

Evidence74
Adoption
Insufficient
Hype gap+18
Incentives52
Confidence70