Automatic correction of software bugs and grammar mistakes
Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile
A Tool to Validate Function Calls using Model Checking Techniques
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
KBupdater updates your KBlinuxOS to the latest stable Release and helps to prevent your System of Bugs, Incompactibilities and Errors of Security - Problems...
C / Perl based system and network monitoring system (NMS) providing plugin based polling/checking of services, raw and performance data with notifications. Provides full configurable web interface to configure the monitor
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.
Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
SVNFS is a FUSE filesystem for Linux that presents a read-only version of all revisions in a Subversion repository as a native mountpoint, transparent to all other programs.
Project goal is making the Valgrind tool suite available on 32 and 64 bit Windows. See http://sourceforge.net/p/valgrind4win/wiki/Home/ for further information.
CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)