This PR adds a new file memcpy to the test-suite sample_binaries. The new test cases include spefications for functions where memcpy is called as a subroutine. The specification thus uses the flag user-func-spec to handle the memcpy-subroutine.
These exampels are needed because we need to ensure the flag --user-func-spec can handle more complicated examples than those found in resources/sample_binaries/user_func_spec. We also must ensure wp can handle functionality more normally found in C code, like functions found in libc.
This PR adds a new file
memcpyto the test-suitesample_binaries. The new test cases include spefications for functions wherememcpyis called as a subroutine. The specification thus uses the flaguser-func-specto handle thememcpy-subroutine.These exampels are needed because we need to ensure the flag
--user-func-speccan handle more complicated examples than those found inresources/sample_binaries/user_func_spec. We also must ensure wp can handle functionality more normally found in C code, like functions found in libc.