A method of function modeling in accurate stub generation

The behavior of a function call statement is decided by its called function, and it is hard to judge the purpose simply from the function call statement. How to simulate the function call is the key part for the accurate symbolic execution. This paper puts forward a path-sensitive function modeling method, in which the definition of stub function is generated according to the calling context. Experiments show that this method is effective and the execution path is consistent with the target path.