State Merging with Quantifiers in Symbolic Execution

David Trabish, Noam Rinetzky, Sharon Shoham +1

We address the problem of constraint encoding explosion which hinders the applicability of state merging in symbolic execution. Specifically, our goal is to reduce the number of di…