Affiliation:
1. University of Waterloo, Waterloo, ON, Canada
Abstract
Traditional compilers ignore processor specifications, thousands of pages of which are available for modern processors. To bridge this gap, em-SPADE analyzes processor specifications and creates processor-specific rules to reduce low-level programming errors. This work shows the potential of automatically analyzing processor- and other hardware specifications to detect low-level programming errors at compile time.
em-SPADE is a compiler extension to automatically detect software bugs in low-level programs. From processor specifications, a preprocessor extracts target-specific rules such as register use and read-only or reserved registers. A special LLVM pass then uses these rules to detect incorrect register assignments. Our experiments with em-SPADE have correctly extracted 652 rules from 15 specifications and consequently found 20 bugs in ten software projects. The work is generalizable to other types of specifications and shows the clear prospects of using hardware specifications to enhance compilers.
Funder
Natural Sciences and Engineering Research Council of Canada
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference36 articles.
1. Arduino. http://www.arduino.cc/. Arduino. http://www.arduino.cc/.
2. Avr-gcc. http://gcc.gnu.org/wiki/avr-gcc. Avr-gcc. http://gcc.gnu.org/wiki/avr-gcc.
3. DSD-Crasher
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DocFlow: Extracting Taint Specifications from Software Documentation;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06