christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

checksum-oostubs: sanity check for injection IP

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1039 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-04-10 16:44:02 +00:00
parent 084716fd05
commit 4a6c8a020a
1 changed files with 16 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
core/experiments/checksum-oostubs/experiment.cc
View File

@ -122,6 +122,7 @@ bool CoolChecksumExperiment::run()
} }
*/ */
param.msg.set_instr_offset(0); param.msg.set_instr_offset(0);
param.msg.set_instr_address(OOSTUBS_FUNC_ENTRY);
param.msg.set_mem_addr(1024*1024*8); param.msg.set_mem_addr(1024*1024*8);
param.msg.set_bit_offset(0); param.msg.set_bit_offset(0);
@ -164,7 +165,21 @@ bool CoolChecksumExperiment::run()
param.msg.set_injection_ip(injection_ip); param.msg.set_injection_ip(injection_ip);
log << "fault injected @ ip " << injection_ip log << "fault injected @ ip " << injection_ip
<< " 0x" << std::hex << ((int)data) << " -> 0x" << ((int)newdata) << endl; << " 0x" << std::hex << ((int)data) << " -> 0x" << ((int)newdata) << endl;
// XXX sanity check // sanity check
if (param.msg.has_instr_address() &&
injection_ip != param.msg.instr_address()) {
std::stringstream ss;
ss << "SANITY CHECK FAILED: " << injection_ip
<< " != " << param.msg.instr_address() << endl;
log << ss.str();
param.msg.set_resulttype(param.msg.UNKNOWN);
param.msg.set_latest_ip(injection_ip);
param.msg.set_details(ss.str());
sal::simulator.clearEvents();
//m_jc.sendResult(param);
//continue;
}
// --- aftermath --- // --- aftermath ---
// four possible outcomes: // four possible outcomes: