Format Detector

[nobradov1c]

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