Method retrieve_task

include/parse.h:94–102

use shared_ptr to auto-free task

  // use shared_ptr to auto-free task
  virtual std::shared_ptr<T> retrieve_task(uint64_t id) {
    auto it = tasks_.find(id);
    if (it == tasks_.end()) {
      return nullptr;
    }
    auto tmp = std::move(it->second);
    tasks_.erase(it);
    return tmp;
  }

protected:
  inline dfsan_label_info* get_label_info(dfsan_label label) {