We have been developing a C/C++ static code analyzer for more than 10 years already. Looking back, we can recall a number of interesting events, bifurcation points, achievents and fails. …

The world has changed. Things that worked some time ago still do the job but become insufficient. Pair programming, code reviews, unit tests are still important and necessary but they …

Annotation is being clarified