CTF
俺たちはまだ angr を知らない(Z3py も追記中)
今まであまり深く考えずにテンプレで運用してきた angr ですが、先日「angr で解けそうなバイナリなのに解けない問題」にぶつかったため、いい機会だと思って少し詳しく学んでみることにしました。実際に使ってみると想像以上に強力なツールでしたので、ほんの一部ではありますがサンプルコードと併せて記事化しておくことにしました。
Readsec4b-2023 の driver4b で Linux のカーネルエクスプロイトに入門してみる
SECCON Beginners CTF 2023 の driver4b でカーネルエクスプロイトに入門します。
Read