Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Linux カーネルまたはその一部でシンボリック実行を実行することは可能ですか? コンコリックテストはどうですか?ありがとう!
はい。
S2E [1] を使用して、in-vivo (完全なソフトウェア スタック内) でバイナリを分析できます。シンボリック実行は S2E のデフォルト モードですが、それほど労力をかけずにコンコリック テストを実行することもできます。
[1] https://s2e.systems/