Showing page 1 of 1.
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.2 weekly downloads
An application-level intrusion prevention system. Prevents buffer overflows, integer overflows, format string vulnerabilities, and the like. Designed for 32-bit and 64-bit ELF (Linux and *BSD) executables.0 weekly downloads
unit testing infrastructure (assembly, C, Lua) for saifix kernel project.0 weekly downloads