Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: статический анализ кода на для Si1000
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > Все остальные микроконтроллеры > MCS51
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
Цитата(gotty @ Nov 15 2011, 14:45) *

пока что так и делаю: в заголовочном файле compiler_defs.h , взятом из примеров к silabs ide, выделил секцию для splint (#ifdef S_SPLINT_S.... #endif). Просто хотелось узнать, можно ли сплинтом пользоваться без самописных костылей.
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.