https://github.com/sam-b/z3-stuff

z3 scripts and ctf challenge solutions.
https://github.com/sam-b/z3-stuff

Last synced: about 1 month ago
JSON representation

z3 scripts and ctf challenge solutions.

• Host: GitHub
• URL: https://github.com/sam-b/z3-stuff
• Owner: sam-b
• License: mpl-2.0
• Created: 2015-12-26T20:48:09.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-12-21T11:42:46.000Z (over 1 year ago)
• Last Synced: 2024-05-31T09:32:02.981Z (4 months ago)
• Language: Python
• Size: 70.3 KB
• Stars: 24
• Watchers: 5
• Forks: 6
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-hacking-lists - sam-b/z3-stuff - z3 scripts and ctf challenge solutions. (Python)

README

        
# z3-ctf-writeups

Code & screenshots for various Z3 based CTF challenge writeups I've written.