add PoC-Concolic-Execution-with-Pin-and-z3.cpp