@fbusse.bsky.social
If I remember correctly, the order had to be in descending order for the step numbers (line 14 before line 13), otherwise KLEE would find the next step immediately. (But I'm not familiar with the instrumentation code and there might be exceptions when e.g. two steps are in the same code line.)
December 6, 2025 at 5:38 PM
If I remember correctly, the order had to be in descending order for the step numbers (line 14 before line 13), otherwise KLEE would find the next step immediately. (But I'm not familiar with the instrumentation code and there might be exceptions when e.g. two steps are in the same code line.)
One question: in Listing 1 - is the order of line 13 and 14 the original one from our instrumentation?
June 27, 2025 at 4:08 PM
One question: in Listing 1 - is the order of line 13 and 14 the original one from our instrumentation?
Congrats Chengyu! And I'm also very sorry that someone had to read the KLEE-SA sources - I had a much nicer completely rewritten version of the searcher that unfortunately didn't make it into the paper (and hence the artefact).
June 27, 2025 at 3:51 PM
Congrats Chengyu! And I'm also very sorry that someone had to read the KLEE-SA sources - I had a much nicer completely rewritten version of the searcher that unfortunately didn't make it into the paper (and hence the artefact).