Computers

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.

Generalized compiler technology for custom parsing, analyzing, transforming, and prettyprinting computer languages, including C, C++, COBOL, Ada, Java, C#, SQL. Tasks range from metrics to migrations. [Commercial]

A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encoding rules.

Reference implementation of the ooc language, a higher-level Java/C#, strictly typed, portable, object-oriented superset of C and generating pure C99 code for speed and size.

Spoon is a Java program processor that fully supports Java 5. It provides a complete and fine-grained Java metamodel where any program element (classes, methods, fields, statements, expressions...) can be accessed both for reading and modification.

A modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. Free software.

A Pattern matching transformation system.

"An ""integrated compilation and performance monitoring infrastructure""

Rule-based structural transformation is utilized as a paradigm for rapid generation of complex programs.