9 ms·

Anyone know something similar for C/C++ or Python ?

• monksy 13y ago
  Or for Java.
  • danbruc 13y ago
    https://news.ycombinator.com/item?id=5676010 https://news.ycombinator.com/item?id=5676010
  • grdvnl 13y 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.pdf http://groups.csail.mit.edu/pag/daikon/download/doc/daikon.p...
    • rainforest 13y ago
      Is it? I was under the impression it just uses symbolic execution rather than invariant detection.
      • grdvnl 13y 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.
    • danbruc 13y ago
      Pex is based on the Daikon dynamic invariant. That's not true.
• judah 13y ago
  It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py http://rise4fun.com/z3py