Linux Plumbers Conf 2013

One Line Summary

Abstract

Static analysis can be used to find semantic errors which otherwise might only show up during run-time. The Clang Static Analyzer was developed as a part of the LLVM project. Not only does the Clang Static Analyzer use the same parser and grammar as the clang compiler, but it uses the resulting Abstract Syntax Tree (AST) to do the analysis. It is also both configurable and extendable; it allows both checkers to be enabled/disabled as well as added. The LLVMLinux project has adapted Kbuild such that it will work with the Linux kernel.

After introducing and demoing the Clang Static Analyzer, this session will look at gathering ideas for custom Linux specific checkers.

Tags

LLVM, Clang, Static Analyzer, Analysis, Checker

Presentation Materials

Speaker

• 

  Eduard Bachmakov

  Linux Foundation (GSoC)
  Biography

  Eduard is a student at Villanova University, majoring in Computer Engineering and Astronomy & Astrophysics.

  Currently he is working on static analysis of the Linux kernel using the Clang Static Analyzer for the Linux Foundation’s LLVMLinux project as part of GSoC 2013.

  Sessions

  • * Linux and the Clang Static Analyzer
    • Title: Linux and the Clang Static Analyzer
    • Microconference: LLVM II
    • Time: 4:00pm
    • One Line Summary:

      The Clang Static Analyzer can be used to look for various specific issues in the Linux kernel. What other checkers can be added specifically for the Linux kernel?

    • slides
    • Speakers: Eduard Bachmakov