Hi Christoph, The automated assessment uses a script which in turns uses abi-compliance-checker.
I think the most recent version of that script would be in my repository: https://salsa.debian.org/adrien-n/armhf-time_t/ The README.md file describes it (it doesn't describe other tools in that repo though). There is definitely a high setup cost unfortunately: from setting up containers, to reading the results, understanding errors and finally being able to create appropriate quirks. I spent some time on the analysis of libpq-query-dev earlier this week. Unfortunately, a recent change to the package (namely adding postgresql headers) has greatly expanded the API/ABI surface; btw, the package these headers come from cannot be analyzed either. I'll probably give it a quick shot again today but I don't have much time; unless errors are few and obvious, it's unlikely that I will make much progress on it though. -- Adrien