Definition
LLM-assisted program analysis combines classical analysis tools (static analyzers, fuzzers, symbolic execution) with language models that summarize, hypothesize, and translate between human intent and tool inputs. The interesting wins come from letting each side do what it’s good at.
Episodes covering this
Worth reading next
Papers we haven't done a deep dive on yet, but would recommend on this topic.