Static Analysis

商業軟體
http://www.viva64.com/en/a/0074/

Open source 這邊,可用 gcc Python plugin 寫『專屬於我這個 API』的規則: http://gcc-python-plugin.readthedocs.org/en/latest/success.html
非專屬於某 API 的分析的話,Clang static analyzer: http://clang-analyzer.llvm.org/annotations.html 大概是目前最實用的。

這是個我喜歡 Red Hat 的例子)gcc python plugin 作者 David Malcolm 任職於 Red Hat,也是 upstream Python developer:http://blip.tv/pycon-us-videos-2009-2010-2011/pycon-2011-using-python-to-debug-c-and-c-code-using-gdb-4895525
這些工具在 Fedora 內 support 甚佳

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License