RangerNJU/Static-Program-Analysis-Book resource
Getting started with static program analysis. 静态程序分析入门教程。 observed · 2026-08-28
Health v2 · maintenance only
32/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2151
- days_rel: n/a
- days_push: 896
- n_releases_24m: 0
Adoption not part of the score
1767 stars · 177 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
An open-source GitBook tutorial teaching static program analysis, based on lecture notes from Nanjing University's Software Analysis course. It covers data-flow analysis, pointer analysis, taint analysis, IFDS, and Datalog-based analysis to help readers write their first static analyzer.
Use cases
- learn static program analysis from scratch
- understand data flow analysis concepts
- study pointer analysis algorithms
- get started with the Tai-e assignment platform
- find an introductory textbook on program analysis
- prepare for compiler or program analysis courses
When to choose
- you want a free, structured introduction to static analysis theory
- you are following NJU's Software Analysis course videos and need notes
- you want to learn pointer analysis and taint analysis fundamentals
When to avoid
- you need a production static analysis tool rather than learning material
- you want hands-on dynamic analysis or fuzzing content
- you need an English-only resource (translation is partial)
Facets
learning-resource · maturity stable
documentation developer-tools tutorials programming-languages education developer-tools cli static-analysis gitbook course-notes pointer-analysis data-flow-analysis chinese web-server
1 source
- readme: https://github.com/RangerNJU/Static-Program-Analysis-Book · fetched 2026-08-28 · c1980a295c70
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| RangerNJU/Static-Program-Analysis-Book | main | 32 |
For agents
markdown · JSON · MCP: product_card(name="RangerNJU/Static-Program-Analysis-Book")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem