Среда Ruby on Rails отличается от других платформ тем, что даже самые базовые операции определяются в библиотеках. Воспользовавшись этим, разработчики МТИ переписали эти библиотеки таким образом, что описанные там операции, сами определяют собственное поведение на логическом языке.
Инженеры представят свою разработку на Международной конференции программистов, которая состоится в Остине, США, в мае.
Таким образом, интерпретатор Rails, переводящий программный язык в машинный код, превращается в инструмент статического анализа, который описывает поток данных, проходящих через программу. В результате при выполнении программы получается формальное построчное описание процесса обработки данных.
Дебаггер Dubbed Space автоматически определяет, следует ли программа модели разрешенных пользователю операций. Если нет, возможно наличие уязвимостей.