728x90
반응형
<ANGR git>
차세대 바이너리 분석 프레임워크 프로젝트.
최근 몇 년 간 각종 CTF 대회에서 SMT-Solver 혹은 ANGR을 이용해 풀도록 하는 문제가 출제되고 있다(google ctf 등).
파이썬으로 작성된 툴이고 windows, linux 등 다양한 OS를 지원.
공부해야 할 필요성을 느낀다.
728x90
반응형
'리버싱 > Symbolic Execution' 카테고리의 다른 글
| [CSCI-4968-MBE] crackme0x03 (0) | 2016.07.13 |
|---|---|
| [CSCI-4968-MBE] crackme0x02 (0) | 2016.07.13 |
| [CSCI-4968-MBE] crackme0x01 (0) | 2016.07.13 |
| [CSCI-4968-MBE] crackme0x00a (0) | 2016.07.13 |
| [defcamp 2015] r200 (0) | 2016.06.07 |
| [defcamp 2015] r100 (0) | 2016.06.06 |
| [defcon 2016] baby-re (0) | 2016.06.06 |
| [Security Fest 2016] fairlight (0) | 2016.06.06 |
| [google CTF 2016] Unbreakable (0) | 2016.06.06 |
| how to install ANGR on Linux (0) | 2016.06.01 |
댓글