These guys from the Russian Linux Verification Center wrote an API Sanity Checker and an ABI Compliance Checker for automatic analysis of C / C++ / Java libraries ( https://github.com/lvc )
and maintain a website that analyses any new versions for C / C++ / Java libraries you tell them about ( http://upstream-tracker.org/ ). Pretty awesome.