Kamil Dudka kdudka

• Red Hat

• Brno, Czech Republic

Pinned Loading

1. Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools

   C++ 24 17

2. A tool for static analysis, dynamic analysis, and formal verification of RPM packages

   Python 26 20

3. Generic Compiler Wrapper

   C 6 2

4. A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background

   C 10 3

5. A Shape Analyzer Based on Symbolic Memory Graphs

   C 78 22

6. OpenScanHub is a service for static and dynamic analysis.

   Python 19 15