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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool