
Decompilers
Get flash to fully experience Pearltrees
Structure_Layout - distorm - Structure Output Quick Reference - Powerful Disassembler Library For x86/AMD64 - Google Project Hosting
diStorm :: Powerful Disassembler Library For AMD64
However, when you want to analyze code and extract more information about the instruction itself and its operands you should use the decompose API. Since this is the basic API, you only get the address of the instruction, its size in bytes, the textual mnemonic, textual operands and the bytes of the instruction in hex. To see what the binary structure _DInst holds upon return of the call to distorm_decompose, refer to Structure Layout .assembly - Debugging disassembled libraries with gdb - Stack Overflow
Chapter 3. Analysis
This section will talk about reverse-engineering proprietary file formats.
Reverse Engineering/File Formats - Wikibooks, open books for an open world
x86 Disassembly/Assemblers and Compilers - Wikibooks, open books for an open world
[ 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 book is about the disassembly of x86 machine code into human-readable assembly, and the decompilation of x86 assembly code into human-readable C or C++ source code. Some topics covered will be common to all computer architectures, not just x86-compatible machines. What Will This Book Cover?
x86 Disassembly/Print Version - Wikibooks, open books for an open world
[ edit ] What is a Disassembler?
x86 Disassembly/Disassemblers and Decompilers - Wikibooks, open books for an open world
[ 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++
Free IDA Pro Reverse Code Engineering and Binary Auditing Training Material for University Lectures
The Training Package for Binary Auditing was created by me , based on the work of various authors.Compilers Algorithms
static analyzers for detecting program errors cpdas@marlin.jcu.edu.au (1991-11-21) SUMMARY: Static analyzers for detecting programming errors cpdas@groper.jcu.edu.au (1991-12-05)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
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. Use the comp.specification.misc newsgroup, for general formal methods queries.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 (thefreecountry.com)
REC- Reverse Engineering Compiler
IDC Interactice Decompiler
FermaT
www.program-transformation.org
Boomerang

