CBMC
replace_calls.cpp File Reference

Replace calls Replaces calls to given functions with calls to other given functions. More...

+ Include dependency graph for replace_calls.cpp:

Go to the source code of this file.

Detailed Description

Replace calls Replaces calls to given functions with calls to other given functions.

Needs to be run after removing function pointer calls and before removing returns.

Definition in file replace_calls.cpp.