A modest proposal (Absolutely no babies involved) This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters ar…
Lattice theory for abstract interpretation. This one requires a mathematical background; there is no escaping it. Introduction to Lattices and Order is the classic text in this field.
Program analysis itself. Start by reading the BitBlaze publications from the beginning until present, and follow with the BAP publications. You might find this book on decision procedures helpful. BitBlaze and BAP have also released their source code, which is extremely helpful in studying program analysis. The static analysis components are written in OCaml, for which I have released an interpreter that runs inside of IDA. After you’ve done this, dig through the archives of the reverse engineering reddit, looking at the PDFs with formal-sounding titles. Program analysis is huge, and there are a multitude of rabbit holes to venture down; you might end up somewhere completely different from everyone else.
Modern Compiler Implementation in ML
584
A modest proposal (Absolutely no babies involved)
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters ar…
More about the book on Amazon
Most upvoted comment
Most popular programming book on Reddit. rank no. 54
For those wanting to delve into the more formal side of things, I’d say you need:
Permalink
Related Books from Reddit
Additional Information
programming
6
74
$60.52
Paperback
ABIS_BOOK
Andrew W. Appel
Cambridge University Press
Modern Compiler Implementation in ML
A modest proposal (Absolutely no babies involved)
0
/r/ReverseEngineering/comments/hg0fx/a_modest_proposal_absolutely_no_babies_involved/
More about the book on Amazon