search

ChrisTheCoolHut / Zeratool

Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
GNU General Public License v3.0
1.11k stars 147 forks source link

Format Detector #26

Open nobradov1c opened 2 years ago

nobradov1c commented 2 years ago

zerapwn.py ./vuln --format_only

Traceback (most recent call last):
  File "/home/obrad/.local/bin/zerapwn.py", line 246, in <module>
    main()
  File "/home/obrad/.local/bin/zerapwn.py", line 133, in main
    properties["pwn_type"] = formatDetector.checkFormat(
  File "/home/obrad/.local/lib/python3.10/site-packages/zeratool/formatDetector.py", line 81, in checkFormat
    if "input" in end_state.globals.keys():
AttributeError: 'NoneType' object has no attribute 'globals'

Used on picoCTF flag leak challenge https://play.picoctf.org/practice/challenge/269?category=6&page=1&search=flag%20le