Pinned Repositories
cscppc
A compiler wrapper that runs Clang Analyzer, Cppcheck, GCC Analyzer or Smatch in the background
csdiff
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
cswrap
Generic Compiler Wrapper
csbuild-deb
packaging of csbuild for Ubuntu LTS
fss
Fast SAT Solver
nss-pem
PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module
predator
A Shape Analyzer Based on Symbolic Memory Graphs
rrv
Radiosity Renderer and Visualizer
openscanhub
OpenScanHub is a service for static and dynamic analysis.
kdudka's Repositories
kdudka/predator
A Shape Analyzer Based on Symbolic Memory Graphs
kdudka/rrv
Radiosity Renderer and Visualizer
kdudka/nss-pem
PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module
kdudka/aufover-benchmark
Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
kdudka/build-definitions
My own fork for developing SAST scanning automation in Konflux
kdudka/cbmc-utils
Output conversion utilities for CBMC
kdudka/chrony
Mirror of git.tuxfamily.org/gitroot/chrony/chrony.git
kdudka/content-resolver-input
Configuration files for Feedback Pipeline
kdudka/cppcheck
static analysis of C/C++ code
kdudka/cscppc
A compiler wrapper that runs Cppcheck/Clang in background
kdudka/csdiff
CLI tools for processing code scan results in plain-text
kdudka/csmock
A mock wrapper for Static Analysis tools
kdudka/cswrap
Generic Compiler Wrapper
kdudka/curl
experimental csbuild-based continuous integration for curl
kdudka/elinks
Fork of elinks
kdudka/kconfig
KConfig
kdudka/kobo
A pile of python modules used by Red Hat release engineering to build their tools.
kdudka/konflux-test-ec-cli
kdudka/konflux-test-multicluster-global-hub
personal repo for debugging Konflux CI tasks
kdudka/konflux-test-operator-pipelines
personal repo for debugging Konflux CI tasks
kdudka/logging-vector
Experimenting with trying to rebuild ViaQ/vector
kdudka/logrotate
The logrotate utility is designed to simplify the administration of log files on a system which generates a lot of log files.
kdudka/mock
Mock is a tool for a reproducible build of RPM packages.
kdudka/modulemd-tools
A tool to take a yum repo and turn it into a Fedora module stream
kdudka/nghttp2
nghttp2 - HTTP/2 C Library
kdudka/openscanhub
OpenScanHub is a service for static and dynamic analysis.
kdudka/pigz
A parallel implementation of gzip for modern multi-processor, multi-core machines.
kdudka/pycurl
PycURL - Python interface to libcurl
kdudka/rpm-divine
RPM packaging of paradise-fi/divine
kdudka/rpm-symbiotic
RPM packaging of staticafi/symbiotic