剛好在 Gillight 學長 的 Blog 上看到這篇：寫C程式，請勿硬幹，裡面提到的：
- Splint：在 FreeBSD ports 的 devel/splint 有，測了一下，真的蠻囉唆的... :p
- indent 工具：我以前的習慣是 Allman style 的變形 (Maple 3 source code 使用的那種)，不過後來跟別人合作的時候就改用 K&R style 了，用 K&R style 的好處在於幾乎所有的 indent tool 都有直接排成 K&R 的選項，像是 GNU indent 的
-kr，或是 astyle 的--style=kr。
另外還有蠻重要的一點，要養成習慣用 版本控制 工具...。
如我這篇所言, http://x-solve.com/blog/?p=71 ,Splint 是屬於flow-insensitive的方式, 所以列出來的準確率很低. 可以檢查一小部份品質, 但是就安全檢查而言, 算是早期的技術了.