Hide content and notifications from this user.
Contact Support about this user's behavior.
Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.
A list of privileged programs from Linux distrbutions.
Automated audits of Linux distributions using binary only static program anlysis
A patched version of an existing maximal biclique enumeration implementation
A rough list of equivalent packages between Linux distributions
Munkres/Hungarian algorithm to solve assignment problem, originally by John Weaver
Trivial patch and binaries for STP (SMT solver) on MinGW
Trivial patch to sparse linux kernel static analysis library to use in C++ projects.
Trivial MinGW patch for bliss graph canonization library.
Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.
Programs that produce as output their own program listing.
GBDI Arboretum Metric Access Method Library and Patches
[Simple] Automated auditing of Linux Distributions for security and other problems
Lists of packages embedding code from other projects.
Report out of bounds and other heap access errors in the Linux Kernel as they occur in the spirit of Valgrind.