sandsifter

s a n d s i f t e r : the x86 processor fuzzer Overview The sandsifter audits x86 processors for hidden instructions and hardware bugs, by systematically generating machine code to search through a processor's instruction set, and monitoring execution for anomalies. Sandsifter has uncovered secre...

grap

grap: バイナリ内のグラフパターンを定義およびマッチング https://github.com/QuoSecGmbH/grap grapは、パターンとバイナリファイルを受け取り、Capstoneベースの逆アセンブラを使用してバイナリから制御フローグラフを取得し、パターンとのマッチングを行います。 パターンはユーザー定義のグラフで、命令条件（「opcodeがxorでarg1がeax」）や繰り返し条件（3つの同一命令、基本ブロックなど）を持ちます。...