Splint 용 RC 파일 샘플
https://stackoverflow.com/questions/938526
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian문제
코드 점검을 위해 Splint를 사용하고 있으며 수많은 경고를 버리고 있습니다. 그들 중 일부는 무시할 수 있다고 생각합니다. 나는 시행 착오로 .splintrc를 만드는 과정에 있습니다.
내 질문,
사용할 수있는 샘플 .splintrc 파일이 있습니까?
멀티 태스킹 임베디드 시스템을 위해 작성된 C 코드 용 Splint를 사용하고 있습니다.
해결책
이것은 가장 큰 도움이되지는 않지만 얻는 오류 메시지 유형과 사용중인 대상 프로세서/컴파일러에 대한 더 많은 정보를 제공해야한다고 생각합니다. 임베디드 대상 프로세서의 다양한 컴파일러에는 특정 기능을 제공하기 위해 자체 구문이 있습니다 (인터럽트 처리, 감독자 모드로 전송 및 하드웨어 인터페이스가 예제).
IAR 아래의 MSP430에서 Splint를 사용하려고 시도했으며 컴파일러 제공 하드웨어 인터페이스 정의 파일을 처리하려고 할 때 던지는 경고 및 오류로 인해 포기했습니다. 총알을 물고 사용중인 컴파일러 및 프로세서의 정확한 향료를 지원하기 위해 수정할 수있는 일부 구성 파일과 함께 제공되는 Gimpel Lint를 구입했습니다.
다른 팁
나는 Splint와 함께 일한 적이 없지만 PC-Lint와 함께 일한 적이 있습니다. 이것은 저의 경험이었습니다. 컴파일러 구성 파일이 없으면 보풀 도구에 많은 오류가 발생합니다.
컴파일러에 대한 컴파일러 별 구성 파일을 찾거나 만들어야합니다. 컴파일러에 대한 라인팅 도구와 매크로의 라인팅 도구를 알리거나 Linting Tool에서 무시해야 할 또는 계속 톤을 던질 것입니다. 오류의.
그러나 노력의 가치가 있습니다. 코드를 줄이면 테스트하는 동안 찾기가 어렵고 수정하기가 훨씬 더 비싸다.
