Showing page 1 of 1.

• 
  ProofOS

  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
• 
  PIMAPS

  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
• 
  sxunit

  unit testing infrastructure (assembly, C, Lua) for saifix kernel project.

  0 weekly downloads