miniblog.

← Back to all posts
Jan 19, 2018 at 21:46
What Developers Want and Need from Program Analysis: An Empirical Study https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ase-2016.pdf Static analysis tools should have very few checks enabled by default, and great editor integration!
PhotoPhoto
X / ?

Related Posts

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.)
Jan 1, 2026 at 01:33
22
Is there a good canonical name for autofixes, where a static analysis tool can apply a change to resolve an issue? Clang calls them fix-its, LSP calls them quickfixes.