Shared-Context Batched Satisfiability

Jiening Siow, Hanrui Zuo, Hanyun Jiang +2

Program analyzers often issue batches of SMT queries that share a large symbolic context and differ only in a small predicate. We formalize this recurring pattern as \emph{Shared-C…