摘要
Constraint based program analysis is widely used in program validation, program vulnerability analysis, etc. This paper proposes a temporal correlation function to protect programs from analysis. The temporal correlation function can be applied to resist against both static and dynamic function summary and eoncolie testing. What＇ s more, the temporal correlation function can produce different outputs even with same input. This feature can be used to damage the premise of function summary as well as prevent concolie testing process to run the new branch with new input. Experiment results show that this method can reduce efficiency and path coverage of concolic testing, while greatly in- creasing the difficulty of constraint based program analysis.
Constraint based program analysis is widely used in program validation,program vulnerability analysis,etc.This paper proposes a temporal correlation function to protect programs from analysis.The temporal correlation function can be applied to resist against both static and dynamic function summary and concolic testing.What's more,the temporal correlation function can produce different outputs even with same input.This feature can be used to damage the premise of function summary as well as prevent concolic testing process to run the new branch with new input.Experiment results show that this method can reduce efficiency and path coverage of concolic testing,while greatly increasing the difficulty of constraint based program analysis.
基金
Supported by the National Natural Science Foundation of China(No.61121061)
National Key Technology R&D Program(No.2012BAH38B02,2012BAH06B00)
