moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Verify that symbols passed to monitor are the correct size #132

Open moralismercatus opened 9 years ago

moralismercatus commented 9 years ago

It was discovered that ELF symbols can be ambiguous. ELF allows multiple symbols to refer to the same address provided that they are listed as "weak" instead of "global." I figure it has something to do with the ability to fall back to other implementations dynamically (more or less optimized).

These differing implementations may have differing sizes, so we need to ensure the correct size for the respective address is passed to the call stack monitor and debugging facilities.