[Verifpal] parser attack (1 of 2)

Mike tankf33der at disroot.org
Tue Sep 17 20:42:06 CEST 2019

hi all,

I found new way parser thinks file is valid.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: guard.vp
Type: application/octet-stream
Size: 167 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190917/8fea5c91/attachment.obj>

More information about the Verifpal mailing list