Narzędzie do analizy statycznej do wykrywania przerw ABI w C ++

Nie jest trudno złamać binarną zgodność wsteczną DSO / biblioteki współdzielonej z interfejsem C ++. Czy jednak istnieje narzędzie do analizy statycznej, które może pomóc w wykryciu takich przerw ABI, jeśli podano mu dwa różne zestawy plików nagłówkowych: wcześniejszego stanu DSO i obecnego stanu (a może także DSO)? Zarówno bezpłatne, jak i komercyjne propozycje produktów są mile widziane.

Jeśli może również ostrzec przed złymi praktykami, np. funkcje inline i domyślne parametry funkcji w interfejsach DSO, byłoby świetnie.

questionAnswers(6)

yourAnswerToTheQuestion