Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
tests
MGJmMTU1N2.patch
MTk0NjE0Mj.patch
MzBiYjQ4ZG.patch
NDM5MjVmOT.patch
NGU0NDRiM2.patch
NzBjMjQ0OT.patch
ODY3ODM5YW.patch
OTcyZjg1Mz.patch
README.md
YTA2MTE4ND.patch
ZTBjYWY1Nj.patch
ZTRmYWE5Nj.patch
ZTk0ZThkOD.patch
ZmZkMWM5OG.patch

README.md

  • P: patch is Plausible (passes our test case)
  • C: patch is Correct (passes our code review)
Participant ID P C Strategy Category Rationale
YTA2MTE4ND 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
ZTk0ZThkOD 1 0 Check for nullpointer only before or in fatal_file_error Incomplete Fix Null pointer might still propagate via parser.c:1342 or 1347
OTcyZjg1Mz 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
ZmZkMWM5OG 1 0 Check for nullpointer only before or in fatal_file_error Incomplete Fix Null pointer might still propagate via parser.c:1342 or 1347
MGJmMTU1N2 1 0 Check for nullpointer only before or in fatal_file_error Incomplete Fix Null pointer might still propagate via parser.c:1342 or 1347
ZTRmYWE5Nj 1 0 Do not increment counter, at all Regression Fix impacts other inputs where some arguments might not be parsed at all.
NDM5MjVmOT 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
NGU0NDRiM2 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
NzBjMjQ0OT 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
MzBiYjQ4ZG 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
ZTBjYWY1Nj 1 0 Check for nullpointer only before or in fatal_file_error Incomplete Fix Null pointer might still propagate via parser.c:1342 or 1347
MTk0NjE0Mj 1 1 Check for nullpointer directly after increment of arg_ptr Developer Fix
ODY3ODM5YW 1 0 Check for nullpointer only before or in fatal_file_error Incomplete Fix Null pointer might still propagate via parser.c:1342 or 1347