Showing page 1 of 1.
banshee-- A toolkit for building constraint-based program analyses6 weekly downloads
Concutest is a collection of tools designed to make the development and testing of concurrent Java programs easier and more reliable. Concutest is available under the BSD License and under active development by the JavaPLT group at Rice University.1 weekly downloads
Simple Portable Memory Management (SPMM) is a small, easy to integrate memory management library for C++. The library emphasizes simplicity of use and implementation while guaranteeing leak free program execution.0 weekly downloads