Finding compiler bugs with random testing

Undefined behavior (such as divide by 0) or unspecified behavior (such as order of evaluation) gives compilers freedom to diverge, causing failure to our voting mechanism Control Flow Analysis • a control flow analyzer that can handle abnormal edges created by jump statements (goto / break / continue) • Preemptively analyze possible effects a new jump statement would cause, and reject it if undefined behavior is introduced • Backward jumps are treated as loop creator. Possible undefined behaviors are identified after a fixed point analysis