static const char *const FILTERED_LIBS[] = {
"libstdc++",
+ "libboost_context",
"libc++",
"libm",
"libgcc_s",
Process* process = this;
process->process_flags = MC_PROCESS_NO_FLAG;
- process->socket = sockfd;
+ process->socket_ = sockfd;
process->pid_ = pid;
if (pid==getpid())
process->process_flags |= MC_PROCESS_SELF_FLAG;
{
Process* process = this;
+ if (this->socket_ >= 0 && close(this->socket_) < 0)
+ xbt_die("Could not close communication socket");
+
process->process_flags = MC_PROCESS_NO_FLAG;
process->pid_ = 0;
mc_object_info_t info =
MC_find_object_info(this->memory_map_, pathname, is_executable);
this->object_infos = (mc_object_info_t*) realloc(this->object_infos,
- (this->object_infos_size+1) * sizeof(mc_object_info_t*));
+ (this->object_infos_size+1) * sizeof(mc_object_info_t));
this->object_infos[this->object_infos_size] = info;
this->object_infos_size++;
if (is_executable)