Tools

C/C++

• csa-eh

  csa-eh (opens in a new window)

  A Static Checker for Finding Exception Handling Bugs in C++ Programs

  View repository (opens in a new window)
• panda

  panda (opens in a new window)

  A Parallel Tooling Driver based on Compilation Database

  View repository (opens in a new window)
• PyRefcon

  PyRefcon (opens in a new window)

  A Tool for Python Native Code Reference Counting Bug Detection

  View repository (opens in a new window)
• Scasa

  Scasa (opens in a new window)

  A Static Checker for Detecting Element Accessing Bugs in C++ Sequence Containers

  View repository (opens in a new window)
• Spelton

  Spelton (opens in a new window)

  A Static Checker for Memory-Related Bugs Triggered with C++ Smart Pointers.

  View repository (opens in a new window)
• SPrinter

  SPrinter (opens in a new window)

  A Static Checker for Finding Smart Pointer Errors in C++ Programs

  View repository (opens in a new window)