Automatic Equivalency Restoration after Software Patching
I. A. Lubkin, Vyacheslav Vladimirovich Zolotarev · 2021
Inserting of the protection system against exploits code in a situation where the source code is unavailable requires restoring the correctness of the program after modification. The proposed methodology makes it possible to formulate a criterion for the equivalence of programs and implement an algorithm for program transforming while preserving the logic of its operation. The experimental results confirm the correctness of the proposed solutions.