silviocesare/Clonewise
Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.
Developer Profile
silviocesare
Discovered public repositories for silviocesare in the GitHub catalog.
silviocesare/Publications
Public repository.
silviocesare/Binary-Static-Analysis-Audits
Automated audits of Linux distributions using binary only static program anlysis
silviocesare/stp
Trivial patch and binaries for STP (SMT solver) on MinGW
silviocesare/sparse
Trivial patch to sparse linux kernel static analysis library to use in C++ projects.
silviocesare/bliss
Trivial MinGW patch for bliss graph canonization library.
silviocesare/munkres
Munkres/Hungarian algorithm to solve assignment problem, originally by John Weaver
silviocesare/libbiclique
A patched version of an existing maximal biclique enumeration implementation
silviocesare/Quines
Programs that produce as output their own program listing.
silviocesare/Fuzzer
Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.
silviocesare/GBDI-Arboretum
GBDI Arboretum Metric Access Method Library and Patches
silviocesare/MemCheck
Report out of bounds and other heap access errors in the Linux Kernel as they occur in the spirit of Valgrind.
silviocesare/Automated-Audits
[Simple] Automated auditing of Linux Distributions for security and other problems
silviocesare/Privileged-Programs
A list of privileged programs from Linux distrbutions.
silviocesare/Equivalent-Packages
A rough list of equivalent packages between Linux distributions
silviocesare/Embedded-Code-Copies
Lists of packages embedding code from other projects.