Skip to content
Snippets Groups Projects
Commit d3f80d88 authored by Bouquillon Fabien's avatar Bouquillon Fabien
Browse files

small change

parent c4c78ec2
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
vulnerability/application
+ 0
− 0
View file @ d3f80d88
No preview for this file type
vulnerability/application.cpp
+ 5
− 69
View file @ d3f80d88
...@@ -197,7 +197,9 @@ int main(int argc, char **argv) { ...@@ -197,7 +197,9 @@ int main(int argc, char **argv) {
long wcet = ipet::WCET(ws) - wcet_trivial; long wcet = ipet::WCET(ws) - wcet_trivial;
unsigned long task_size = PRG_SIZE(ws) * wcet; unsigned long task_size = PRG_SIZE(ws) * wcet;
file << wcet << "," << (double)((double)VUL(ws) / (double)task_size)<< std::endl; file << wcet << ","
<< (double)VUL(ws) << ","
<< (double)((double)VUL(ws) / (double)task_size)<< std::endl;
std::cout << "vulnerability:" << (double)((double)VUL(ws) / (double)task_size) << " WCET:" << wcet << std::endl; std::cout << "vulnerability:" << (double)((double)VUL(ws) / (double)task_size) << " WCET:" << wcet << std::endl;
const CFGCollection *coll = INVOLVED_CFGS(ws); const CFGCollection *coll = INVOLVED_CFGS(ws);
...@@ -207,8 +209,8 @@ int main(int argc, char **argv) { ...@@ -207,8 +209,8 @@ int main(int argc, char **argv) {
struct LBlock_vulnerability *lbv = configuration_vulnerability[i]; struct LBlock_vulnerability *lbv = configuration_vulnerability[i];
file << "(" << lbv->addr.page() << ":" << lbv->addr.offset() << ")" << "," file << "(" << lbv->addr.page() << ":" << lbv->addr.offset() << ")" << ","
<< lbv->reload_cost << "," << lbv->reload_cost << ","
<< (double)((double)(lbv->vulnerability_max) / (double)(task_size)) << "," << (double)((double)(lbv->vulnerability_max) /*/ (double)(task_size)*/) << ","
<< (double)((double)(lbv->vulnerable_data) / (double)(task_size)) << ":"; << (double)((double)(lbv->vulnerable_data)/* / (double)(task_size)*/) << ":";
file << "("; file << "(";
for(int j = 0; j < lbv->list_lv_path.size(); j++) { for(int j = 0; j < lbv->list_lv_path.size(); j++) {
file << "(" << lbv->list_lv_path[j]->addr.page() << ":" << lbv->list_lv_path[j]->addr.offset() << ")" << " "; file << "(" << lbv->list_lv_path[j]->addr.page() << ":" << lbv->list_lv_path[j]->addr.offset() << ")" << " ";
...@@ -217,70 +219,4 @@ int main(int argc, char **argv) { ...@@ -217,70 +219,4 @@ int main(int argc, char **argv) {
file << std::endl; file << std::endl;
} }
// for(CFGCollection::Iter cfg_iter(*coll); cfg_iter(); cfg_iter++) {
// for(CFG::BlockIter block_iter = cfg_iter->blocks(); block_iter(); block_iter++) {
// if(block_iter->isBasic()) {
// BasicBlock *bb = block_iter->toBasic();
// AllocArray<LBlock *> *lblock_array = BB_LBLOCKS(bb);
// for(int i = 0; i < lblock_array->count(); i++) {
// LBlock *lb = (*lblock_array)[i];
// struct LBlock_vulnerability * lb_vul = LB_VUL(lb);
// if(lb_vul->vulnerability_max > 0) {
// struct var_conf configuration_tmp;
// configuration_tmp.adr = lb_vul->addr;
// configuration_tmp.selected = false;
// configuration_vulnerability.push_back(configuration_tmp);
// file << "(" << lb_vul->addr.offset() << "," << lb_vul->addr.page() << "," << lb_vul->vulnerability_max << "," << lb_vul->vulnerable_data << "," << lb_vul->reload_cost;
// for(int j = 0; j < lb_vul->list_bb_path.size(); j++) {
// if(lb_vul->list_bb_path[j]->isBasic()) {
// AllocArray<LBlock *> *lblock_array_tmp = BB_LBLOCKS(lb_vul->list_bb_path[j]->toBasic());
// for(int k = 0; k < lblock_array_tmp->count(); k++) {
// LBlock *lb_tmp = (*lblock_array_tmp)[k];
// struct LBlock_vulnerability * lb_vul_tmp = LB_VUL(lb_tmp);
// if(lb_vul_tmp->vulnerability_max > 0) {
// file << "(" << lb_vul_tmp->addr.offset() << "," << lb_vul_tmp->addr.page() << "," << lb_vul_tmp->reload_cost << ")";
// }
// }
// }
// }
// file << ")" << std::endl;
// }
// }
// }
// }
// }
// for(CFGCollection::Iter cfg_iter(*coll); cfg_iter(); cfg_iter++) {
// for(CFG::BlockIter block_iter = cfg_iter->blocks(); block_iter(); block_iter++) {
// if(block_iter->isBasic()) {
// BasicBlock *bb = block_iter->toBasic();
// AllocArray<LBlock *> *lblock_array = BB_LBLOCKS(bb);
// for(int i = 0; i < lblock_array->count(); i++) {
// LBlock *lb = (*lblock_array)[i];
// struct LBlock_vulnerability * lb_vul = LB_VUL(lb);
// if(lb_vul->vulnerability_max > 0) {
// file << "(" << lb_vul->addr.offset() << "," << lb_vul->addr.page();
// AllocArray<LBlock *> *lblock_array_tmp = BB_LBLOCKS(bb);
// for(int j = 0; j < lblock_array_tmp->count(); j++) {
// LBlock *lb_tmp = (*lblock_array_tmp)[j];
// struct LBlock_vulnerability * lb_vul_tmp = LB_VUL(lb_tmp);
// if(lb_vul_tmp->vulnerability_max > 0) {
// file << "(" << lb_vul_tmp->addr.offset() << "," << lb_vul_tmp->addr.page() << "," << lb_vul_tmp->reload_cost << ")";
// }
// }
// file << ")" << std::endl ;
// }
// }
// }
// }
// }
//long wcet_vul = WCET_VUL(ws);
//std::cout << "WCET_VUL:" << wcet_vul << std::endl;
//build_profile_file(argv[4], ws, configuration_vulnerability, wcet);
//print_vulnerability(configuration_vulnerability);
} }
vulnerability/application.o
+ 0
− 0
View file @ d3f80d88
No preview for this file type
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment