miniblog.

← Back to all posts
Jun 10, 2018 at 20:02
Lessons from Building Static Analysis Tools at Google: https://cacm.acm.org/magazines/2018/4/226371-lessons-from-building-static-analysis-tools-at-google/fulltext An excellent 'view from the trenches' of static analysis at Google's scale. Thread.
Attention Required! | Cloudflare

Related Posts

Aug 7, 2026 at 23:11
1
I'm debating whether `from foo import *` is a bad feature for my toy programming language. Forcing `import foo as f` and later `f::bar()` is so much more amenable to local static analysis. You also don't get issues with name clashes. It's certainly convenient though.
Apr 20, 2026 at 20:32
3
LLMs are surprisingly good at reducing crash samples. I've had success with "this project crashes my static analysis tool with the following command, try to shrink the repro whilst preserving the crash. Commit each smaller version to a branch".
Jan 15, 2026 at 00:07
LLMs are great at style transfer, and this works surprisingly well for syntactic transformations too. I rewrote a small website's EJS templates to 1500 LOC of TSX with a oneshot in Claude. It took ~12 minutes, but it just worked. (TSX seems nicer than EJS for static analysis.)