Section outline
-
-
Experiments performed with some code analysis tools (AFL++, PathCrawler, Frama-C), plus if possible the application of one of these tool to a concrete code example (Grub2 Bootloader)
-