search

markaduol / UROP

Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.
0 stars 1 forks source link

Driver 3 needs fixing #4

Open andreamattavelli opened 7 years ago

andreamattavelli commented 7 years ago

Please try to avoid dereferences during symbolization (e.g. https://github.com/markaduol/UROP/blob/master/src/td3.c#L93)