Is it? I was under the impression it just uses symbolic execution rather than in... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		rainforest on May 9, 2013 \| parent \| context \| favorite \| on: Microsoft Code Digger Is it? I was under the impression it just uses symbolic execution rather than invariant detection.

grdvnl on May 19, 2013 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact