 |
| |||
| анализ потока команд управления (вид статического анализа с использованием графического представления последовательностей событий и путей управления при выполнении программы ssn); анализ путей управления (for detecting errors, such as poor and incorrect data structures, unreachable code and useless tests in the code, such as conditions that are always true or always false; корпорации AdaCore Alex_Odeychuk) | |||
| control flow analysis: 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |