RiverConc: An Open-source Concolic Execution Engine for x86 Binaries.

Ciprian Paduraru Bogdan Ghimis Alin Stefanescu

Published in: ICSOFT (2020)

Keyphrases

execution engine
open source
source code
map reduce
open source software
search computing
case study
query processing
query execution
efficient implementation
parallel computation
distributed query processing
website
business processes