Hacker News new | ask | show | jobs
by monksy 4787 days ago
Or for Java.
2 comments
grdvnl 4787 days ago
Pex is based on the Daikon dynamic invariant. This document explains some results and examples in certain languages.

http://groups.csail.mit.edu/pag/daikon/download/doc/daikon.p...

link
rainforest 4786 days ago
Is it? I was under the impression it just uses symbolic execution rather than invariant detection.
link
grdvnl 4776 days ago
Your are right. I mixed up dynamic symbolic execution with invariant detection. I know there is something called DySy which does do invariant detection using dynamic symbolic execution.
link
danbruc 4785 days ago
Pex is based on the Daikon dynamic invariant.

That's not true.

link
danbruc 4787 days ago
https://news.ycombinator.com/item?id=5676010
link