GitHub repository: ucsb-seclab/hal-fuzz
Description: Source code of HAL-fuzz