## Statická analýza a vyhodnocení v jazyku C
---
### Cieľ
+ nástroj schopný vyhodnotiť stavy registrov (vybraných adries v pamäti) po vykonaní daných funkcií na MCU
---
### Vstup
+ zdrojový kód
+ konfiguračný súbor popisujúci cieľový hardware
<br/>
### Výstup
+ stav registrov po vykonaní daných funkcií
---
## Súčasný stav
+ podopora jedného MCU
+ iba vybraný typ funkcií
---
### Funkčný prototyp!
```bash
python -m regcheck BOARD_InitBootClocks \
--config lpc845_cfg.ini --diff-only
0x40048028 = 0x37ad1
0x40048238 = 0xedd8
```
---
### Práca na letný semester 1/2
+ podpora ešte aspoň jedného MCU
+ podpora patchovania funkcií (hardware má vlastné API)
+ pridať preklad adries na názvy registrov (0x40048038 <=> SYSCON->SYSRSTSTAT)
---
### Práca na letný semester 2/2
+ vypísať sekvenciu zápisov vedúcich ku konečnému stavu registru
+ zistiť ktoré registre môžu byť zmenené (prechod celým CFG)
---
## Otázky?
---
## Ďakujem za pozornosť!
{"metaMigratedAt":"2023-06-15T03:44:19.733Z","metaMigratedFrom":"YAML","title":"Statická analýza a vyhodnocení v jazyku C","breaks":true,"description":".","contributors":"[{\"id\":\"f36f04e9-926f-4415-afba-6ff21dcc306d\",\"add\":3478,\"del\":2401}]"}