[eclipse-clp-users] Path Traversal Conditions Solver

From: Christophe Meudec <echancrure_at_...6...>
Date: Wed, 12 Jun 2013 17:03:15 +0100
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
Chris
Received on Wed Jun 12 2013 - 16:03:21 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET