Searched: Mike *Van *Emmerik[^A-Za-z]
Results from Gmt web
WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Gmt web. This is a convenient service, so you do not have ...
Statistics for TWiki.Gmt Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 2
Results from Main web
I find myself converting non Wiki web pages to Wiki format, then adding to the result. This tends to end up with pages that are rather long, perhaps a few hundred ...
Name: Mike Van Emmerik Email: emmerik at gmail dot com Homepage URL: http://www.vanemmerikfamily.com/mike (home) Boomerang open source decompiler: http://boomerang ...
List of TWiki users Please take the time and add yourself to the list. To do that fill out the form in TWIKIWEB .TWikiRegistration. This will create an account for ...
TransformGroup Set GROUP Main.EelcoVisser, TomTourwe, MikeVanEmmerik, StephenCheng, JohnGrant, MartinBravenboer, TomMens, HolgerKienle, JoseLuizFiadeiro, PieterVanGorp ...
Statistics for TWiki.Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Jun 2011 5347 ...
OK, I have to ask this now. Should my home page (MikeVanEmmerik) be in web Main or web Transform? Everyone elses seems to have been created in Transform, but when ...

Number of topics: 6
Results from Stratego web
The StrategoLanguage was developed with the support of many StrategoContributors and the following institutes University of Amsterdam Oregon Graduate Institute of ...
Statistics for TWiki.Stratego Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Apr ...

Number of topics: 2
Results from Sts web
WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Sts web. This is a convenient service, so you do not have ...

Number of topics: 1
Results from Transform web
The DeCompilation Wiki pages are a part of the program transformation Wiki. They are based on Cifuentes' decompilation pages (1998 2001), which were based on pages ...
Abstract Syntax Description Language appears to be part of the Zephyr project at the University of Virginia (and other places). From their page: ASDL is designed to ...
Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ...
Web sites (all in Japanese): http://jdi.at.infoseek.co.jp/ "Anatomizer entrance" with legal matter http://jdi.at.infoseek.co.jp/japanese/index.plg Main page http: ...
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 ...
http://shulgaaa.at.tut.by The Andromeda Decompiler is still in development. At present, it will only run on Windows, and only decompile Windows-based programs to C ...
http://www.cs.rhul.ac.uk/research/languages/projects/reverse compilation.shtml The above page describes an Analog Devices ADSP-21xx assembly language to ANSI-C translator ...
Decompilation from assembly language is easier than decompiling native executable (machine code) programs, but harder than decompiling programs compiled to virtual ...
Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...
The idea is to position the basic blocks of a procedure in such a way that most executions of the code will fall through branches (forward branches are typically predicted ...
http://www.ni.bekkoame.ne.jp/bilyzkid/us/ (was http://www.bilyzkid.com) Bilyzkid Co has a disassembler and decompiler for Windows (Intel). It claims to support 8086 ...
Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ...
Links to pages containing mainly links to pages related to BinaryTranslation. http://www.codeonthefly.com/products.html Run time code generation: http://members.fortunecity ...
Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ...
Commercial products related to Translation Dynamite from Transitive Technologies is a binary translation product with various front ends, back ends, and a "Dynamite ...
While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...
The Workshop on Binary Translation (WBT) is usually held in conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT ...
This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...
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 ...
http://www.caesum.com/download.php Borg is a freeware disassembler for Windows 32-bit binaries (PE executables and DLLs), written to overcome some of the limitations ...
"Bytecodes" is a name given to the instructions of a VirtualMachine, so called because the opcodes are 8 bits (one byte) in length, and instructions vary from one ...
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 ...
The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...
The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...
http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ...
Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...
The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...
Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople
This page represents examples 69, 70, and 71 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...
This page represents examples 72, 73, and 74 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...
http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ...
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 ...
Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...
Visual Basic Discompiler (Decompiler) Defeater This page only exists in archive.org for December 1996, which may be the boundary of the archive. In case it disappears ...
This information is pieced together from a few sources. I hope it is still accurate. In about 1985, Jim Reuter wrote decomp, a decompiler for the Vax BSD 4.2 (a.out ...
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 ...
Anakrino .NET to C# Decompiler Tests Anakrino is a .NET to C# decompiler, released under a BSD-like license. These tests refer to "Interim #9" (Anakrino9.zip). Anakrino ...
The colloquial use of "reverse engineering" and the formal one are somewhat different. Crackers speak of "reversing" a program, when they are talking about a quick ...
This page has been removed. You can access the pages it used to point to from the main DeCompilation page now. Main.MikeVanEmmerik 04 Dec 2004
The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...
ClassCracker 3 Java Decompiler Simple Tests I performed some simple tests on ClassCracker 3 (version 3.01), purely as a decompiler. TOC Fibo For source code, see ...
Compiler-Specific or Pattern Matching Decompilers This approach tries to find the reverse mapping of the executable to the source based on analysing the output generated ...
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 ...
Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ...
Question 38.4 of the C++ FAQ LITE demonstrates a typical negative reaction to the basic question "how can I decompile a C++ executable file?". I don't mean any offense ...
If you have a specific decompilation problem for which you need help, you can describe it here. Someone knowing the solution might visit the page and help you. (See ...
Jad Java Decompiler Simple Tests TOC This page performs some tests on JAD version 1.5.8e. Output has been trimmed slightly for ease of comparison to the original ...
jAscii Java Decompiler Simple Tests NOTE: Jascii seems to have gone out of business at the end of 2003. I tested jAscii 1.0.20 from http://www.jascii.com. TOC Fibo ...
JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ...
JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...
NMI Java Code Viewer This is a commercial bytecode to Java decompiler and disassembler. It runs under Windows only, even though it claims to have been written in ...
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 ...
Reflector .NET to C# Decompiler Tests Reflector is a .NET browser with an integrated C# decompiler. It will also display the code "translated" into Visual Basic or ...
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 ...
Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ...
Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...
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 ...
Are you wanting to set up a decompilation related company? He is a partial list of the URLs. RED Warning: URLs in italics could lock up your browser for at least 2 ...
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 program is adapted from the book Decompiling Java, chapter 1. using System; public class Casting { public static void Main(String args){ for(char c (char)0; c ...
This program is from the book Decompiling Java, chapter 1. public class Casting { public static void main(String args ){ for(char c 0; c The only real trick here is ...
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 ...
This is a simple program, compiled with the Mono C# compiler, no optimisation. Here is the original C# source code: using System; class Fibo { private static int fib ...
This is a simple program, compiled with Sun's javac, no optimisation. Here is the original Java source code: import java.lang. ; class Fibo { private static int fib ...
I found this sample program in a page called Sample gtk# applications. The program is already compiled (possibly with a now-obsolete version of the Microsoft C# compiler ...
This class is also from the book Decompiling Java, this time chapter 3: using System; public class Usa { public String name "Detroit"; public class England { public ...
This class is also from the book Decompiling Java, this time chapter 3: public class Usa { public String name "Detroit"; public class England { public String name ...
In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...
This is the Jasmin (essentially Java "assembly language" source code for the optimised bytecode decompiler tests. It was created with soot s O Main where soot is a ...
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 ...
http://www.decompiler.org (Decompiler Technologies) Until May 2005, Decompiler Technologies offered mainly a Visual Basic 6 native-code decompilation (source code ...
Delphi I'm not all that familiar with Delphi. Additional pointers welcome. Decompiling Delphi Decompiling Delphi at http://delphi.about.com mentions a number of Delphi ...
http://www.2good.com/software/desquirr Desquirr is a decompiler plugin for IDA Pro. It is written by Eriksson as part of a Master Thesis in Software Engineering. It ...
Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...
http://www.debugmode.com/dcompile/disc.htm The disC page describes a crude decompiler for DOS Turbo C 2.0 and 2.01 programs. The source is free to download. The author ...
http://www.winsite.com/bin/Info?500000009137 disasm32 is a visual symbolic disassembler for Windows95 and WindowsNT 32 bit Portables Executables (PE). It runs under ...
Disinformation is a decompiler for Z-machine data files (Infocom or Inform), to decompile Infocom games to add rooms and objects to the game. It works best on Inform ...
Hans-Peter Diettrich, better known as DoDi, is author of a well-known set of Visual Basic decompilers (VBDis 3/4/5), and has worked on decompilers for executables ...
Domain Engineering involves creating a set of reusable assets for building systems in a particular problem domain. These reusable assets are then assembled to customer ...
A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ...
I have collected tests from various places, and tested .NET to C# decompilers that I could get access to for free. Salamander tests Anakrino tests Reflector tests ...
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...
The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...
http://www.geocities.com/phoenixdis/ From the web page: DSM Studio is a application to aid disassembly and inspection of Windows based executables built for the Intel ...
A translator which performs its transformations as the program is running . Because the user is waiting for the program to actually run while the translation is happening ...
ftp://ftp.microsoft.com/Softlib/MSLFILES/EXEFMT.EXE Self-extracting zipped file which contains a description of the New Executable (NE) 16-bit Windows format. Retrieved ...
http://sourceforge.net/projects/exetoc This is a decompiler for Win32 executable files, hosted on Windows. For a first release, it's quite good. It seems to have reasonable ...
A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ...
Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ...
The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...
Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...
FermaT is developed by Software Migrations Ltd, based on the work of Martin Ward (Martin.Ward@durham.ac.uk). FermaT is an industrial strength program transformation ...
FoxBase/FoxPro/Clipper I don't know much about Foxbase. Pointers welcome. ReFox http://www.hieroglyphix.co.uk/refox.php from http://www.xitech-europe.co.uk (ReFox ...
This is my idea of how I would write a general decompiler: 1.Lets assume, we start with the assembler output of the disassemblers, which already contain the proper ...
Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper.
GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version.
Welcome to the Generative Programming Wiki! The purpose of this wiki is to provide a forum to the GenerativeProgramming community. Browsing and Editing Wiki Pages ...
You can use this page to give your opinions on this Wiki: tell us what you think! The ReengineeringWiki is rather incomplete and biased towards the current users. ...
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 ...
http://www.hex-rays.com BR http://hexblog.com/2007/04/decompilation gets real.html BR http://www.hexblog.com/hexrays/manual Hex-Rays is a decompiler plug-in for the ...
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 ...
The International Conference on Software Maintenance Deadline: March Conference: September Chicago Illinois, USA (2004) Homepage: http://conferences.computer.org ...
IDA Pro is a commercial program for disassembling a wide array of different file types for different processors, written by Ilfak Guilfanov. It can disassemble virtually ...
The Institue of Electrical and Electronic Engineers, an organisation representing engineering and computer professionsals. http://ieee.org http://computer.org/ (Computer ...
International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ...
There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...
The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...
JReversePro is an open source Java Decompiler / Disassembler written entirely in Java. From the home page: "The utlimate objective of this project is to provide a ...
I have collected 9 tests from various places, and tested 9 bytecode to Java decompilers that I could get access to for free. The best one (JODE) only passes 6 of the ...
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 ...
Sun's HotSpot. See also their white paper and technical report "Mixed-mode Bytecode Execution". Overview of the IBM Java Just-in-Time Compiler. IBM's Jikes RVM (the ...
It seems that most Java native compilers (which allow you to compile your Java source code to native machine instructions) actually read .class files, rather than ...
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 ...
http://juggersoft.com Also: http://www.sstglobal.com Originally: http://www.sourcecovery.com Note: No "re" and no hyphen; www.source-recovery.com is a different company ...
Just In Time dynamic compilers, also called JITs, are programs that postpone compilation (translation from some input language such as Java ByteCodes) until the code ...
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 ...
Lecture Notes in Computer Science (LNCS) is a series of conferenc proceedings published by SpringerVerlag. See http://www.springer.de/comp/lncs/index.html for details ...
Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...
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 ...
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 ...
Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...
MicroAPL Ltd. http://www.microapl.co.uk MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is claimed to be an advanced software conversion ...
INCLUDE{Main.MikeVanEmmerik}
New-style EXE Format An executable (.EXE) file for the Windows operating system contains a combination of code and data or a combination of code, data, and resources ...
Tom Moran wrote: A working decompiler for NELIAC, an Algol 58 derivative language not too unlike C, is described (including source listing) in Appendix D in "Machine ...
http://www.eecs.harvard.edu/~nr/toolkit/ The New Jersey Machine-Code (NJMC) Toolkit helps programmers write applications that process machine code assemblers, disassemblers ...
ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ...
7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ...
Commercial tool. From the web page: PE Explorer is a tool for inspecting and editing the inner workings of Windows 32-bit executable files: EXE, DLL, OCX, and several ...
Homepages: 2004: http://profs.sci.univr.it/~pepm04/ 2003: http://www.ecs.soton.ac.uk/~mal/PEPM03/ 2002: http://www.informatik.uni-freiburg.de/~thiemann/pepm02/ 2000 ...
Homepage: http://www.acm.org/sigs/sigplan/pldi.htm 2005 : http://www.research.ibm.com/pldi2005/ Programming Language Design and Implementation Deadline: November ...
PC Executable Format Format of EXEC parameter block for AL 00h,01h,04h: Offset Size Description (Table 0877) 00h WORD segment of environment to copy for child process ...
Can be downloaded from a link near the top of An In-Depth Look into the Win32 Portable Executable File Format, Part 2. Self-extracting zipped file which contains a ...
The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...
http://www.microapl.co.uk/Porting/PortAsm.html PortAsm is a tool which translates assembly language source written for one processor into assembler source for another ...
Practical Software Maintenance: Best Practices for Managing your Software Investment by Tom Pigoski, John Wiley, 1997. Text book on SoftwareMaintenance, with strong ...
http://pvdasm.reverse-engineering.net/ ProView is a Pentium disassembler, PE (Windows Binary) editor, hex rditor, process manager, and it has a Plugin SDK. The whole ...
The idea is to find what procedures (functions, methods) call each other the most, and keep those near each other (in terms of virtual address). This maximizes the ...
With this technique, procedures are split into two parts, the main part (predicted to be executed frequently), and the "fluff" (code such as error recovery that is ...
Program migration is a ProgramTransformation aimed at adapting a program to a new (or old) version of the language. See also SoftwareMaintenance Where does this definition ...
Obfuscation is a ProgramTransformation that makes a program harder to understand by renaming variables, inserting dead code, etc. Obfuscation is done to hide the business ...
ProgramSpecialization is used where a variable is known to often hold one particular value. In this case, it is possible to generate code taking advantage of this ...
(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...
http://www.glossa.co.uk/reap.html GRAY The REAP tools by InterGlossa Ltd support reverse engineering services, especially for microcontrollers such as the Zilog Z80 ...
http://www.comlab.ox.ac.uk:80/archive/redo/ From the site: "This archive contains information relevant to the ESPRIT II REDO project (no. 2487, 1989-1992) concerned ...
Welcome to the Reverse and Reengineering Roadmap! The purpose of this roadmap is to provide a forum where all sorts of topics related to ReverseEngineering and ReEngineering ...
TOC Introduction Below the main pages of the ReengineeringWiki are listed. It provides an overview of the topics currently discussed. The map below is partly generated ...
The main DeCompilation page was for a time served from this address: http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/DeCompilation However, the exact server ...
https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ...
http://www.microapl.co.uk/asm2c Relogix is an advanced new software conversion tool which can take assembly-language source files and automatically re-code them in ...
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 ...
IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...
ACM Special Interest Group on Programming Languages http://www.acm.org/sigplan/ CategoryConference
http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...
Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...
Definitions Software maintenance is defined by the ANSI/IEEE Std. 729-1983 and IEEE Std. 1219-1998 as: modification of a software product after delivery to correct ...
Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...
Software Migrations Ltd Software Migrations Ltd (SML) use formal transformations to convert one form of code to another; they can work on anything from assembly language ...
From W. Humphrey, Managing the Software Process , Addison-Wesley, 1989: The software process is the set of tools, methods, and practices used to produce a software ...
Software product line Group of products, sharing a common, managed set of features to satisfy the needs of a selected market. J. Withey, Investment Analysis of Software ...
SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...
http://www.source-recovery.com Note the hyphen: www.sourcerecovery.com is a different company (see JuggerSoft). From the Source Recovery Company's web page: We use ...
http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ...
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 ...
IEEE Technical Council on Software Engineering. See http://www.tcse.org/
A function call as the last action of function body can be optimized by overwriting the stack frame of the caller. The callee returns directly to the caller of its ...
With the advent of set top boxes, mobile software, and other factors, software authors are wanting to create applications that are resistant to reverse engineering ...
http://www.tcse.org/revengr/ derived/home.htm cmp indust110 bnr.gif The IEEE TCSE Committee on ReverseEngineering and ReEngineering This committee, chaired by CristinaCifuentes ...
Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...
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 ...
250 Machine-Independent Computer Programming TABLE XIII MACHINE LANGUAGE INSTRUCTION REPERTOIRE OF THE UNIVAC M-46O COUNTESS COMPUTER FF Function FF Function 00 Illegal ...
http://www.decompiler-vb.net http://www.decompiler-vb.net/vbreformer.aspx (professional version) Begun in 1999, VBReFormer is a Visual Basic (V5/6) decompiler. There ...
http://sourceforge.net/projects/nktspeview VX Portable Executable Viewer is an open source project hosted on Sourceforge. From the web page: Browse the structure of ...
As the name implies, a Virtual Machine is not a real machine, such as a Pentium, but rather a machine, specified almost as precisely as a real machine, that is realized ...
For Visual Basic programs compiled to .NET (e.g. with Visual Studio .NET 2003 or later), see DotNetDecompilers. JosephCo wrote a decompiler called Exdec. VBDis 3/4 ...
Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ...
Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ...
WCRE Call for Workshop Proposals NOTE: This page is obviously obsolete, as it refers to the 2002 conference. However, it can be reworked for future conferences. WCRE ...
Submission of Papers Step 1: Authors are requested to notify the program committee of intent to submit a paper by May 1, 2002. This is optional but allows the committee ...
INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...
See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...
WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Transform web. This is a convenient service, so you do not ...
Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...
Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ...
Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ...
Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...
http://msdn.microsoft.com/msdnmag/issues/02/02/PE/default.aspx (part 1) http://msdn.microsoft.com/msdnmag/issues/02/03/pe2/default.aspx (part 2) "An In-Depth Look ...
http://www.geocities.com/SiliconValley/Foothills/4078/ Win32 Program Disassembler is a straight line disassembler of Windows 32-bit executables (i.e. PE) by Sang Cho ...
http://www.actworld.com/tools/index.shtml XACT by Applied Conversion Technologies, Inc. is a tool for transforming assembly language to C, which is part of X4MR-Based ...

Number of topics: 203
Results from WebDSL web
Statistics for TWiki.WebDSL Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 1