Browsing Mathematics (Faculty of) by Subject "LLVM"
Now showing items 1-1 of 1
-
Specification Based Bug Detection for Embedded Software
(University of Waterloo, 2014-11-05)Traditional compilers do not automatically analyze processor specifications, thousands of pages of which are available for modern processors. The specifications describe constraints and requirements for processors, and ...