LLSC: a parallel symbolic execution compiler for LLVM IROpen Website

Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Published: 01 Jan 2021, Last Modified: 12 May 2023ESEC/SIGSOFT FSE 2021Readers: Everyone
0 Replies