search

vancaho / avalanche

Automatically exported from code.google.com/p/avalanche
2 stars 0 forks source link

Incorrect STP queries when lseek (fseek, etc.) is used #5

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Run avalanche on fseek.c with samples/simple/seed

What is the expected output?
3 exploits causing segfaults.

What do you see instead?
1 exploit (and 2 divergence files if --debug is used)

Original issue reported on code.google.com by m.k.erma...@gmail.com on 27 Jul 2011 at 9:24

Attachments:

GoogleCodeExporter commented 8 years ago 
fixed in r234

Original comment by m.k.erma...@gmail.com on 28 Jul 2011 at 9:39