Алгебра адресных пространств: представление памяти при анализе кода

Анализ кода — задача сложная, особенно когда речь идет об анализе памяти. Мы поговорим о том, почему трудно отслеживать работу с памятью в программах на C/C++ и как мы создали инструмент, который помогает находить проблемы с использованием памяти. Он связывает разные адресные пространства, поэтому это не просто статический анализатор C/C++. Мы в доступной форме объясним ключевые концепции, такие как решетки и соответствие Галуа.

Также мы покажем примеры на C/C++, где наш инструмент помогает выявить такие проблемы, как утечки памяти и битые ссылки. Если вы разработчик, который хочет улучшить свои навыки, особенно в C/C++, этот доклад для вас. Мы покажем, как наш инструмент использует простые математические концепции для последующего улучшения и ускорения кода.