Mauro Baluda
2014-04-17 10:03:35 UTC
I'm reading that Directionless WP was being implemented in KLEE in 2010...
https://www.cylab.cmu.edu/research/techreports/2010/tr_cylab10002.html
Is anybody aware if the feature is still in development?
thanks,
Mauro
--
Homme libre, toujours tu chériras la mer!
- Charles Baudelaire
https://www.cylab.cmu.edu/research/techreports/2010/tr_cylab10002.html
Is anybody aware if the feature is still in development?
thanks,
Mauro
--
Homme libre, toujours tu chériras la mer!
- Charles Baudelaire