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.3.0 : Wed Sep 25 2024 - 15:13:20 CEST