Comment by pizlonator
2 days ago
Wait hold up the same authors did MESH: https://arxiv.org/pdf/2108.08683
So why isn't MESH part of the evaluation? And why isn't it mentioned even once in the paper?
2 days ago
Wait hold up the same authors did MESH: https://arxiv.org/pdf/2108.08683
So why isn't MESH part of the evaluation? And why isn't it mentioned even once in the paper?
Weird indeed.
But I also miss valgrind, which is precise, just very slow. I wonder if valgrind detects intra-object OOBAs.
No, it's not that precise.
Valgrind is based on tagging whether a memory location is live or not. So, it would not just fail the intra-object OOB test, it would also fail the "out of bounds but in bounds" case: https://github.com/pizlonator/llvm-project-deluge/blob/delug...
Valgrind's Memcheck is included. It does not detect intra-object OOBAs.
Ah thanks, missed that