-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include <vector>
-#include "src/mc/Frame.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Variable.hpp"
+#include "src/mc/inspect/Frame.hpp"
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Variable.hpp"
namespace simgrid {
namespace mc {
* (there is no offset) i.e.
* \f$\text{virtual address} = \{dwarf address}\f$
*
- * For a shared object, the addreses are offset from the begining
+ * For a shared object, the addresses are offset from the begining
* of the shared object (the base address of the mapped shared
* object must be used as offset
* i.e. \f$\text{virtual address} = \text{shared object base address}
if (this->executable())
return nullptr;
- // For an a shared-object (ET_DYN, including position-independant executables)
+ // For an a shared-object (ET_DYN, including position-independent executables)
// the base address is its lowest address:
void* result = this->start_exec;
if (this->start_rw != nullptr && result > (void*)this->start_rw)