moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Exception raised when attempting to get next trace from trace pool in dispatch #154

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

See DispatchFSM::dispatch. Likelihood: uncommon.

When attempting to send the next trace(s) to svm-node, we get the exception:

Dynamic exception type: boost::exception_detail::clone_impl<boost::exception_detail::error_info_injector<std::out_of_range> >
std::exception::what: Unable to find key in unordered_map.

I believe this is caused by a supergraph being found. According to the current workflow, when a supergraph is detected, the trace that is superseded is removed via callback. The problem is that there are several references that need to be removed, and I believe this is incorrectly done. That's why the look up fails for the unordered_map for that trace.