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.
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.
unit testing infrastructure (assembly, C, Lua) for saifix kernel project.