Definition
Static analysis examines code without running it, using abstract semantics to find bugs, prove properties, or extract structure. It scales to whole codebases and catches what testing misses, at the cost of false positives and the constant pressure to tune for what users will tolerate in their IDE.
Episodes covering this
Worth reading next
Papers we haven't done a deep dive on yet, but would recommend on this topic.