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.
danmatichuk
commented
2 years ago
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.