Splint не продолжает проверку после обнаружения ошибок разбора.Я также пытался использовать опцию + trytorecover, но без изменений.
Пожалуйста, дайте мне знать, как использовать + trytorecover, чтобы Splint попытался продолжить после ошибки разбора.Получаю,
161: splint +trytorecover spy.c
Splint 3.1.1 --- 19 Jul 2006
spy.c:41:12: Parse Error: Non-function declaration: byte_4 :
int. Attempting to continue.
spy.c:41:12: Cannot recover from parse error.
*** Cannot continue.