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 ...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)
文摘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.