Automatic Equivalency Restoration after Software Patching

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...