PDF-Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr University of Utah School of Computing jxyang chenyang eeide regehr cs
SO
yoshiko-marsland
Published 2014-12-12 | 6914 Views
utahedu Abstract Compilers should be correct To improve the quality of C compilers we created Csmith a randomized testcase generation tool and spent three years
Download Presentation
Download Presentation The PPT/PDF document "Finding and Understanding Bugs in C Comp..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.