trailofbits/multiplierИндексирует артефакты сборки C/C++ в запрашиваемую базу данных всей программы, предоставляя API уровня AST, токенов и IR для аудита кода и анализа уязвимостей.
Multiplier обеспечивает точные и всеобъемлющие возможности понимания кода. Это достигается сохранением артефактов сборки в базу данных и обеспечением постоянного доступа к ним через C++ или Python API.
Multiplier делает акцент на возможности однозначно идентифицировать все сущности в процессе сборки, включая отдельные токены, узлы AST и промежуточные представления. С помощью Multiplier аналитик может выявлять интересующие образцы кода в одном из представлений, а затем точно передавать результаты людям в читаемом виде или последующим скриптам через идентификаторы сущностей.
API Multiplier обширны и часто предоставляют информацию, по качеству не уступающую или превосходящую компиляторную, но связанную на уровне всей программы. Мы любим говорить, что с помощью этих API вы можете попасть откуда угодно куда угодно.
copy_to_user в ядре Linux, перезаписывающих элементы гибких массивовЭто исследование разработано при финансировании Агентства перспективных оборонных исследовательских проектов (DARPA). Выраженные взгляды, мнения и/или выводы принадлежат автору и не должны интерпретироваться как отражающие официальные взгляды или политику Министерства обороны или правительства США.
Заявление о распространении «A» (одобрено для публичного выпуска, распространение без ограничений).