夹板静态代码分析分段故障

时间:2012-12-12 20:16:46

标签: c static-analysis splint

嘿我正在尝试对我写过的c cqde项目做一些静态分析,但是夹板给我一个错误

$ splint -preproc ASL_ACAN.c
Splint 3.1.1 --- 28 Apr 2003
*** Segmentation Violation
*** Location (not trusted): Command Line
*** Last code point: llmain.c:659
*** Previous code point: llmain.c:588
*** Please report bug to splint-bug@splint.org

甚至不知道从哪里开始,有没有人有任何建议?基本上,此项目中的任何文件都会返回此错误

0 个答案:

没有答案