Awesome Reviewers

Technique · Formal

Undefined-behaviour detection

Executes code under an interpreter or instrumentation that detects memory-safety and aliasing violations.

Sub-techniques

  • Interpreter-based checking V1028.001

    Run tests under an interpreter that tracks every pointer (Miri).

  • Sanitizers V1028.002

    Compile with address, thread or undefined-behaviour sanitizers and run the tests.