static-analysis

6зной

1ответ

У меня очень простой .c файл с некоторыми явными ошибками внутри него. #include <stdio.h> struct S { int x; }; void f(struct S s){ } void test() { struct S s; f(s); // warn }

1зной

1ответ

Нужно ли проверять NULL в тестовых случаях, если включен статический анализ?

В нашем проекте включен статический анализ, и, когда дело доходит до тестирования, мы начинаем волноваться, если мы должны проверить проверку NULL или что-то, что уже может быть проверено статическим

1зной

1ответ

Объединение Clang AST

Я пытаюсь работать над AST из нескольких файлов с помощью RecursiveASTVisitor и нашел этот метод buildASTs от ClangTool, который называется Create an AST for each file specified in the command line an

0зной

1ответ

Проверьте в коде несуществующего свойство запрашивается

У меня есть набор констант, похожего let codes = { OPEN_ACCOUNT: 1000, CLOSE_ACCOUNT: 1001, DEPOSIT_FUNDS: 3000 ... } Иногда ключи переименованы или добавлены или удалены, поэто

1зной

1ответ

обнаружение ошибок при статическом анализе и символическом исполнении

какие ошибки статический анализ (например, компилятор) может обнаружить, а символическое выполнение не может обнаружить? и какие ошибки, которые может обнаруживать символическое выполнение, и статичес

0зной

1ответ

Анализ статического кода WebMatrix для Umbraco dot net app

Я провожу аудит для приложения, запрограммированного другим разработчиком. Это приложение dot net, в основном C#, но, очевидно, содержит html, css, js и некоторые угловые. Этот продукт был написан с и

0зной

1ответ

Как найти эквивалентные API-отчеты отчета о статическом анализе в динамическом отчете

У меня есть два отчета о статическом и динамическом анализе вредоносных программ, на самом деле в моем статическом отчете (например, _p_commode, _setusermatherr, ...) есть некоторые API-интерфейсы DLL