last revision in 13th, add the usage check in data-flow tracking if the callee function is empty (either syscall or libcall)