karonte

Karonte Karonteは、組み込みファームウェアにおけるマルチバイナリ脆弱性を検出する静的解析ツールです。 masterブランチは、Python3に移植された最新バージョンのKaronteを提供します。論文で紹介した元の実装と実験については、IEEE-SP-20ブランチをチェックアウトし、dockerコンテナをご確認ください。 概要 研究論文 本手法と研究成果を以下の研究論文で発表しています： KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware PDF Nilo Redini,...