LuNA-Static-Analysis / LuNA-Static-Analysis-Repository

1 stars 0 forks source link

Дегса: проектирование DFTS #174

Open VTsarevNSU opened 1 month ago

VTsarevNSU commented 1 month ago

Data Fragment Tracking System -- система, предсказывающая значение того или иного ФД в том или ином месте графа, что требует учитывания особенностей операторов for, while, if, а также способности сравнивать значения ФД, не имея данных о конкретном значении (например, в случае использования аргументов командной строки), но имея данные и предыдущих присваиваниях, содержащих одно и то же неизменяемое значение.