Проект Cppcheck събира средства за реализиране на подобрения
Разработчикът Cppcheck (Даниел Марйамяки) планира да добави възможност за верификация на софтуер на C и C++ в своя статичен анализатор. Верификацията на софтуер в Cppcheck В режим „верификация“ Cppcheck ще издава предупреждение, ако не може да потвърди, че кодът е безопасен, въпреки че това може да доведе до шум (множество предупреждения). Планиране на реализацията Режимът на верификация ще бъде осъществяван поетапно. На първия етап работата ще […]
