Open Source ChromeOS Debuggers

ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format

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 binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

Implementation of Aspect Oriented Programming (AOP) for Erlang. The AOP weaver is running against a target set of source files and controlled by aspect definitions. The weaver is implemented as a parse transformation function of Erlang compiler.

A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the development of ConAn and TestCon/Crom, see http://longbrothers.net/brad/papers/thesis.pdf

Cricket Cage automatically creates JUnit TestCases for repeatable bugs and test scenarios. Include Cricket Cage's AspectJ code to install a code generator, then run the program to generate the TestCase. Finally, add the test case to your build.xml.

Easy to use Java utility to collect method level performance data for any Java applications without modifying its code.

Java AS400 RPG source code editor, debugger, IDE.

Java-program to read, modify and execute class-files. a real java VM written in java or a decompiler for class-files is possible (and partially working)

A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.

The Language Processing Agency provides agents and an agent-oriented infrastructure for developing language processors in .NET. Typical language processors are transformation tools, extraction tools, language interpreters, etc.

MODOCC - MOnitoring of Distributed Object Communication for CORBA is a project that allows monitoring of invocations on remote CORBA objects.

Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.

NReflector is an extensible, open class browser and analysis tool for Mono/.NET. It allows users to browse Mono/.NET assemblies, search for methods/types and analyze their usage in an intuitive way.

Quilt is a Java software development tool which measures coverage, the extent to which testing exercises the software under test. It works very well with Ant and JUnit but may also be used in conjunction with other products.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST

Zinc allows PHP developers to better debug and optimise their applications by providing detailed information on the execution path of the code in their scripts.

jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.

A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).