Я проверял какой-то инструмент статического анализа в Википедии.Я проверяю каждый инструмент на предмет его возможностей.
* - Автоматическая проверка переменных
- Проверка границ для переполнения массива
- Проверка классов
и т. Д. *
Я действительно не уверен, какая возможность ниже:
Уметь проверить, правильно ли назначена переменная, используемая в условном операторе, чтобы он вводил или игнорировал инструкцию.
Пример 1:
bool flag = false;
if( flag == true){
process1();
}
Инструмент должен указать, что строка 2 неверна, поскольку она всегда будет ложной.
Example2:
bool flag = false;
flag = updateFlag();
if( flag == true){
process1();
}
Инструмент не должен указывать на что-либопоскольку переменная может измениться, прежде чем она будет использоваться в качестве условия.