filterforge

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

UBUNTU-CVE-2020-19725

There is a use-after-free vulnerability in file pddsimplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution...

Use After Free

Overview Affected versions of this package are vulnerable to Use After Free when processing files in pddsimplifier.cpp. An attacker can cause segmentation faults or execute arbitrary code by triggering unexpected memory access. This occurs as the solver is trying to simplify the constraints, whic...