silviocesare

silviocesare's Stars

• silviocesare/Clonewise

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

  Language:Scala24403

• silviocesare/Fuzzer

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

  Language:C20407

• silviocesare/Privileged-Programs

  A list of privileged programs from Linux distrbutions.

  Language:Shell9405

• silviocesare/Equivalent-Packages

  A rough list of equivalent packages between Linux distributions

  Language:Shell5203

• silviocesare/Automated-Audits

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

  3302

• silviocesare/Embedded-Code-Copies

  Lists of packages embedding code from other projects.

  3201

• silviocesare/Quines

  Programs that produce as output their own program listing.

  Language:C3200

• silviocesare/Binary-Static-Analysis-Audits

  Automated audits of Linux distributions using binary only static program anlysis

  2201

• silviocesare/Publications

  2301

• silviocesare/stp

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

  Language:C220

• silviocesare/bliss

  Trivial MinGW patch for bliss graph canonization library.

  120

• silviocesare/GBDI-Arboretum

  GBDI Arboretum Metric Access Method Library and Patches

  1202

• silviocesare/libbiclique

  A patched version of an existing maximal biclique enumeration implementation

  Language:C1201

• silviocesare/MemCheck

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

  Language:C1201

• silviocesare/munkres

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

  Language:C++120

• silviocesare/sparse

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

  120