2011-11-09 16 views

risposta

2

Date un'occhiata a clang s' Analizer statica: http://clang-analyzer.llvm.org/

Ci sono altri strumenti come KLEE base Anche, potrebbe valere la pena dare un'occhiata.

+0

Check out clang -Tutto, ma attenzione che ci saranno molti falsi positivi – koan

2

È inoltre possibile personalizzare GCC (4.6) utilizzando plug-in (codificati in C) o MELT extensions (MELT è un linguaggio di dominio di alto livello per estendere e personalizzare GCC). Questo approccio potrebbe essere appropriato se hai le tue regole di codifica che vuoi controllare. Tuttavia, ci vuole un po 'di lavoro.