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

rename keys

Browse Source
This commit is contained in:
Alwin Berger 2024-09-09 16:06:41 +02:00
parent 5648faefa7
commit 7ad2f6fa6b
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/FRET/src/fuzzer.rs
View File

@ -277,7 +277,7 @@ let isr_ranges : Vec<_> = isr_ranges.into_iter().collect();
fn setup_interrupt_inputs(mut input : MultipartInput<BytesInput>, interrupt_config : &Vec<(usize,u32)>) -> MultipartInput<BytesInput> {
#[cfg(feature = "fuzz_int")]
for (i,_) in interrupt_config {
let name = format!("interrupts_{}",i);
let name = format!("isr_{}_times",i);
if input.parts_by_name(&name).next().is_none() {
input.add_part(name, BytesInput::new([0; MAX_NUM_INTERRUPT*4].to_vec()));
}
@ -346,7 +346,7 @@ let run_client = |state: Option<_>, mut mgr, _core_id| {
{
for &c in &interrupt_config {
let (i,_) = c;
let name = format!("interrupts_{}",i);
let name = format!("isr_{}_times",i);
let input_bytes = input.parts_by_name(&name).next().map(|x| x.1.bytes()).unwrap_or(&[0u8; MAX_NUM_INTERRUPT*4]);
let t = input_bytes_to_interrupt_times(input_bytes, c);
for j in 0..t.len() {libafl_interrupt_offsets[i][j]=t[j];}
@ -608,7 +608,7 @@ let run_client = |state: Option<_>, mut mgr, _core_id| {
let mut dumper = |marker : String| {
let d = format!("{}.case",marker);
do_dump_case!(state, &cli, &d);
let _d = format!("{}.stg",marker);
let _d = format!("{}.dot",marker);
do_dump_stg!(state, &cli, &_d);
let d = format!("{}.toprated",marker);
do_dump_toprated!(state, &cli, &d);

2
fuzzers/FRET/src/systemstate/mutational.rs
View File

@ -143,7 +143,7 @@ where
Some(s) => s,
Option::None => return Ok(())
};
let name = format!("interrupts_{}", interrup_config.0);
let name = format!("isr_{}_times", interrup_config.0);
// manager.log(state, LogSeverity::Info, format!("Mutation {}/{}", loopbound, loopcount))?;
loopbound-=1;
let current_case = state.current_testcase()?;