Official repository of SyzRisk [ASIA CCS'24] - View it on GitHub