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