“Codan” CODAN static code analyser static analysis CODAN static analysis análise estática Codan http://wiki.eclipse.org/CDT/designs/StaticAnalysis Codan CODAN Static Analysis in CDT CODAN http://wiki.eclipse.org/CDT/designs/StaticAnalysis static analysis page d'analyse statique Static Code Analysis “Codan”