Popular repositories Loading

1. cppcheck cppcheck Public

   Forked from danmar/cppcheck

   static analysis of C/C++ code

   C++

2. phasar phasar Public

   Forked from secure-software-engineering/phasar

   A LLVM-based static analysis framework.

   C++

3. TIP TIP Public

   Forked from cs-au-dk/TIP

   Static program analysis for TIP

   Scala

4. plt plt Public

   Forked from steshaw/plt

   Programming Language Theory λΠ

   CSS

5. clang-misracpp2008 clang-misracpp2008 Public

   Forked from rettichschnidi/clang-misracpp2008

   An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead)

   C++

6. clang-tidy-misra clang-tidy-misra Public

   Forked from rettichschnidi/clang-tidy-misra

   MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy

   C++