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