Pinned Repositories
cbmc
C Bounded Model Checker
coverity-linux
Coverity-specific files for analyzing the Linux kernel
ipasir
ktf
Kernel Test Framework
linux
Linux kernel source tree
minisat
A minimalistic and high-performance SAT solver
one-line-scan
With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hooks into the compilation process and wraps calls to the compiler with other compilers. Besides the compilation wrappers, one-line-scan ships with basic analysis jobs, that allow to analyze a project right after compilation with the following tools: AFL, cppcheck, CBMC, Fortify.
riss-solver
sequential and parallel SAT solver
rpm
The RPM package manager
xen
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
nmanthey's Repositories
nmanthey/riss-solver
sequential and parallel SAT solver
nmanthey/xen
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
nmanthey/cbmc
C Bounded Model Checker
nmanthey/coverity-linux
Coverity-specific files for analyzing the Linux kernel
nmanthey/ipasir
nmanthey/ktf
Kernel Test Framework
nmanthey/linux
Linux kernel source tree
nmanthey/minisat
A minimalistic and high-performance SAT solver
nmanthey/one-line-scan
With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hooks into the compilation process and wraps calls to the compiler with other compilers. Besides the compilation wrappers, one-line-scan ships with basic analysis jobs, that allow to analyze a project right after compilation with the following tools: AFL, cppcheck, CBMC, Fortify.
nmanthey/rpm
The RPM package manager
nmanthey/satpin
Tool to compute Axiom Pinpointing
nmanthey/smatch
Static Analyser for C
nmanthey/vm-memory
Virtual machine's guest memory crate