Post date: Jan 30, 2013 4:37:26 AM
Installation:
./configure
sudo make install
What we have modified?
- Valgrind framework:
During our evaluation, we observed that the current Valgrind does not appropriately handle the floating pointer control register which might cause a different control flow during the analysis. Although normal linux applications compiled by gcc are fine with this issue, it is still a problematic incomplete implementation. Therefore, we fixed this bug and it is also included our posted valgrind program.
Details of the bug and our test code are also uploaded. You can test this code with unmodified valgrind and check it does not properly handle the register.
- memcheck, callgrind
We slightly modified these tools to filter obviously irrelevant logs.