Corpus for openat$null:
Coverage
Program
614
openat$null
585
openat$null