Skip to content

Commit ef48290

Browse files
committed
initial commit
0 parents  commit ef48290

File tree

689 files changed

+214709
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

689 files changed

+214709
-0
lines changed

01-access-modeling-for-fuzzing/p2im-unittests/F103/ARDUINO-F103-ADC/config.yml

Lines changed: 404 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 311 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,311 @@
1+
interrupt_triggers:
2+
time_based_fuzzed:
3+
every_nth_tick: 0x3e8
4+
fuzz_mode: fuzzed
5+
memory_map:
6+
irq_ret:
7+
base_addr: 0xfffff000
8+
permissions: --x
9+
size: 0x1000
10+
mmio:
11+
base_addr: 0x40000000
12+
permissions: rw-
13+
size: 0x20000000
14+
nvic:
15+
base_addr: 0xe0000000
16+
permissions: rw-
17+
size: 0x10000000
18+
ram:
19+
base_addr: 0x20000000
20+
permissions: rw-
21+
size: 0x100000
22+
text:
23+
base_addr: 0x8000000
24+
file: ARDUINO-F103-GPIO.bin
25+
permissions: rwx
26+
size: 0x13680
27+
symbols:
28+
0x0: reent.c
29+
0x200: _Min_Heap_Size
30+
0x400: _Min_Stack_Size
31+
0x8000000: g_pfnVectors
32+
0x800010d: __do_global_dtors_aux
33+
0x8000131: frame_dummy
34+
0x8000179: strlen
35+
0x8000189: setup
36+
0x800019d: loop
37+
0x80001c5: SystemClock_Config
38+
0x8000265: Reset_Handler
39+
0x8000268: CopyDataInit
40+
0x8000270: LoopCopyDataInit
41+
0x800027e: FillZerobss
42+
0x8000284: LoopFillZerobss
43+
0x80002ac: Default_Handler
44+
0x80002ad: USB_HP_CAN1_TX_IRQHandler
45+
0x80002af: init
46+
0x80002b7: HAL_MspInit
47+
0x80002b9: HAL_InitTick
48+
0x8000305: HAL_Init
49+
0x8000329: HAL_IncTick
50+
0x8000341: HAL_GetTick
51+
0x800034d: HAL_NVIC_SetPriorityGrouping
52+
0x8000371: HAL_NVIC_SetPriority
53+
0x80003d5: HAL_NVIC_EnableIRQ
54+
0x80003f1: HAL_SYSTICK_Config
55+
0x800041d: HAL_NVIC_ClearPendingIRQ
56+
0x800043d: HAL_SYSTICK_CLKSourceConfig
57+
0x800045d: HAL_SYSTICK_Callback
58+
0x800045f: HAL_SYSTICK_IRQHandler
59+
0x8000469: HAL_DMA_Abort_IT
60+
0x8000501: HAL_GPIO_Init
61+
0x80006ed: HAL_GPIO_ReadPin
62+
0x80006fb: HAL_GPIO_WritePin
63+
0x8000709: HAL_GPIO_EXTI_IRQHandler
64+
0x8000725: I2C_Master_SB
65+
0x80007af: I2C_Master_ADD10
66+
0x80007bb: I2C_Master_ADDR
67+
0x8000995: I2C_SlaveTransmit_BTF
68+
0x80009b5: I2C_SlaveReceive_BTF
69+
0x80009d5: HAL_I2C_Slave_Sequential_Transmit_IT
70+
0x8000a61: HAL_I2C_Slave_Sequential_Receive_IT
71+
0x8000aed: HAL_I2C_EnableListen_IT
72+
0x8000b2b: HAL_I2C_MasterTxCpltCallback
73+
0x8000b2d: HAL_I2C_MasterRxCpltCallback
74+
0x8000b2f: HAL_I2C_SlaveTxCpltCallback
75+
0x8000b31: I2C_SlaveTransmit_TXE
76+
0x8000b81: HAL_I2C_SlaveRxCpltCallback
77+
0x8000b83: I2C_SlaveReceive_RXNE
78+
0x8000bcf: I2C_Slave_ADDR
79+
0x8000bf9: I2C_Slave_AF
80+
0x8000c8d: HAL_I2C_MemTxCpltCallback
81+
0x8000c8f: I2C_MasterTransmit_TXE
82+
0x8000dd9: I2C_MasterTransmit_BTF
83+
0x8000e77: HAL_I2C_MemRxCpltCallback
84+
0x8000e79: I2C_MasterReceive_RXNE
85+
0x8000f49: I2C_MasterReceive_BTF
86+
0x8001047: HAL_I2C_AbortCpltCallback
87+
0x8001049: I2C_ITError
88+
0x8001191: I2C_Slave_STOPF
89+
0x8001295: HAL_I2C_EV_IRQHandler
90+
0x80013fd: HAL_I2C_ER_IRQHandler
91+
0x80014d9: I2C_DMAAbort
92+
0x8001539: RCC_Delay
93+
0x8001565: HAL_RCC_OscConfig
94+
0x8001945: HAL_RCC_GetSysClockFreq
95+
0x80019b1: HAL_RCC_ClockConfig
96+
0x8001b21: HAL_RCC_GetHCLKFreq
97+
0x8001b2d: HAL_RCCEx_PeriphCLKConfig
98+
0x8001c41: HAL_RTC_AlarmIRQHandler
99+
0x8001c79: HAL_TIM_PWM_DeInit
100+
0x8001cb3: HAL_TIM_IC_CaptureCallback
101+
0x8001cb5: HAL_TIM_PWM_PulseFinishedCallback
102+
0x8001cb7: HAL_TIM_TriggerCallback
103+
0x8001cb9: HAL_TIM_IRQHandler
104+
0x8001e33: TIM_CCxChannelCmd
105+
0x8001e51: HAL_TIM_PWM_Stop
106+
0x8001eb1: TIM_CCxNChannelCmd
107+
0x8001ecd: HAL_TIMEx_PWMN_Stop
108+
0x8001f19: HAL_TIMEx_CommutationCallback
109+
0x8001f1b: HAL_TIMEx_BreakCallback
110+
0x8001f1d: UART_EndRxTransfer
111+
0x8001f39: UART_Transmit_IT
112+
0x8001fa3: HAL_UART_Transmit_IT
113+
0x8001feb: UART_EndTransmit_IT
114+
0x8002005: UART_Receive_IT
115+
0x80020a5: HAL_UART_IRQHandler
116+
0x80021c5: UART_DMAAbortOnError
117+
0x80021d5: HAL_UART_GetState
118+
0x80021e1: is_pin_configured
119+
0x80021f7: set_pin_configured
120+
0x8002215: reset_pin_configured
121+
0x8002235: get_GPIO_Port
122+
0x8002271: set_GPIO_Port_Clock
123+
0x8002319: get_pwm_channel
124+
0x8002345: HAL_TIM_PWM_MspDeInit
125+
0x800234d: pwm_stop
126+
0x80023a5: noOsSystickHandler
127+
0x80023a7: SysTick_Handler
128+
0x80023b9: digital_io_init
129+
0x8002439: digital_io_write
130+
0x8002451: digital_io_read
131+
0x800245b: hw_config_init
132+
0x8002467: pinmap_find_peripheral
133+
0x8002481: pinmap_peripheral
134+
0x8002493: pinmap_find_pin
135+
0x80024ab: pinmap_pin
136+
0x80024bb: pinmap_find_function
137+
0x80024d7: pinmap_function
138+
0x80024eb: pin_in_pinmap
139+
0x8002511: HAL_RTC_AlarmAEventCallback
140+
0x8002529: RTC_Alarm_IRQHandler
141+
0x8002539: _Error_Handler
142+
0x800253d: SystemInit
143+
0x8002589: timer_disable_clock
144+
0x80025ed: get_timer_obj
145+
0x80025f1: HAL_TIM_OC_DelayElapsedCallback
146+
0x800260b: HAL_TIM_PeriodElapsedCallback
147+
0x8002619: TIM1_UP_IRQHandler
148+
0x800262d: TIM2_IRQHandler
149+
0x8002641: TIM3_IRQHandler
150+
0x8002655: TIM4_IRQHandler
151+
0x8002669: get_i2c_obj
152+
0x800266d: HAL_I2C_AddrCallback
153+
0x80026bd: HAL_I2C_ListenCpltCallback
154+
0x80026ed: HAL_I2C_ErrorCallback
155+
0x8002705: I2C1_EV_IRQHandler
156+
0x8002715: I2C1_ER_IRQHandler
157+
0x8002725: I2C2_EV_IRQHandler
158+
0x8002735: I2C2_ER_IRQHandler
159+
0x8002745: serial_tx_active
160+
0x8002769: uart_attach_tx_callback
161+
0x80027bd: uart_index
162+
0x80027e1: HAL_UART_RxCpltCallback
163+
0x8002805: HAL_UART_TxCpltCallback
164+
0x8002851: HAL_UART_ErrorCallback
165+
0x8002891: USART1_IRQHandler
166+
0x80028a9: USART2_IRQHandler
167+
0x80028c1: USART3_IRQHandler
168+
0x80028d9: _exit
169+
0x80028dd: _kill
170+
0x80028ed: _getpid
171+
0x80028f1: pinMode
172+
0x8002985: digitalWrite
173+
0x80029cd: digitalRead
174+
0x8002a1d: _ZN14HardwareSerial16_tx_complete_irqEP8serial_s
175+
0x8002a51: _ZN14HardwareSerial9availableEv
176+
0x8002a65: _ZN14HardwareSerial4peekEv
177+
0x8002a81: _ZN14HardwareSerial4readEv
178+
0x8002aa9: _ZN14HardwareSerial5flushEv
179+
0x8002abd: _ZN14HardwareSerial5writeEh
180+
0x8002b0d: _Z14serialEventRunv
181+
0x8002b39: _ZN14HardwareSerial4initEv
182+
0x8002b5d: _ZN14HardwareSerial5setRxEm
183+
0x8002b75: _ZN14HardwareSerial5setTxEm
184+
0x8002b8d: _ZN14HardwareSerialC1EPv
185+
0x8002be9: _Z41__static_initialization_and_destruction_0ii
186+
0x8002c0d: _GLOBAL__sub_I_Serial2
187+
0x8002c1b: _ZNK9IPAddress7printToER5Print
188+
0x8002c55: _ZN9IPAddressC1Ehhhh
189+
0x8002c71: _Z41__static_initialization_and_destruction_0ii
190+
0x8002c9d: _GLOBAL__sub_I__ZN9IPAddressC2Ev
191+
0x8002cab: _ZN5Print5writeEPKhj
192+
0x8002ccf: _ZN5Print5printEc
193+
0x8002cd9: _ZN5Print11printNumberEmh
194+
0x8002d33: _ZN5Print5printEmi
195+
0x8002d49: _ZN5Print5printEhi
196+
0x8002d51: _Z11initVariantv
197+
0x8002d53: _Z7premainv
198+
0x8002d61: main
199+
0x8002d81: _ZL10get_pin_idt
200+
0x8002d95: __tcf_0
201+
0x8002dbd: _Z41__static_initialization_and_destruction_0ii
202+
0x8002e69: EXTI0_IRQHandler
203+
0x8002e73: EXTI1_IRQHandler
204+
0x8002e7d: EXTI2_IRQHandler
205+
0x8002e87: EXTI3_IRQHandler
206+
0x8002e91: EXTI4_IRQHandler
207+
0x8002e9b: EXTI9_5_IRQHandler
208+
0x8002eb1: EXTI15_10_IRQHandler
209+
0x8002ec9: _ZNKSt8functionIFvvEEclEv
210+
0x8002ed9: HAL_GPIO_EXTI_Callback
211+
0x8002ef9: _GLOBAL__sub_I__Z22stm32_interrupt_enableP12GPIO_TypeDeftSt8functionIFvvEEm
212+
0x8002f07: __aeabi_atexit
213+
0x8002f11: __cxa_atexit
214+
0x8002f2d: __libc_init_array
215+
0x8002f75: abort
216+
0x8002f83: _raise_r
217+
0x8002fd5: raise
218+
0x8002fe5: _kill_r
219+
0x8003009: _getpid_r
220+
0x800300d: _ZSt25__throw_bad_function_callv
221+
0x8003015: _GLOBAL__sub_I__ZNSt12ctype_bynameIcEC2ERKSsj
222+
0x80030d9: _GLOBAL__sub_I__ZNSt12ctype_bynameIwEC2ERKSsj
223+
0x800319d: _GLOBAL__sub_I__ZNSt12ctype_bynameIwEC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEj
224+
0x8003221: _GLOBAL__sub_I__ZNSt12ctype_bynameIcEC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEj
225+
0x80032a4: __EH_FRAME_BEGIN__
226+
0x80032a5: _init
227+
0x80032b1: _fini
228+
0x80032bc: _etext
229+
0x80032d0: PinMap_PWM
230+
0x8003420: PinMap_UART_RX
231+
0x8003468: PinMap_UART_TX
232+
0x800350c: digitalPin
233+
0x8003548: AHBPrescTable
234+
0x8003558: _ZTV14HardwareSerial
235+
0x8003578: _ZTV9IPAddress
236+
0x8003584: __sf_fake_stderr
237+
0x80035a4: __sf_fake_stdin
238+
0x80035c4: __sf_fake_stdout
239+
0x80035e4: __exidx_end
240+
0x80035e8: __frame_dummy_init_array_entry
241+
0x8003608: __init_array_end
242+
0x800360c: _sidata
243+
0x20000000: __dso_handle
244+
0x20000004: uwTickFreq
245+
0x20000008: uwTickPrio
246+
0x2000000c: SystemCoreClock
247+
0x20000010: _impure_ptr
248+
0x20000014: impure_data
249+
0x20000074: _edata
250+
0x20000078: object.8672
251+
0x20000090: buttonState
252+
0x20000094: RTCUserCallback
253+
0x20000098: RtcHandle
254+
0x200000ac: callbackUserData
255+
0x200000b0: timer_handles
256+
0x20000108: i2c_handles
257+
0x20000110: rx_callback
258+
0x20000124: rx_callback_obj
259+
0x20000138: tx_callback
260+
0x2000014c: tx_callback_obj
261+
0x20000160: uart_handlers
262+
0x20000174: g_anOutputPinConfigured
263+
0x20000188: g_digPinConfigured
264+
0x2000019c: Serial2
265+
0x200002e0: _ZL11INADDR_NONE
266+
0x200002e8: _ZL13gpio_irq_conf
267+
0x20000428: _ZGVNSt7collateIcE2idE
268+
0x2000042c: _ZGVNSt8messagesIcE2idE
269+
0x20000430: _ZGVNSt8time_getIcSt19istreambuf_iteratorIcSt11char_traitsIcEEE2idE
270+
0x20000434: _ZGVNSt8time_putIcSt19ostreambuf_iteratorIcSt11char_traitsIcEEE2idE
271+
0x20000438: _ZGVNSt11__timepunctIcE2idE
272+
0x2000043c: _ZGVNSt7num_putIcSt19ostreambuf_iteratorIcSt11char_traitsIcEEE2idE
273+
0x20000440: _ZGVNSt7num_getIcSt19istreambuf_iteratorIcSt11char_traitsIcEEE2idE
274+
0x20000444: _ZGVNSt8numpunctIcE2idE
275+
0x20000448: _ZGVNSt9money_putIcSt19ostreambuf_iteratorIcSt11char_traitsIcEEE2idE
276+
0x2000044c: _ZGVNSt9money_getIcSt19istreambuf_iteratorIcSt11char_traitsIcEEE2idE
277+
0x20000450: _ZGVNSt10moneypunctIcLb1EE2idE
278+
0x20000454: _ZGVNSt10moneypunctIcLb0EE2idE
279+
0x20000458: _ZGVNSt7collateIwE2idE
280+
0x2000045c: _ZGVNSt8messagesIwE2idE
281+
0x20000460: _ZGVNSt8time_getIwSt19istreambuf_iteratorIwSt11char_traitsIwEEE2idE
282+
0x20000464: _ZGVNSt8time_putIwSt19ostreambuf_iteratorIwSt11char_traitsIwEEE2idE
283+
0x20000468: _ZGVNSt11__timepunctIwE2idE
284+
0x2000046c: _ZGVNSt7num_putIwSt19ostreambuf_iteratorIwSt11char_traitsIwEEE2idE
285+
0x20000470: _ZGVNSt7num_getIwSt19istreambuf_iteratorIwSt11char_traitsIwEEE2idE
286+
0x20000474: _ZGVNSt8numpunctIwE2idE
287+
0x20000478: _ZGVNSt9money_putIwSt19ostreambuf_iteratorIwSt11char_traitsIwEEE2idE
288+
0x2000047c: _ZGVNSt9money_getIwSt19istreambuf_iteratorIwSt11char_traitsIwEEE2idE
289+
0x20000480: _ZGVNSt10moneypunctIwLb1EE2idE
290+
0x20000484: _ZGVNSt10moneypunctIwLb0EE2idE
291+
0x20000488: _ZGVNSt7__cxx117collateIwE2idE
292+
0x2000048c: _ZGVNSt7__cxx118messagesIwE2idE
293+
0x20000490: _ZGVNSt7__cxx118time_getIwSt19istreambuf_iteratorIwSt11char_traitsIwEEE2idE
294+
0x20000494: _ZGVNSt7__cxx118numpunctIwE2idE
295+
0x20000498: _ZGVNSt7__cxx119money_putIwSt19ostreambuf_iteratorIwSt11char_traitsIwEEE2idE
296+
0x2000049c: _ZGVNSt7__cxx119money_getIwSt19istreambuf_iteratorIwSt11char_traitsIwEEE2idE
297+
0x200004a0: _ZGVNSt7__cxx1110moneypunctIwLb1EE2idE
298+
0x200004a4: _ZGVNSt7__cxx1110moneypunctIwLb0EE2idE
299+
0x200004a8: _ZGVNSt7__cxx117collateIcE2idE
300+
0x200004ac: _ZGVNSt7__cxx118messagesIcE2idE
301+
0x200004b0: _ZGVNSt7__cxx118time_getIcSt19istreambuf_iteratorIcSt11char_traitsIcEEE2idE
302+
0x200004b4: _ZGVNSt7__cxx118numpunctIcE2idE
303+
0x200004b8: _ZGVNSt7__cxx119money_putIcSt19ostreambuf_iteratorIcSt11char_traitsIcEEE2idE
304+
0x200004bc: _ZGVNSt7__cxx119money_getIcSt19istreambuf_iteratorIcSt11char_traitsIcEEE2idE
305+
0x200004c0: _ZGVNSt7__cxx1110moneypunctIcLb1EE2idE
306+
0x200004c4: _ZGVNSt7__cxx1110moneypunctIcLb0EE2idE
307+
0x200004c8: uwTick
308+
0x200004cc: errno
309+
0x200004d0: _end
310+
0x20005000: _estack
311+
0xf108f85f: BootRAM

0 commit comments

Comments
 (0)