Search Results for "opensource java code"

A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging.

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...

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

Code Bubbles is a front end to Eclipse designed to simplify programming by making it easy for the programmer to define and use working sets. It provides compact function-based views of the code (all backed by the underlying files) that are displayed in bubbles and that are easily moved around and manipulated on the screen. The bubbles are fully editable. A large bubble area lets the programmer set up different working sets simultaneously and easily move between them.

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.

JRemoteRun allow execute snippets of java code in running JVM.

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a pair...

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

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.

This is a student project designed to compete in the 2010 IEEE Computer Society Student Competition: http://www.computer.org/portal/web/competition/2010competition The Code Red architecture is designed for extremely lower power environments, like distributed sensor networks. Included is a design of that architecture, a Java-based simulator, an implementation (without vector instructions) designed as a Logisim circuit (http://ozark.hendrix.edu/~burch/logisim/), and more. The name "Code...

Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked.

JAVA Program to Sequence Diagram Generator. This tool tries to help on analysing and understanding the behavior of the code when developping JAVA applications by generating the respective Sequence Diagram automatically at program execution.

P6Spy is a framework that enables database data to be seamlessly intercepted and manipulated with no code changes to existing application. The P6Spy distribution includes P6Log, an application which logs all JDBC transactions for any Java application us

A complete Parallax Propeller debugger/simulator for development of assembler code, with built-in editor and compiler. In runs under Java v1.5 or better.

LOG4PLSQL is a PLSQL framework for logging in all PLSQL code this project was born from the log4J spirit (and use it). You have the possibility to log apart from transaction and use all LOG4J feature.

The m6800 Simulator is a teaching tool to introduce students to microprocessors. It is based on a cut-down version of the M6800 chip, and a reduced instruction set. The simulator assembles and simulates execution of the users code on a GUI

Glassbox is an automated troubleshooting and monitoring agent for Java apps that diagnoses common problems with one-click. Drop in a .war file from http://www.glassbox.com and find out what's wrong with your existing web apps, without any code chang

When testing using a database with rollback after each test, failing tests are very hard to resolve. Data Storm is a simple DB viewer directly launchable from within your test code to enable you to inspect the current state of the database.

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.

LOLCode IDE plugin for Eclipse. LOLCode is a new humorous language designed to teach those new to programming, and to be enjoyed by the rest of us. This plugin does syntax highlighting, code folding, debugging and content assistance.

Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.

Hansel is an extension to JUnit implementing code coverage tests.

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.

jbytecode is a Java bytecode disassembler/assembler written in Python. Dissasembly code is aligned with Java bytecodes in the class file so modification and re-assembly is always possible, even when class is obfuscated.

JavaCET is an API wrote in Java that allows to analyze Java source code and libraries, and control its execution and its trace in an integrated and comprehensible object-oriented way. It allows backwards execution.