Approach to protecting program running based on program invariants
Qingkai Zeng · Jisuanji gongcheng yu sheji · 2008
Program invariants show the program properties at certain points.An approach to protecting program at runtime by monitoring program invariants is proposed.This approach configures protection strategies according to the detected invariants.The running envi-ronment supports protecting code instrumentation to execute protection strategies.The experiments show that this approach is effective,wieldy,and with less loss in performance.