A tool for checking backward compatibility of a C/C++ library