tum-i4 / sip-oblivious-hashing

7 stars 4 forks source link

[CLOSED] Seek and patch all assertions with distinct identifiers #69

Open mr-ma opened 6 years ago

mr-ma commented 6 years ago

Issue by mr-ma Friday May 04, 2018 at 11:02 GMT Originally opened as https://github.com/tum-i22/sip-oblivious-hashing/issues/69


Short range hash entails forced stimulation of control flow dependent branches. For this matter, we extract and place a call to every branches of such (as dummy functions). The patcher, however, only patches the dummy functions AND NOT the original functions containing asserts. This causes false alarms as the original asserts remain unpatched.

Solution: asserts in dummy functions share the same identifier with the original ones. In the patcher, upon each patch attempt, we need to seek for assert identifiers and subsequently patch them all.