silviocesare Goto Github PK

automated-audits

[Simple] Automated auditing of Linux Distributions for security and other problems

binary-static-analysis-audits

Automated audits of Linux distributions using binary only static program anlysis

bliss

Trivial MinGW patch for bliss graph canonization library.

busside

The BUSSide Badge

clonewise

Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.

embedded-code-copies

Lists of packages embedding code from other projects.

equivalent-packages

A rough list of equivalent packages between Linux distributions

fuzzer

Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.

gbdi-arboretum

GBDI Arboretum Metric Access Method Library and Patches

infosect-hardware-ctf-3

SOHO Router Hacking

libbiclique

A patched version of an existing maximal biclique enumeration implementation

memcheck

Report out of bounds and other heap access errors in the Linux Kernel as they occur in the spirit of Valgrind.

munkres

Munkres/Hungarian algorithm to solve assignment problem, originally by John Weaver

privileged-programs

A list of privileged programs from Linux distrbutions.

publications

quines

Programs that produce as output their own program listing.

sparse

Trivial patch to sparse linux kernel static analysis library to use in C++ projects.

stp

Trivial patch and binaries for STP (SMT solver) on MinGW