Skip to content
View kdudka's full-sized avatar
  • Red Hat
  • Brno, Czech Republic

Organizations

@logrotate @csutils

Block or report kdudka

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. csutils/csdiff csutils/csdiff Public

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

    C++ 18 16

  2. csutils/csmock csutils/csmock Public

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

    Python 23 20

  3. csutils/cswrap csutils/cswrap Public

    Generic Compiler Wrapper

    C 6 2

  4. csutils/cscppc csutils/cscppc Public

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

    C 8 3

  5. predator predator Public

    A Shape Analyzer Based on Symbolic Memory Graphs

    C 72 21

  6. openscanhub/openscanhub openscanhub/openscanhub Public

    OpenScanHub is a service for static and dynamic analysis.

    Python 16 11