TASE: Reducing latency of symbolic execution with transactional memory

Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter

We present the design and implementation of a tool called TASE that uses transactional memory to reduce the latency of symbolic-execution applications with small amounts of symboli…