Decompilers
diStorm :: Powerful Disassembler Library For AMD64
If you wish to see a complete code sample of how to decode a whole binary file, take a look at this sample . When you want to display disassembly listing of binary code, you should use the decode API. However, when you want to analyze code and extract more information about the instruction itself and its operands you should use the decompose API.
The commercially available disassembler is IDA Pro . Unfortunately none of the open source tools come even close to its functionality (but the Bastard Disassembly Environemnt project is worth keeping an eye on).
Chapter 3. Analysis
This section will talk about reverse-engineering proprietary file formats.
Reverse Engineering/File Formats
x86 Disassembly/Assemblers and Compilers
[ edit ] Assemblers Assemblers are significantly simpler than compilers, and are often implemented to simply translate the assembly code to binary machine code via one-to-one correspondence. Assemblers rarely optimize beyond choosing the shortest form of an instruction or filling delay slots.
[ This is an updated version of the page formerly at http://reality.sgi.com/boehm/gc.html and before that at ftp://parcftp.xerox.com/pub/gc/gc.html .]
A garbage collector for C and C++
Decompilation is actually is pretty underdeveloped area, but many methods developed for compilation and especially for the optimization of object code are directly applicable to the problem. Students that wish to study this area are strongly advised to learn basic theory of compilation and, especially, classic code optimization methods. Generally one needs to augment pattern-based constructs recovery with control flow and data flow analysis.
Decompilation and Decompilers Page
Formal methods - Formal Methods Wiki
<img alt="Wikipedia-word1 7" src="data:image/gif;base64,R0lGODlhAQABAIABAAAAAP///yH5BAEAAAEALAAAAAABAAEAQAICTAEAOw%3D%3D" width="100" height="29" class="thumbimage lzy lzyPlcHld" data-src="http://images4.wikia.nocookie.net/__cb20090402143553/formalmethods/images/thumb/9/9b/Wikipedia-word1_7.png/100px-Wikipedia-word1_7.png" onload="if(typeof ImgLzy=="object"){ImgLzy.load(this)}" /><noscript><img alt="Wikipedia-word1 7" src="http://images4.wikia.nocookie.net/__cb20090402143553/formalmethods/images/thumb/9/9b/Wikipedia-word1_7.png/100px-Wikipedia-word1_7.png" width="100" height="29" class="thumbimage" /> Formal methods are mathematical techniques for developing computer-based software and hardware systems. Please update this page or add a new page if you know of relevant online information not included here or would like to maintain information on a particular topic.Ever encountered a situation where you needed to view, disassemble or decompile a binary file, such as a data file, an object file, a library archive, a shared library (or DLL in Windows) or an executable image?
Free Disassemblers, Decompilers, Hexadecimal viewers, Hex editors
REC- Reverse Engineering Compiler
Program-Transformation.Org: The Program Transformation Wiki This approach tries to find the reverse mapping of the executable to the source based on analysing the output generated by a specific compiler.
Decompilation Compiler Specific
IDC Interactice Decompiler
FermaT
www.program-transformation.org
Boomerang