In mission- and safety-critical industries, static code analysis is essential to facilitating the development of robust and reliable software. However,