Brian Fu
Results
3
issues of
Brian Fu
Verify model correctness before delivering violation
When trying to reproduce a violation via tfuzz, we cannot re-generate the same program using the program_generator_seed parameter in the yaml as intended. For example, if our violation is found...
bug
Issue: Cannot load kernel modules into standard WSL2 kernel (or generate kernel headers) Solution: Enable module support, get headers directly from kernel source TODOs: - Only tested on main branch;...