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.
MDUyYzIwMz.patch
MGFkYmExOT.patch
MjYyYzZkN2.patch
MjYyZjkxNm.patch
NTM3Y2E1MW.patch
OWMzNDk3N2.patch
OWUwOTY1N2.patch
README.md
YmI4MGM3ND.patch
ZGU4Yjc1ZG.patch
ZWM2ODBmOG.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
OWUwOTY1N2 1 0 Move setbit_case_fold function such that it is only called for single-byte characters Regression setbit_case_fold is supposed to be called in the multibyte case.
YmI4MGM3ND 1 0 Check for overflow (the overflow value happens to match EOF). Treating the Symptom This does not address the root cause but the symptom
MjYyZjkxNm 1 0 Use an arbitrary value instead of c Treating the Symptom No segmentation fault but incorrect behavior
ZGU4Yjc1ZG 1 0 Check for overflow (the overflow value happens to match EOF). Treating the Symptom This does not address the root cause but the symptom
ZWM2ODBmOG 1 1 Use wc instead of c (which equals c if the character is not multibyte). Developer Fix
OWMzNDk3N2 1 0 Reimplement the conversion from multibyte to single byte character to not return EOF or a negative index. Incomplete Fix Test case still fails
NTM3Y2E1MW 1 1 Use wc instead of c (which equals c if the character is not multibyte). Developer Fix
MjYyYzZkN2 1 0 Check for overflow (the overflow value happens to match EOF). Treating the Symptom This does not address the root cause but the symptom
MGFkYmExOT 1 0 Check for overflow (the overflow value happens to match EOF). Treating the Symptom This does not address the root cause but the symptom
MDUyYzIwMz 1 0 Check for overflow (the overflow value happens to match EOF). Treating the Symptom This does not address the root cause but the symptom