libtiff/REDTEAM-CVE-2016-10268: unable to localize constraint

nus-apr / CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

16 stars 1 forks source link

Open ChrisTimperley opened 1 year ago

ChrisTimperley commented 1 year ago

After roughly 30 minutes, the analysis fails with the following error message:

Unable to Localize a Crash Free Constraint

ChrisTimperley commented 1 year ago

Any updates on these issues, @rshariffdeen?