C Splint静态代码分析分割错误

C Splint静态代码分析分割错误,c,static-analysis,splint,C,Static Analysis,Splint,嘿,我正试图对我写的一个cqde项目进行一些静态分析,但splint给了我一个错误 $ 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

嘿,我正试图对我写的一个cqde项目进行一些静态分析,但splint给了我一个错误

$ 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

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

请向splint报告错误-bug@splint.orgI“我很确定他们在过去的5年里没有开发夹板……”“2003年4月28日”?我想你应该去别处看看。