SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remember branches from app to os

Browse Source
This commit is contained in:
Alwin Berger 2022-04-08 00:53:05 +02:00
parent 47a4bc19d4
commit fc4b72274e
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
fuzzers/wcet_qemu_sys/src/sysstate/helpers.rs
View File

@ -103,7 +103,7 @@ where
sysstate.current_tcb = freertos::emu_lookup::lookup(emulator,curr_tcb_addr); sysstate.current_tcb = freertos::emu_lookup::lookup(emulator,curr_tcb_addr);
unsafe { unsafe {
match SAVED_JUMP { match SAVED_JUMP.take() {
Some(s) => { Some(s) => {
let meta = state let meta = state
.metadata_mut() .metadata_mut()
@ -112,7 +112,7 @@ where
for (k,v) in meta.map.iter() { for (k,v) in meta.map.iter() {
if *v==s { if *v==s {
// println!("Jump Saved {:x}",k.1); // println!("Jump Saved {:x}",k.1);
sysstate.last_pc = Some(k.1); /* Currently save APP entry points */ sysstate.last_pc = Some(k.0); /* Currently save APP entry points */
break; break;
} }
} }

8
libafl_qemu/src/edges.rs
View File

@ -64,10 +64,12 @@ impl QemuEdgeCoverageHelper {
match &self.app_range { match &self.app_range {
None => false, None => false,
Some(s) => { Some(s) => {
// println!("must_save {} {:x} {:x}",s.contains(&src) != s.contains(&dst),src,dst); // if src != 0 {
// s.contains(&src) && !s.contains(&dst) // println!("must_save {} {:x} {:x}",s.contains(&src) && !s.contains(&dst),src,dst);
// }
s.contains(&src) && !s.contains(&dst)
// println!("must_save {} {:x} {:x}",src==0&&dst!=0x9cc,src,dst); // println!("must_save {} {:x} {:x}",src==0&&dst!=0x9cc,src,dst);
src==0&&dst!=0x9cc // src==0&&dst!=0x9cc
}, },
} }
} }