Skip to content
View kdudka's full-sized avatar
73 followers · 1 following
  • Red Hat
  • Brno, Czech Republic

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@logrotate @csutils
Block or Report

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

  1. csutils/csdiff csutils/csdiff Public

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

    C++ 15 16

  2. csutils/csmock csutils/csmock Public

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

    Python 22 19

  3. csutils/cswrap csutils/cswrap Public

    Generic Compiler Wrapper

    C 5 2

  4. csutils/cscppc csutils/cscppc Public

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

    C 6 3

  5. predator predator Public

    A Shape Analyzer Based on Symbolic Memory Graphs

    C 71 21

  6. openscanhub/openscanhub openscanhub/openscanhub Public

    OpenScanHub is a service for static and dynamic analysis.

    Python 13 11