search

buildsi / build-abi-tests

0 stars 0 forks source link

Pass coherency checks #4

Open woodard opened 3 years ago

woodard commented 3 years ago

Every ELF object needs to have a coherent ABI that can be stored.

for libabigail this means: abidw --abidiff always works.

Unfortunately this is not necessarily always true. There are crashes, there are cases where things don't compare to each other... All of these have to work for the representation to be considered reliable.

For smeagol I guess the requirement is that the list of rules and properties generated by smeagol processing the DWARF are satisfied by the ELF file itself.

woodard commented 2 years ago

libabigail 2.0 made substantial progress toward this goal.