【あらすじ】
高校2年生の二木双葉は、CTF(情報セキュリティの競技の一つ)ではバイナリ問題を担当する女の子。ある日チームメイトにangrを紹介されたことで、シンボリック実行に目覚める…
【今回の話】
Day 1 双葉はangrに出会う
Day 2 双葉のシンボリック実行エンジンを自作してみた
【次回】
Girls Meets Symbolic Execution: Assertion 2. Automated Exploit Generation
https://speakerdeck.com/katc/girls-meets-symbolic-execution-assertion-2-automated-exploit-generation
【改訂履歴】
2017/10/31 スライドに著作権表記ないしはタイトルを追加。体裁を微調整。
※上のタイトルから「い」が抜けていた。悲しい