ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ...

TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ...

This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ...

CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference

IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...

History of PC based C-compilers Originally, there were Lattice C (the big gun), Wizard, Datalight, Ecosoft, DeSmet, Mix, Whitesmiths, BDS C, Manx Aztec C, and another ...

About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ...

This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!

Fact extractors for C++: AcaCia ColumbusCAN cppx TkSeeSN vacppparse http://www.gccxml.org XML output extension to the C++ front-end to GCC. It produces an XML representation ...

dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ...

TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ...

RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...

This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...

The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...

McGill's "Dava" Java Decompiler TOC Dava tests The Sable group at McGill University, under the leadership of Professor Laurie Hendren, are working on a framework ...

Is Decompilation Possible? Almost every week requests for decompilation programs are made in newsgroups (like comp.lang.c), and these are usually replied with: It ...

The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ...

This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...

SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ...

The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code as adapted to C# is: using System; class Foo ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code is: public int foo(int i, int j) { while ...

These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ...

Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ...

This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ...

Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...

PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has ...

Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection

A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ...

Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ...

Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering

Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...

History of Decompilation (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...

History of Decompilation (1980-1999) See also On the Inverse of Compiling, April 1980. #TopicZebra Zebra, 1981 The Zebra prototype was developed at the Naval Underwater ...

History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...

ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ...

International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html

Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...

Program transformation systems for Java programs (that is, Java is the object language) usually operate on an abstract syntax representation of the Java source code ...

JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/

For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ...

TOC Java Bytecode Decompilers Decompilers that read Java bytecode programs usually decompile to Java, since that is the language that the majority of such programs ...

JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...

contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ...

Homepage: http://www.cs.purdue.edu/jtb/ JTB is a syntax tree builder to be used with the Java Compiler Compiler (JavaCC) parser generator. JensPalsberg

Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople

Journal of Systems and Software http://www.elsevier.nl/locate/jss On line at: http://www.sciencedirect.com/science? ob JournalURL cdi 5651 auth y acct C000040419 version ...

Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ...

LEX is a lexical syntax definition formalism based on regular expressions. It was designed to be used in combination with the context-free syntax definition formalism ...

If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ...

Lua the Programming Language Lua is a powerful light-weight programming language designed for extending applications. Lua is also frequently used as a general-purpose ...

I have gathered a few tests for machine code decompilers. It's nowhere near as comprehensive as the JavaDecompilerTests. dcc tests REC tests Exe-2-c tests Boomerang ...

Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...

Meta-AspectJ (MAJ) allows the generation of AspectJ code in concrete syntax of AspectJ. Since AspectJ is a superset of Java, it can also be used for Java code generation ...

MixedCC (Mixed Compiler Compiler) is a generic parsing engine and parser generator. It is LL(1) capable of parsing and handling of inner layer stacks in multi-layer ...

The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...

Homepage: http://www.cs.wvu.edu/~callahan/software.html a parser generator system built upon Sun Microsystems JavaCC tool and the PurdueUniversity Java Tree Builder ...

Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases ...

This is a collection of links to programming environments, either specific to a language or platform, or generic; either integrated or composed of command-line tools ...

Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...

SpencerRugaber and LindaWills. Creating a research infrastructure for reengineering. In 3d Working Conference on Reverse Engineering, WCRE, 1996. http://www.cc.gatech ...

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...

https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ...

A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ...

In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...

The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ...

http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ...

Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ...

The original specification was posted in the Rigi mailing list (now defunct): http://www.rigi.csc.uvic.ca/list-archives/rigi-developer-archive/2000-02-10-15.26.16 ...

Maintainer MerijnDeJonge Description During a project in cooporation with Lucent Technologies, we used XT to re-engineer an SDL grammar from an operational YACC grammar ...

SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ...

Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ...

Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople

A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...

A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...

A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...

http://www.autistici.org/uncc/ Was at http://www.uncc.info (now for sale) uncc is a tiny decompiler for X86 binary files. It uses objdump as a disassembler, and uses ...

YAXX an extension to YACC grammar parser Bison, capable of output syntax tree into an XML document and its corresponding DTD rules. http://sourceforge.net/projects ...

YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules.

A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ...