Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.
Alleyoop is a GNOME frontend to the Valgrind memory checker. Its features include a right-click context menu to intelligently suppress errors or launch an editor on the source file, jumping to the exact line of the error condition. A searchbar at the top of the viewer can be used to limit the viewable errors to those that match the regex criteria entered. A fully functional Suppressions editor is also included.
ATF is a collection of libraries and utilities designed to ease unattended application testing in the hands of developers and end users of a specific piece of software. Tests can currently be written in C/C++ or POSIX shell and, contrary to other testing frameworks, ATF tests are installed into the system alongside any other application files. This allows the end user to easily verify that the software behaves correctly on her system. Furthermore, the results of the test suites can be collected into nicely-formatted reports to simplify their visualization and analysis.
BFBTester is good for doing quick, proactive security checks of binary programs. BFBTester will perform checks of single and multiple argument command line overflows and environment variable overflows. It can also watch for tempfile creation activity to alert the user of any programs using unsafe tempfile names.
BuildMonkey is an automated build, integration, and test platform for large-scale software development, particularly for distributed teams. It lets you manage multiple projects at once on different platforms and with different build technologies (Ant, make, gmake, etc.) and monitor SCM repositories to know what changed, when, and by whom. Build results are known immediately through email notification, and complete build logs are available via a central build dashboard. BuildMonkey integrates with the BuildMonkey EVT test suite to know the status of your host and network infrastructure at all times. Successful builds can be tagged in the SCM repository so they can be recreated.
Bunny the Fuzzer is a closed loop, high-performance, general purpose protocol-blind fuzzer for C programs. It uses compiler-level integration to seamlessly inject precise and reliable instrumentation hooks into the traced program. These hooks enable the fuzzer to receive real-time feedback on changes to the function call path, call parameters, and return values in response to variations in input data.
CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch. Many programs can be made memory-safe this way while losing only 10-60% run-time performance. CCured can find more bugs that Purify misses but with much less run-time cost.