3 ms·

Or for Java.

• danbruc 14y ago
  https://news.ycombinator.com/item?id=5676010 https://news.ycombinator.com/item?id=5676010
• grdvnl 14y 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 14y 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 14y ago
    Pex is based on the Daikon dynamic invariant. That's not true.