silviocesare/MemCheck

Stars
1
Language
C
Created over 13 years ago
Updated over 13 years ago

silviocesare/MemCheck

silviocesare

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Clonewise

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

Fuzzer

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

Privileged-Programs

A list of privileged programs from Linux distrbutions.

Equivalent-Packages

A rough list of equivalent packages between Linux distributions

Quines

Programs that produce as output their own program listing.

Embedded-Code-Copies

Lists of packages embedding code from other projects.

Automated-Audits

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

Publications

Binary-Static-Analysis-Audits

Automated audits of Linux distributions using binary only static program anlysis

stp

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

libbiclique

A patched version of an existing maximal biclique enumeration implementation

munkres

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

bliss

Trivial MinGW patch for bliss graph canonization library.

GBDI-Arboretum

GBDI Arboretum Metric Access Method Library and Patches

sparse

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