статический анализ кода на для Si1000 Опции

[demidrol]

интересно, есть ли хоть один "изкоробочный" вариант для статического анализа кода на си для 8051? Мануал для SDCC рекомендует использовать splint, но он не адаптирован для тех расширений си, что использует sdcc. Если кто-то пользовался им, то поделитесь советом, как его заставить работать.

[msalov]

http://splint.org/faq.html#quest14

I develop code on an embedded system with a compiler that uses nonstandard key words and data types. I would like to run Splint on my code but these nonstandard keywords cause parse errors. What should I do?

You can often use -D to solve this problem.

If you just want to ignore a keyword, you can add -Dnonstandardkeyword= to make the preprocessor eliminate the keyword, where nonstandardkeyword is the name of the keyword. Similarly, you can use -Dspecialtype=int to make a custom type parse as an int.

[demidrol]

http://splint.org/faq.html#quest14

пока что так и делаю: в заголовочном файле compiler_defs.h , взятом из примеров к silabs ide, выделил секцию для splint (#ifdef S_SPLINT_S.... #endif). Просто хотелось узнать, можно ли сплинтом пользоваться без самописных костылей.