This was a very interesting article for me. I find it amazing how even in a codebase such as PostgreSQL's, which is very mature and values reliability, data int

This was a very interesting article for me. I find it amazing how even in a codebase such as PostgreSQL's, which is very mature and values reliability, data integrity, and correctness, errors like these could be found by a static code analysis tool. Some of the rules seem brilliant, like successive assignment detection.