История изменений
Исправление den73, (текущая версия) :
Возможно, только если совсем запретить eval
Ну, чтобы код был статически анализируемым, нужно минимизировать нужду в eval. Кроме eval, может повредить также и получение адреса функции - нужно прослеживать пути этого указателя.
Лучше, что может дать семантическая база - это «метод используется в таких-то 25 местах и плюс см. eval», вызов по имени, работа через указатель. Для С++ даже этого нет.
Исходная версия den73, :
Возможно, только если совсем запретить eval
Ну, чтобы код был статически анализируемым, нужно минимизировать нужду в eval. Кроме eval, может повредить также и получение адреса функции - нужно прослеживать пути этого указателя.
Лучше, что может дать семантическая база - это «метод используется в таких-то 25 местах» и плюс см. eval, вызов по имени, работа через указатель. Для С++ даже этого нет.