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

1 stars 0 forks source link

Дегса: добавить вершины новых типов #39

Closed VTsarevNSU closed 7 months ago

VTsarevNSU commented 10 months ago

for добавлен, но нужно доработать поиск ошибок после этого можно будет добавлять остальные вершины

VTsarevNSU commented 7 months ago

готовы операторы cf, for, while, if, let, но:

  1. нужно ли добавлять ноыве операторы (информационная зависимость, например)?
  2. пока что реализована "ленивая" система, т.е. не обрабатывается логика if и while, и работает это в рамках концепции "без ложных срабатываний", т.е. система указывает лишь на очевидные ошибки, когда некоторые ИФД не используются или не инициализируются; также нет обработки выражений в индексах, ну и обработки бесконечных циклов и рекурсий пока что тоже для их добавления (как мне пока что кажется) необходимо реализовать парсинг выражений и для каждого идентификатора хранить интервалы возможных значений это решение для общего случая; конечно, можно использовать и простые проверки на константы