Commit 63d5e2b1 authored by Maeva Ramarjiaona's avatar Maeva Ramarjiaona

Trying to discover wher the empty addresses come from

parent d718f718
......@@ -95,8 +95,8 @@ p::declare ExistHitPrevAnalysis::reg = p::init("lrusecurity::ExistHitPrevAnalysi
p::feature EXIST_HIT_PREV_ANALYSIS_FEATURE("lrusecurity::EXIST_HIT_PREV_ANALYSIS_FEATURE", p::make<ExistHitPrevAnalysis>());
p::id<icat3::Container<ACSSecurity> > EXIST_HIT_PREV_IN("lrusecurity::EXIST_HIT_PREV_IN");
p::id<icat3::Container<ACSSecurity> > EXIST_HIT_PREV_IN("lrusecurity::PREV_IN");
p::id<icat3::Container<ACSSecurity> > EXIST_HIT_PREV_INIT("lrusecurity::EXIST_HIT_PREV_INIT");
p::id<icat3::Container<ACSSecurity> > EXIST_HIT_PREV_INIT("lrusecurity::PREV_INIT");
}; // namespace lrusecurity
......@@ -5,7 +5,7 @@
#include <otawa/proc/BBProcessor.h>
#include <otawa/prog/Process.h>
#include <lrumc/features.h>
using namespace otawa;
namespace lrusecurity
......@@ -103,6 +103,10 @@ protected:
case otawa::icache::PREFETCH: _out << "PREFETCH\t"; break;
}
_out << "UNSAFE ";
if (lrumc::REFINEMENT_CATEGORY(*access) == lrumc::RefinementCategory::CLASSIFIED)
_out << "classified";
else
_out << "unclassified";
int set = otawa::icat3::LBLOCK(access)->set();
if (bb->hasProp(EXIST_HIT_PREV_IN)) {
ACSSecurity prev = (*EXIST_HIT_PREV_IN(bb))[set];
......@@ -115,7 +119,8 @@ protected:
_out << "\t\t";
_out << "BB " << bb->index() << "\t\t";
printLine(ws, bb->address(), bb->topAddress().offset());
_out << io::endl;}
_out << io::endl;
}
}
void printLine(WorkSpace* ws, Address begin, Address::offset_t offset)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment