Reverse Engineering Links and Notes

This is my note taking space for my PhD work.

• Logic2CNF - MiniSAT on Steroids!
• MuBuild - Multi toolchain compiler and disassembler
• My BibTeX database for reverse engineering

• Intel Architecture Software Developer's Manual
• x86 Code Table Cheat Sheet
• x86 Assembly Language Reference Manual (Sun.com)
• Siyobik x86 Reference
• X86 Opcode List
• Wiki Books x86 Assembler
• x86 Registers
• x86 programming on UNIX (int80h.org)

• MIPS64 Architecture For Programmers - Volume II: The MIPS64 Instruction Set (large PDF)

• Sparc International, Sparcv9 Manual
• SPARC Assembly Language Reference Manual (Sun.com)
• Sparc Instruction Types
• SPARC Assembler Wikibook
• Mark Smotherman's "SPARC Assembly Language"

• The ARM Instruction Set (slides)

• SunStudio Manuals

• Richard Bornat's Compiler Book
• The Dragon Book
• Compiler Design Weblog

• Limboole - A tool that can generate CNF from non-CNF logic expressions.
• Minisat tutorial
• Propositional Logic 101 on Wikipedia
• Java Applet for CNF Conversion - (buggy and can only do small expressions)
• Logic Workbench - (plus awesome looking 80's www site :) )

• AI - A Modeern Approach
  • Which contains a CNF Convertor in Python
• Logic Resolution (Stanford)

• gnuplot
  • gnuplot - not so Frequently Asked Questions

• Practical Common Lisp

• Conficker C P2P Protocol and Implementation
• The Downadup Codex - A comprehensive guide to the threat's mechanics

• Patrick's Abstract Interpretation Page
• Introduction to AI by Cousout (slides)
• Domain Theory - Corrected and expanded version (Samson Abramsky and Achim Jung)

• Overview of ELF binary structure.
• Assembly Langauge @ wikipedia (has some good links).
• Call flow grapher for C sources (good to compare our results to?).
• REC Decompiler) - A reverse compiler.
• Reverse engineering x86 binaries on linux
• LLVM analysis and transformation passes
• Introduction to Reverse Engineering Software
• Using the GNU assembler for Intel processors
• Complexity of switch in GCC
• OpenRCE
• Paul's the OpenBSD developer's Stuff
• SGI Octane user manual
• How to boot netbsd on an SGI octane
• Shade Sparc Tracer
• Bit Twiddling Hacks
• Underground White Hat Reverse Engineering Magazine
• Lambda The Ultimate - Programming languages and compilers weblog.
• Breen's notes on M4
• Reversing Skype