Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., Engler, D.: A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. Communications of the ACM 53(2), 66–75 (2010)
2. Kofron, J.: Checking Software Component Behavior Using Behavior Protocols and Spin. In: Proceedings of Applied Computing 2007, Seoul, Korea, pp. 1513–1517 (2007)
3. GCC, the GNU Compiler Collection,
http://gcc.gnu.org/
4. Clang: a C language family frontend for LLVM,
http://clang.llvm.org/
5. Clang Static Analyzer,
http://clang-analyzer.llvm.org/