シンボリック実行の検索結果1 - 1 件 / 1件

• あとで読む

  angrによるシンボリック実行でRev問を解いてみたまとめ【WaniCTF2021】 - Qiita

  • 3 users
  • qiita.com/kash1064
  • テクノロジー
  • 2021/05/05

  はじめに 先日開催されましたWaniCTF'21-springに参加してました。 今回はソロ参加だったこともあり、久しぶりにReversing以外の問題も解きました。 全完できたのはRevとMiscのみで、結果は56位でした。 脱初心者への道のりはまだまだ長そうです。 Pwnが想像以上に解けなかったことなど、新たに浮き彫りになった課題も多く、大変有意義な機会でした。 今回は、ReversingのVeriyHard問題「licence」を通して、複雑な処理をシンボリック実行で解析してくれるツール「angr」の使い方について学ぶことができたので、振り返りもかねて「angr」の使い方についてまとめていきます。 今回学んだこと 「angr」の使い方 「angr」のロジック licenseの解法 今回解いた「licence」ですが、こんな感じの問題でした。 正解者は36人と比較的少ない問題なので、結