demidrol
Nov 15 2011, 10:16
интересно, есть ли хоть один "изкоробочный" вариант для статического анализа кода на си для 8051? Мануал для SDCC рекомендует использовать splint, но он не адаптирован для тех расширений си, что использует sdcc. Если кто-то пользовался им, то поделитесь советом, как его заставить работать.
msalov
Nov 15 2011, 10:45
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
Nov 15 2011, 15:10
Цитата(gotty @ Nov 15 2011, 14:45)

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