Angr experimentation

Crackme resolver 2

Here are some examples and solution of CTF Reverse Engineering and Pwning challenges where I have participated and solved using many tools such as Z3, Angr, IDA Pro and others software and tools.

Crackme resolver

Scripts that I used to gather data for my research internship at ASU's SEFCOM Lab. My project centered around evaluating the decompilation quality of angr and GHIDRA

Memeful CTF training presentation on Angr and Control Flow Graphs made with ❤️ using LaTeX Beamer for the HKUST Firebird CTF Team.

angr 7向けのサンプルプログラムです

Implementation of ROP Attack Defense Technology Based on Reassemble

A powerful and user-friendly binary analysis platform!

Solve scripts to Angr_Tutorial_For_CTF

Vagrant-based CTF VM

angr-wrapper is a simple script to automatise and accelerate your basic use of angr (to solve CTF challenges for example)

Static analysis tool for format string vulnerability detection

lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).

An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.

play with angr (https://github.com/angr/angr/) !!

CTF challenges and solutions

本科毕设. Fast-Symbolic-Emulation-Engine. 因受够了 angr 诞生的项目，当年帮我solve了很多ctf题目，不过很少维护了，后面可能会用来做一些其他的程序分析，反混淆也是不错. ( 暖心tips: 设置private再public会丢失star喔, 可惜原来那为数不多的30几个star ... )

Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).