search

intel / pin-based-cec

Pin-Based Constant Execution Checker (Pin-based CEC)
BSD 3-Clause "New" or "Revised" License
14 stars 4 forks source link

Weird bug with endless loop #6

Open ereshetova opened 4 years ago

ereshetova commented 4 years ago

I have been using pin_based_cec to analyse tinycrypt and for ECC-DSA signature testing, the tool basically hangs in writing taint0 files with the endless loop below. The test itself works fine (if run without pin instrumentation), so there must be smth in the pin tool itself. The function I am analyzing is uECC_sign_with_k() from tinycrypt: https://github.com/intel/tinycrypt/blob/master/lib/source/ecc_dsa.c#L94 Do you have any hints what could possibly cause this?

MemRead: 55e73cd4b57c.78a2 (rsp - 120) MemRead: 55e73cd4b57e.78a2 (rsp - 308) MemWrite: 55e73cd4b587.78a2 (rsp - 304) MemRead: 55e73cd4b58a.78a2 (rsp - 30d) MemRead: 55e73cd4b597.78a2 (rsp - 320) MemRead: 55e73cd4b59e.78a2 (rsp - 120) MemRead: 55e73cd4b5a0.78a2 (rsp - 308) MemRead: 55e73cd4b5a9.78a2 (rsp - 30c) MemRead: 55e73cd4b5ac.78a2 (rsp - 304) MemWrite: 55e73cd4b5b3.78a2 (rsp - 338) MemWrite: 55e73cd4b4e1.123a2 (rsp - 340) MemWrite: 55e73cd4b4e5.123a2 (rsp - 344) MemWrite: 55e73cd4b4e8.123a2 (rsp - 348) MemWrite: 55e73cd4b4eb.123a2 (rsp - 34c) MemRead: 55e73cd4b4ee.123a2 (rsp - 344) MemRead: 55e73cd4b4f1.123a2 (rsp - 34c) MemRead: 55e73cd4b4f7.123a2 (rsp - 34c) MemRead: 55e73cd4b501.123a2 (rsp - 348) MemRead: 55e73cd4b507.123a2 (rsp - 340) MemRead: 55e73cd4b508.123a2 (rsp - 338) MemWrite: 55e73cd4b5b8.78a2 (rsp - 30c) MemRead: 55e73cd4b5bb.78a2 (rsp - 30d) MemRead: 55e73cd4b5c8.78a2 (rsp - 318) MemRead: 55e73cd4b5cf.78a2 (rsp - 308) MemWrite: 55e73cd4b5d2.78a2 (rsp - 120) MemRead: 55e73cd4b5d4.78a2 (rsp - 30d) MemWrite: 55e73cd4b5db.78a2 (rsp - 30d) MemRead: 55e73cd4b5de.87b7 (rsp - 30d) MemRead: 55e73cd4b5e2.87b7 (rsp - 32c) MemRead: 55e73cd4b532.78a3 (rsp - 30d) MemRead: 55e73cd4b53f.78a3 (rsp - 320) MemRead: 55e73cd4b546.78a3 (rsp - 11c) MemRead: 55e73cd4b548.78a3 (rsp - 30d) MemRead: 55e73cd4b555.78a3 (rsp - 328) MemRead: 55e73cd4b55c.78a3 (rsp - 13c) MemRead: 55e73cd4b562.78a3 (rsp - 30c) MemWrite: 55e73cd4b565.78a3 (rsp - 308) MemRead: 55e73cd4b568.78a3 (rsp - 30d) MemRead: 55e73cd4b575.78a3 (rsp - 320) MemRead: 55e73cd4b57c.78a3 (rsp - 11c) MemRead: 55e73cd4b57e.78a3 (rsp - 308) MemWrite: 55e73cd4b587.78a3 (rsp - 304) MemRead: 55e73cd4b58a.78a3 (rsp - 30d) MemRead: 55e73cd4b597.78a3 (rsp - 320) MemRead: 55e73cd4b59e.78a3 (rsp - 11c) MemRead: 55e73cd4b5a0.78a3 (rsp - 308) MemRead: 55e73cd4b5a9.78a3 (rsp - 30c) MemRead: 55e73cd4b5ac.78a3 (rsp - 304) MemWrite: 55e73cd4b5b3.78a3 (rsp - 338) MemWrite: 55e73cd4b4e1.123a3 (rsp - 340) MemWrite: 55e73cd4b4e5.123a3 (rsp - 344) MemWrite: 55e73cd4b4e8.123a3 (rsp - 348) MemWrite: 55e73cd4b4eb.123a3 (rsp - 34c) MemRead: 55e73cd4b4ee.123a3 (rsp - 344)

mdwood-intel commented 4 years ago

@alvarna, do you have any insight into this?

alvarna commented 4 years ago

Thanks for the mention @mdwood-intel. Apparently I hadn't subscribed to notifications from this repo. @ereshetova, me or my team-mates will follow up with you. We may need the test code to debug as well.