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

fix target names

Browse Source
This commit is contained in:
Alwin Berger 2024-09-10 10:40:52 +02:00
parent 7139a94a1b
commit 7896342ed9
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
kernel,main_function,input_symbol,input_size,return_function,select_task,interrupts
kernel,main_function,input_symbol,input_size,return_function,select_task,interrupts
mpeg2,mpeg2_main,mpeg2_oldorgframe,90112,mpeg2_return,NONE,
audiobeam,audiobeam_main,audiobeam_input,11520,audiobeam_return,NONE,
epic,epic_main,epic_image,4096,epic_return,NONE,
@ -15,14 +15,14 @@ gsm_enc,gsm_enc_main,gsm_enc_pcmdata,6400,gsm_enc_return,NONE,
tmr,main,FUZZ_INPUT,32,trigger_Qemu_break,NONE,
tacle_rtos,prvStage0,FUZZ_INPUT,604,trigger_Qemu_break,NONE,
lift,main_lift,FUZZ_INPUT,100,trigger_Qemu_break,NONE,
waters,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
watersv2,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
waterspart,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
waterspartv2,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
waters_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
watersv2_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
waterspart_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
waterspartv2_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
waters_seq,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
watersv2_seq,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
waters_par,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
watersv2_par,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,
waters_seq_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
watersv2_seq_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
waters_par_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
watersv2_par_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,1129,0#1000
micro_branchless,main_branchless,FUZZ_INPUT,4,trigger_Qemu_break,NONE,
micro_int,main_int,FUZZ_INPUT,16,trigger_Qemu_break,NONE,0#1000
micro_longint,main_micro_longint,FUZZ_INPUT,16,trigger_Qemu_break,NONE,0#1000

1 kernel main_function input_symbol input_size return_function select_task interrupts
2 mpeg2 mpeg2_main mpeg2_oldorgframe 90112 mpeg2_return NONE
3 audiobeam audiobeam_main audiobeam_input 11520 audiobeam_return NONE
4 epic epic_main epic_image 4096 epic_return NONE
15 tmr main FUZZ_INPUT 32 trigger_Qemu_break NONE
16 tacle_rtos prvStage0 FUZZ_INPUT 604 trigger_Qemu_break NONE
17 lift main_lift FUZZ_INPUT 100 trigger_Qemu_break NONE
18 waters waters_seq main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129
19 watersv2 watersv2_seq main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129
20 waterspart waters_par main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129
21 waterspartv2 watersv2_par main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129
22 waters_int waters_seq_int main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129 0#1000
23 watersv2_int watersv2_seq_int main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129 0#1000
24 waterspart_int waters_par_int main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129 0#1000
25 waterspartv2_int watersv2_par_int main_waters FUZZ_INPUT 4096 trigger_Qemu_break 1129 0#1000
26 micro_branchless main_branchless FUZZ_INPUT 4 trigger_Qemu_break NONE
27 micro_int main_int FUZZ_INPUT 16 trigger_Qemu_break NONE 0#1000
28 micro_longint main_micro_longint FUZZ_INPUT 16 trigger_Qemu_break NONE 0#1000