filterforge

filterforge Berkeley Packet Filter BPF バイトコードをリバースエンジニアリングするための Python ツールキット。生の BPF 命令（マルウェアサンプル、パケットキャプチャフィルター、ネットワークアプライアンスなどから抽出する可能性のあるもの）を入力として、filterforge はそれらを人間が読める形式に逆アセンブルし、Z3 を使用して受理パスを満たすパケット制約のセットを解決し、Scapy を活用してフィルターを通過する具体的なネットワークパケットを生成します。 簡単に言えば、BPF...