Study on Integrity Verification and Compatibility-Conflict Analysis for Safe Patching.