Another interesting post where PVS-Studio explores running their tool on a major open source project, this time Android. https://www.viva64.com/en/b/0579/ It seems like a number of these checks would be straightforward additions to OSS compilers.