Test suite does not load PLT stubs from binaries
danmatichuk opened this issue · comments
The test suites manually define the architecture proxy that is used to run the verifier, where the main tool builds the correct architecture proxy by reading the ELF headers for the given binaries. The cases the test suite to fail if the tests contain any PLT stubs, as the verifier doesn't correctly identify them.
Fixed in #326