https://ehsanakhgari.org/tags/staticanalysis/Recent content in staticanalysis on Home PageHugo -- gohugo.ioen-caTo the extent possible under law, Ehsan Akhgari has waived all copyright and related or neighboring rights to this website. This work is published from: Canada.Mon, 07 Dec 2015 19:39:43 +0000https://ehsanakhgari.org/blog/2015-12-07/c-static-analysis-using-clang/Mon, 07 Dec 2015 19:39:43 +0000https://ehsanakhgari.org/blog/2015-12-07/c-static-analysis-using-clang/Introduction Large code bases typically develop rules around how various code constructs should be used. These rules help eliminate bugs resulting from common mistakes. C++ gives programmers a good amount of power over enforcing such rules using the facilities that the language provides. As a simple example, if you have a class that should not be inherited from, you can mark the class as final. Typically one finds themselves in a situation where the language doesn't provide an easy way to enforce something.