Hello all, I have released my Path Traversal Conditions solver as open source for those of you interested in imperative programs analysis, symbolic execution etc. You can find more details at: https://docs.google.com/document/d/121YIr-f-EwJ7aLwtxQoahjZ2XtOTJK6sdLUz0-SA2ig/edit?usp=sharing Always been a great fan of ECLiPSe long may it lives! best regards ChrisReceived on Wed Jun 12 2013 - 16:03:21 CEST
This archive was generated by hypermail 2.2.0 : Fri Jun 21 2013 - 06:13:31 CEST