Search Results for "sourceforge software tag"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

Open On-Chip Debug Solution for Embedded Target Systems based primarily on ARM cores. This project has moved to sourceforge: https://sourceforge.net/projects/openocd/

DUMA (Detect Unintended Memory Access) is a multi-platform memory debugging library. It can detect memory leaks and buffer overruns (or underruns) in a malloc() / new memory buffer. DUMA is a fork of Bruce Perens' Electric Fence library. sourceforge isn't maintained for many years! suggest you want to look at https://github.com/johnsonjh/duma

The JSwat project has moved to Google Code: http://code.google.com/p/jswat/ -- the contents of the SourceForge project are no longer being updated. Please visit the new site. Thank you.