Taint analysis is marking crete.end custom instruction block as tainted

moralismercatus / crete

Open source concolic testing tool for binaries

1 stars 1 forks source link

Open moralismercatus opened 7 years ago

moralismercatus commented 7 years ago

Shouldn't be happening. TA should only mark blocks that have symbolic data, of which crete.end custom instruction does not.

Indicates a bug in taint analysis. An over-tracing bug.