RSS トレイル・オブ・ビッツ ブログ
フォロー
CoBRAによるMBAの難読化の簡素化
MBA（算術およびビット演算子を使用した難読化）は、演算を隠蔽し、分析を困難にします。CoBRAは、これらの複雑なMBA式を簡素化するために設計されたオープンソースツールです。難読化されたコードから簡略化された同等物を復元し、可読性を向上させます。CoBRAは、ビット演算と算術論理の相互作用に苦労する既存のツールの欠点を克服します。ワークリストベースのオーケストレーターを使用し、複数のパイプラインにわたってさまざまな簡略化技術を採用しています。CoBRAは、式を分類し、線形、準線形、多項式、または混合などの適切な簡略化方法を選択することにより、式を簡素化します。このツールは、CLI、C++ライブラリ、およびLLVMパスプラグインを提供し、容易な使用と統合を可能にします。CoBRAは、ランダムな入力またはZ3証明を使用して、結果の精度を検証します。多様なデータセットからのほぼすべての式を簡素化し、高い成功率を誇ります。今後の開発には、特定の制限への対応と、ツールとの統合オプションの拡張が含まれます。
