Triton

Triton は動的バイナリ解析ライブラリです。プログラム解析ツールを構築し、リバースエンジニアリングを自動化し、ソフトウェア検証を実行したり、単にコードをエミュレートしたりするための内部コンポーネントを提供します。 動的シンボリック 実行 動的テイント 解析 x86 、x86-64 、ARM32 、AArch64 、RISC-V 32/64 ISAセマンティクスのAST表現 式の合成 SMT単純化 パス LLVM およびZ3 へのリフティング とその逆 Z3 およびBitwuzla へのSMTソルバー インターフェース C++および Python API Triton...