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