Finding compiler bugs with random testing

Update Item Information
Publication Type poster
School or College Scientific Computing and Imaging Institute
Department Computing, School of
Creator Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John
Title Finding compiler bugs with random testing
Description 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
Type Text; Image
Publisher University of Utah
Language eng
Bibliographic Citation Yang, X., Chen, Y., Eide, E., & Regehr, J. (2010). Finding compiler bugs with random testing. University of Utah.
Rights Management (c)Xuejun Yang, Yang Chen, Eric Eide, John Regehr
Format Medium application/pdf
Format Extent 665,310 bytes
Identifier ir-main/14958
ARK ark:/87278/s6sn0tnn
Setname ir_uspace
ID 707594
Reference URL https://collections.lib.utah.edu/ark:/87278/s6sn0tnn