Lukáš Zaoral's repositories
JCProfilerNext
Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!
content-resolver-input
Configuration files for Feedback Pipeline
cscppc
A compiler wrapper that runs Cppcheck/Clang in background
csdiff
CLI tools for processing code scan results in plain-text
csmock
A tool for static analysis, dynamic analysis, and formal verification of RPM packages
cswrap
Generic Compiler Wrapper
dg
[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.
differential-shellcheck
🐚 GitHub action for running ShellCheck differentially
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
javacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcards
klee
KLEE Symbolic Virtual Machine
klee.github.io
Website for the KLEE project: https://klee.github.io/
kobo
A pile of python modules used by Red Hat release engineering to build their tools.
modules
Environment Modules: provides dynamic modification of a user's environment
nss-pem
PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module
openscanhub
OpenScanHub is a service for static and dynamic analysis.
predator
A Shape Analyzer Based on Symbolic Memory Graphs
ProStatA
LLVM-based framework "Pro Statické Analyzátory"
rear
Relax-and-Recover - Linux bare metal disaster recovery and system migration solution (cfr. mksysb, ignite)
rear-testing
BeakerLib tests for automated testing of ReaR
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
sysstat
Performance monitoring tools for Linux