Abstract
Similar execution paths generation is one of the fundamental tasks in code analysis and detection. The current methods usually target to the program behavior or program structure, and change the value of key predicates, but these methods has a low effectiveness due to the lack of the necessary guidance information, Meanwhile, the predicates set has a large size and usually hard to solve, thus it will reduce the analyze precision as well. A technique of similar execution paths generation based on dynamic synergy bidirectional mapping is proposed in this paper. According to extend the shape of Control Flow Graph and use the backward symbolic analysis, the weakest precondition of the candidate path is generated, which can be used as the guidance information to generate pointed similar execution paths set according to the edit distance via changing the distance factor. The experimental results show that this method has the advantage of precision and anti-inference.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have