RSS 20 projects tagged "Testing"

No download Website Updated 22 Jun 2010 CCured

Screenshot
Pop 52.23
Vit 1.43

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.

Download Website Updated 03 May 2004 Chump

Screenshot
Pop 47.83
Vit 3.46

Chump is a table-driven assembler and dissembler with a very fast new architecture input format. Both the assembler and disassembler are created using a single description. It comes with descriptions for ARM, MIPS, Stump, and 6809. It is intended for use as a library compiled with other programs to allow line assembly and disassembly.

Download Website Updated 24 Dec 2013 Cobra Programming Language

Screenshot
Pop 123.06
Vit 13.68

Cobra is a general purpose programming language with a clean, high-level syntax. It provides language level features for quality, including first class unit tests and Eiffel-style contracts. It supports both static and dynamic binding. Cobra is a compiled language with good run-time performance, but also provides some scripting conveniences such as a pound-bang line (#!) and one step compile-and-run. Cobra runs on Linux, Mac, Windows, and anywhere else that Novell Mono or MS .NET exist, including handhelds.

Download Website Updated 26 Apr 2005 Continuum

Screenshot
Pop 31.37
Vit 1.03

Continuum is a continuous integration server. It makes sure that software always builds and works as expected. Continuous integration allows software projects to find and identify problems as soon as code is in the source control system. It currently supports building Apache Maven v1 and v2 projects.

No download Website Updated 11 Jun 2006 CoverageMeter

Screenshot
Pop 25.04
Vit 53.57

CoverageMeter is a complete code coverage tool chain. It analyzes the performance of a software validation and permits the optimization of the testing process of C/C++ applications. It finds untested code sections, redundant tests, and unused source code. It works by instrumenting the source code at compilation time and by analyzing the execution report that the instrumentation produces.

Download Website Updated 10 Jun 2008 Dehydra GCC Plugin

Screenshot
Pop 12.25
Vit 1.00

Dehydra is a lightweight, scriptable, general purpose static analysis tool capable of application-specific analyses of C++ code. In the simplest sense, it can be thought of as a semantic grep tool. It presents a wealth of semantic information that can be queried with concise JavaScripts. It is also useful to find bugs in source code, as it allows for much more error checking than C++ is capable of by itself. Dehydra is built as a GCC plugin, thus it is easy to use for projects that already support GCC. It is also useful for generating language bindings and is used to bootstrap Treehydra, a heavy-duty static analysis GCC plugin. Dehydra and Treehydra are being developed by Mozilla and are currently actively used.

Download Website Updated 05 Nov 2008 ESC/Java2

Screenshot
Pop 48.48
Vit 3.41

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.

Download Website Updated 10 Jul 2007 EasyEclipse

Screenshot
Pop 121.40
Vit 3.22

EasyEclipse packages together the Eclipse IDE and key open source plug-ins. It is intended to make Eclipse easier to download, install, and use.

Download Website Updated 02 Jul 2005 Groovy

Screenshot
Pop 155.72
Vit 2.08

Groovy is an agile, dynamic language for the JVM which combines many features from languages like Python, Ruby, and Smalltalk and makes them available to Java developers using a Java-like syntax. It is designed to help get things done on the Java platform in a quicker, more concise, and fun way. It can be used as an alternative compiler to javac to generate standard Java bytecode to be used by any Java project or it can be used dynamically as an alternative language, such as for scripting Java objects, templating, or writing unit test cases.

Download Website Updated 05 Nov 2005 JSCPP

Screenshot
Pop 37.52
Vit 1.00

"jscpp" is an ANSI C preprocessor and language parser that can analyze and instrument C code. Currently, its most prominent application is to add tracing to existing C programs simply by recompiling and linking it with the "jscc" compiler frontend. The standard tracing shows when a function is entered or left along with the parameters passed or return values. It is also possible to trace each source line and watch read/write access to simple variables. Tracing is achieved by instrumenting the source code before calling the system compiler. The program is modular and can be easily extended to other kinds of source code modifications.

Screenshot

Project Spotlight

Immutable Collections for Java

Functional language style immutable collections for Java.

Screenshot

Project Spotlight

Lumee

An image viewer designed around browsing folders of images.