static-analysis-and-compilers
static-analysis-and-compilers copied to clipboard
Eclectic notes on static analysis and compilers
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
- Dataflow (Reichenbach)
- Single Static Assignment Form