Schedule

Materials

Schedule

Zoom Meeting

Origin Slides

Benchmark

Homework

Homework 1: Pass Practice

Homework 2: Type Analysis

Homework 3: Lattice

Homework 4: Monotone DFA Frameworks 1

Homework 5: Monotone DFA Frameworks 2

Homework 6: Path sensitivity

Homework 7. Interprocedural Analysis

Homework 8. Pointer Analysis

Homework 9: Control-flow Analysis

Homework 10: Abstract interpretation

Project: NPD Checker

⏳ Submission

🗃 Reference

Configuration

LLVM System Configuration

Hello_World Pass (Take CLion on Mac as an Example)

Clang Static Analysis Development

Clang AST Quick Tour

Resource

• Books:

  LLVM Cookbook.pdf

  LLVM Essentials.pdf

  Getting Started with LLVM Core Libraries.pdf

• Official Instructions:

  • Modern Intermediate Representations (IR), LLVM Summer School 2017
  • Getting Started with the LLVM System
  • LLVM IR: LLVM Language Reference Manual
  • LLVM Pass: Writing an LLVM Pass
  • Programming: LLVM Programmer’s Manual
  • Introduction to the Clang AST
  • Clang AST Matcher: AST Matcher Reference

• Useful articles:

  • Understanding the Clang AST
  • Clang API Usage (in Chinese): 聊聊PreStmt<CallExpr>,PreCall,PostCall,PostStmt<CallExpr>之间的关系
  • Documentation of Clang

• Tools:

  • AST Online Viewer (Please follow the steps in Clang AST quick tour)

• Helpful Projects:

  • llvm-tutor: a collection of self-contained reference LLVM passes