implement selective symbolic execution #808
Description
see https://www.llvm.org/pubs/2009-06-HotDep-SymbolicExec.pdf ; also described in https://arxiv.org/pdf/1610.00502
{{ message }}
see https://www.llvm.org/pubs/2009-06-HotDep-SymbolicExec.pdf ; also described in https://arxiv.org/pdf/1610.00502