Hacker News new | ask | show | jobs
by Aurel1us 4787 days ago
Anyone know something similar for C/C++ or Python ?
2 comments
judah 4787 days ago
It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py
link
monksy 4787 days ago
Or for Java.
link
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