정적분석 / 동적분석

정적분석은 코드 레벨에서 오류를 분석하는 것이고

동적분석은 실행 렙레에서 오류를 분석하는 것이다.

굳이 비유하면..

Syntax high-light 가 일종의 정적분석 툴이 될 수도 있는 거고(물론 더 세밀한 룰을 통해 버퍼 깨지는 문제등 까지 찾아 주지만)

junit과 같은 녀석을은 동적분석 툴이 될 수 있다

[링크 : http://en.wikipedia.org/wiki/Static_program_analysis]

[링크 : http://en.wikipedia.org/wiki/Dynamic_program_analysis]

대개는 상용툴로 나온녀석이라 가격도 후덜덜하다.

[링크 : http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis]

[링크 : http://www.stroustrup.com/JSF-AV-rules.pdf]

[링크 : http://en.wikipedia.org/wiki/QA-C]

[링크 : http://en.wikipedia.org/wiki/MISRA_C]