Glassfrog
The abstract interpretation framework for binary code
Glassfrog
Фреймворк абстрактной интерпретации бинарного кода
Sorry, we are currently down for maintenance
Извините, сайт временно недоступен, ведутся работы
API docs for version 0.5
API-документация для версии 0.5