适应插桩接口，klee_detect_int(left, right, opsize, type)