RSS 13 projects tagged "Quality Assurance"

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 110.68
Vit 1.00

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Download No website Updated 21 Jul 2011 jclasslib bytecode viewer

Screenshot
Pop 104.31
Vit 5.32

jclasslib bytecode viewer is a tool that visualizes all aspects of compiled Java class files and the contained bytecode. In addition, it contains a library that enables developers to read, modify, and write Java class files and bytecode.

Download Website Updated 08 Aug 2001 Jlint

Screenshot
Pop 54.48
Vit 2.03

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.

No download Website Updated 29 Sep 2003 sparse

Screenshot
Pop 53.67
Vit 1.75

Sparse is a semantic parser of source files. It's neither a compiler (although it could be used as a front-end for one) nor a preprocessor (although it contains a preprocessing phase). It is meant to be a small, simple, easy to use library. Its function is to create a semantic parse tree for some arbitrary user for further analysis. It's not a tokenizer, nor is it a generic context-free parser. Context (semantics) is what it's all about: figuring out not just what the grouping of tokens are, but what the types are that the grouping implies.

Download Website Updated 05 Nov 2008 ESC/Java2

Screenshot
Pop 49.60
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.

No download Website Updated 03 Mar 2005 cstor

Screenshot
Pop 36.11
Vit 1.00

cstor is a cross-reference compiler and reverse engineering tool. It compiles one text file (database) from multiple source modules (currently reads C, C++, and Perl). The tool combines reverse engineering capabilities, code validation, and an HTML documentation generator. The database can then be reused from own scripts and programs, e.g. to implement cross-compilers, validate coding conventions, build statistics etc. The builtin documentation generators are actually an application of the database.

No download Website Updated 22 Nov 2004 Oink

Screenshot
Pop 34.09
Vit 1.00

Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator.

Download Website Updated 28 Sep 2004 CCIDE

Screenshot
Pop 31.18
Vit 2.01

Ccide reads C, C++, BASIC, or bash source code containing embedded decision tables from stdin, expands the tables, copies the remaining statements, and forms a compilable C or C++ source module, executable bash script, or interpretable BASIC program. Erratic side effects are avoided by evaluating all condition expressions at exactly the same time, and by performing all evaluations and actions in the original sequence.

Download Website Updated 09 Mar 2005 cxxchecker - C++ source-code style checker

Screenshot
Pop 28.37
Vit 1.00

cxxchecker scans C++ source files and checks for commonly accepted coding practices, including variable/class/function naming consistency.

Download Website Updated 26 Aug 2006 JDBCPersistence

Screenshot
Pop 18.22
Vit 1.00

JDBCPersistence is an Object Relational Mapping framework. Designed for use in high volume online banking applications, the package delivers performance matching that exhibited by hand-written JDBC code. It uses a bytecode generation technique to create bytecode for classes that implement logic used for persisting the data. As the framework uses SQL for querying data, the learning curve is reduced. The footprint of the package is under 200KB.

Screenshot

Project Spotlight

hamsterdb Embedded Storage

A fast and portable database engine written in ANSI-C.

Screenshot

Project Spotlight

Polipo

A lightweight caching Web proxy.