Interleaving Static Analysis and LLM Prompting.

Patrick J. Chapman Cindy Rubio-González Aditya V. Thakur

Published in: SOAP@PLDI (2024)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
abstract interpretation
malicious code
java card
regular expressions
test generation
real world
pattern matching
artificial intelligence
high level