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

configTASK_NOTIFICATION_ARRAY_ENTRIES=10 + new target

Browse Source
This commit is contained in:
Alwin Berger 2025-05-12 15:15:17 +00:00
parent 139a637898
commit c420e5c381
2 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
fuzzers/FRET/benchmark/target_symbols.csv
View File

@ -47,3 +47,4 @@ polycopter_seq_dataflow_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,
watersc14_par_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C14,0#1000
watersc14_seq_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C14,0#1000
waters_seq_unsync_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C13,0#1000
watersgen1_par_bytes,main_waters,FUZZ_INPUT,40960,trigger_Qemu_break,T_60,
1 kernel main_function input_symbol input_size return_function select_task interrupts
47 watersc14_par_full main_waters FUZZ_INPUT 4096 trigger_Qemu_break C14 0#1000
48 watersc14_seq_full main_waters FUZZ_INPUT 4096 trigger_Qemu_break C14 0#1000
49 waters_seq_unsync_full main_waters FUZZ_INPUT 4096 trigger_Qemu_break C13 0#1000
50 watersgen1_par_bytes main_waters FUZZ_INPUT 40960 trigger_Qemu_break T_60

16
fuzzers/FRET/src/systemstate/target_os/freertos/bindings.rs
View File

@ -3,6 +3,11 @@ use serde::{Deserialize, Serialize};
use std::fmt::Debug;
use std::fmt::Formatter;
use std::fmt;
impl fmt::Debug for QueueDefinition__bindgen_ty_1 {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
f.debug_struct("union").finish()
}
}
/*========== Start of generated Code =============*/
pub type char_ptr = ::std::os::raw::c_uint;
@ -66,7 +71,7 @@ pub const configKERNEL_INTERRUPT_PRIORITY: u32 = 255;
pub const configMAX_SYSCALL_INTERRUPT_PRIORITY: u32 = 191;
pub const configMAC_INTERRUPT_PRIORITY: u32 = 5;
pub const configUSE_TASK_NOTIFICATIONS: u32 = 1;
pub const configTASK_NOTIFICATION_ARRAY_ENTRIES: u32 = 4;
pub const configTASK_NOTIFICATION_ARRAY_ENTRIES: u32 = 10;
/* automatically generated by rust-bindgen 0.71.1 */
pub type StackType_t = u32;
@ -157,11 +162,6 @@ pub union QueueDefinition__bindgen_ty_1 {
pub xQueue: QueuePointers_t,
pub xSemaphore: SemaphoreData_t,
}
impl fmt::Debug for QueueDefinition__bindgen_ty_1 {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
f.debug_struct("union").finish()
}
}
pub type xQUEUE = QueueDefinition;
pub type Queue_t = xQUEUE;
#[repr(C)]
@ -183,8 +183,8 @@ pub struct tskTaskControlBlock {
pub pcTaskName: [::std::os::raw::c_char; 10usize],
pub uxBasePriority: UBaseType_t,
pub uxMutexesHeld: UBaseType_t,
pub ulNotifiedValue: [u32; 4usize],
pub ucNotifyState: [u8; 4usize],
pub ulNotifiedValue: [u32; 10usize],
pub ucNotifyState: [u8; 10usize],
pub ucStaticallyAllocated: u8,
pub ucDelayAborted: u8,
}