#

it4508e

Here is 1 public repository matching this topic...

chutrunganh / Application-of-Automated-Tools-in-Software-Code-Auditing-IT4508E

🐞 Experimental use of static analysis (Cppcheck, ESBMC) and dynamic analysis (AFL++, HongFuzz) to find bugs in C software (Fuzzgoat)

fuzzing afl cppcheck hust software-security asan honggfuzz esbmc it4508e it4508

Updated Dec 22, 2025
C

Improve this page

Add a description, image, and links to the it4508e topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the it4508e topic, visit your repo's landing page and select "manage topics."