Sep 4, 2026
Why a code graph can't resolve obj.method(): receiver types
A call graph resolves obj.method() only when something proves what obj is. The five tiers of evidence, and why Java call sites supply it while Rust ones do not.
→
— 2 posts tagged
rust
Aug 20, 2026
Our test-impact benchmark was lying — so we built an oracle that could not
Blastline scored 6/12 on tokio and it looked like a recall crisis. A dependency-filtered oracle showed five of the six "misses" depended on nothing — and chasing the one real miss uncovered a macro-blindness bug in CGraph. Tokio reachability went 0.59 → 0.91.
→