dig

dig copied to clipboard

- New Project Idea: Automatic way to help existing Verification tools - Ultimate cannot verify a postcond - Run DIG to get cand loop invariants - Run Ultimate to verify...

nguyenthanhvuh

replace symbolic execution with fuzzing

1

nguyenthanhvuh

often doesn't work well if program has strong preconditions that are difficult to satisfy with random initial inputs. Perhaps can generate such inputs from the preconds itself.

nguyenthanhvuh

e.g., support the syntax ` // code ... vcheck(x > y); `

nguyenthanhvuh

nguyenthanhvuh

How can I use DIG to find the relationships between elements of an array?

2

For example, the following program,the `vtrace1` I added correct? ``` int main () { int a [100000]; int b [100000]; int res [100000]; int i = 0;int x ; while...

jsforyu