c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Delitmus parameter numbers are not correct #245

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

The delitmus parameter numbers are a total ordering on all parameters across all threads, and not across individual ones. This is benign usually, but becomes a problem if we're trying to handle parameter passing conventions such as aarch64's. The parameter numbers should represent the exact position in the parameter list.

MattWindsor91 commented 3 years ago

I think I've fixed this now, though I'm using a heuristic that might go wrong if litmus tests are inconsistent with regards to parameter ordering across threads.