lzaoral Goto Github PK

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

csmock

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

cswrap

Generic Compiler Wrapper

cswrap-action

defloc

Finds locations of function definitions in shell scripts.

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

dotfiles

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

javacard-smpc-rsa

javacard-smpc-rsa-proxy-app

jcprofilernext

Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!

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