search

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

1 stars 0 forks source link

Дегса: учитывание особенностей потока управления и порождения ФВ (for, while, if) #155

Closed VTsarevNSU closed 1 month ago

VTsarevNSU commented 2 months ago

Необходимо учитывать особенности операторов:

  1. для if -- расчёт, будет ли он выполнен или нет, и если нет, то не учитывать его в качестве фактора, влияющего на состояние программы; если да, то учитывать его влияние + учитывать следствия правдивости выражения в условии
  2. для while и for -- учитывание порождения ими множества ФВ, расчёт их количества и разницы
VTsarevNSU commented 1 month ago

эта задача будет переформулирована и реализована в качестве подзадачи 174