david.garden

Recent Resource

Modeling a clock tree in QEMU
Oct 08, 2026
CPU loop
Sep 01, 2026
QEMU IRQ
Aug 31, 2026

See 43 more →

Recent Project

Atomic Commit in SQLite
Oct 16, 2026
Write-Ahead Logging
Oct 16, 2026
QBOX
Jul 15, 2026

See 23 more →

Recent Area

How to track who is sending SIGKILL to a process
Sep 14, 2026
AI Agent 成为抽象层的问题
Sep 03, 2026
Pi vs DeepSeek Harness
Sep 03, 2026
Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026

See 125 more →

❯

❯

AI and Compiler

❯

Static Program Analysis (SPA)

Static Program Analysis (SPA)

May 27, 20261 min read

youtube static program analysis
nju spa 课程记录

Recent Resource

Modeling a clock tree in QEMU
Oct 08, 2026
CPU loop
Sep 01, 2026
QEMU IRQ
Aug 31, 2026

See 43 more →

Recent Project

Atomic Commit in SQLite
Oct 16, 2026
Write-Ahead Logging
Oct 16, 2026
QBOX
Jul 15, 2026

See 23 more →

Recent Area

How to track who is sending SIGKILL to a process
Sep 14, 2026
AI Agent 成为抽象层的问题
Sep 03, 2026
Pi vs DeepSeek Harness
Sep 03, 2026
Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026

See 125 more →

Graph View

Backlinks

AI and Compiler

Created with Quartz v4.5.1 © 2026

GitHub