moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Cycle compression causes assertion in trace graph #164

Closed moralismercatus closed 8 years ago

moralismercatus commented 8 years ago

Note: node used synonymously with block.

The trace graph has an assumption that the first node for every trace is the same.

If cycle detection detects a loop involving the first node, and that loop varies among traces, the replacement node for the loop will have differing values.

To overcome this, simple exclude the first node from cycle detection. This will ensure that the first node is always the same.