2011-11-09 28 views

cevap

2

clang 'ın statik analizörü bir göz atın: http://clang-analyzer.llvm.org/

dayalı KLEE gibi diğer araçlar vardır llvm, bir bakıma da değebilir.

+0

Clang -Weverything'i kontrol edin, ancak çok sayıda yanlış pozitif olacağının farkında olun. – koan

2

Ayrıca GCC (4.6) eklentilerini (C ile kodlanmış) veya MELT extensions (MELT, GCC'yi genişletmek ve özelleştirmek için üst düzey etki alanına özgü bir dil) kullanarak özelleştirebilirsiniz. Bu yaklaşım, kontrol etmek istediğiniz kendi kodlama kurallarınıza sahipseniz uygun olabilir. Ancak, biraz iş gerektiriyor.