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