Static Analysis / Compiler, help me?

What is this?

A work-in-progress by someone who does not know much but is curious.

Objectives

• Backfill knowledge of computers and programming languages
• ...
• profit

Resources

• [ ] Self-guided course on compilers from Stanford

• [ ] How to Learn Compilers

• [ ] Crafting Interpreters

• [ ] Coursera Software Security

• [ ] Norswap's compiler class

• [ ] Compilers: Principles and Practice (Purdue)

• [ ] Introduction to Compilers (Cornell

• [ ] TBD Random course on youtube

• [ ] Reading list

• [ ] Introductory blog

• [ ] Graduate level course

  Concepts

• Control Flow Graph

• Intermediate Representation

  • Rust's intermediate representation, MIR: https://blog.rust-lang.org/2016/04/19/MIR.html

• Data Dependency

  • Dataflow (Reichenbach)
  • [ ] Lecture
  • [ ] Additional material
  • [ ] Compiler AI youtube
  • [ ] Fernando Pereira's youtube
  • Classifications: https://www.youtube.com/watch?v=S4faoqIff7I

• Single Static Assignment Form

  • SSA Book