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

• Reddit Reveng
• OpenRCE
• Lambda The Ultimate - Programming languages and compilers weblog.
• Underground White Hat Reverse Engineering Magazine
• Huge forum post of reversing tutorials
• X64 Deep Dive

• 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)
• AT&T vs Intel Syntax for x86

• 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)

• Tutorial on sourceforge

• 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
• Elements of Abstract and Linear Algebra
• Planet Math
• Notes on non-linear optimisation from Reading University
• Big M simplex method explained
• Wiki books on Simplex
• An introduction into convexity
• Good simplex tutorial
• Galios Commection: Between Syntax and Semantics
• Free Graph Paper

• 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)

• Custom ld.so hacking

• Executable and Linkable Format (Official doc)
• Overview of ELF binary structure.
• Startup state of a Linux/i386 ELF binary

• Gapps Closed Source Stuff
• Cyanogen Mod
• Unrevoked Rooter
• Guide on how to root a wildfire
• Wildfire XDA forum - find roms here

• Expense claim form

• Corkami: reverse engineering experiments and documentations
• Project Shellcode
• Crackmes.de

• Genesis Cart Slot Pinout
• Emu-docs Genesis Page
• Another pinout
• Megadrive cart internals and pinouts
• genny4ever (includes alternative VDP docs)
• Undocumented YM2612 features
• TMEE's page
• Translated YM2612 Manual
• Improved YM2612 Docs originally from sega2.doc
• Some info on CS/RD/WR on the YM2612
• Project 2612 (VGM music)
• | VDP stuff on marc's realm

• 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
• 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
• Breen's notes on M4
• Reversing Skype
• C on Arduino from ckuethe@
• Reversing Malware - Step by Step Malware Reversing. One sample from the wild each month.
• SD card specification - Including SPI interfacing.
• Need squared paper?
• renaming authors in git
• Cross compilers on different OS
• crosstoolchain
• Great tutorial on how to write an OS