| /dports/security/klee/klee-2.2/runtime/Fortify/ |
| H A D | fortify.c | 27 klee_report_error(__FILE__, __LINE__, "pread overflow", "ptr.err"); in __pread_chk()
34 klee_report_error(__FILE__, __LINE__, "read overflow", "ptr.err"); in __read_chk()
41 klee_report_error(__FILE__, __LINE__, "readlink overflow", "ptr.err"); in __readlink_chk()
49 klee_report_error(__FILE__, __LINE__, "realpath overflow", "ptr.err"); in __realpath_chk()
56 klee_report_error(__FILE__, __LINE__, "recv overflow", "ptr.err"); in __recv_chk()
64 klee_report_error(__FILE__, __LINE__, "recvfrom overflow", "ptr.err"); in __recvfrom_chk()
71 klee_report_error(__FILE__, __LINE__, "stpncpy overflow", "ptr.err"); in __stpncpy_chk()
81 klee_report_error(__FILE__, __LINE__, "ttyname_r overflow", "ptr.err"); in __ttyname_r_chk()
|
| /dports/security/klee/klee-2.2/runtime/klee-eh-cxx/ |
| H A D | klee_eh_cxx.cpp | 191 klee_report_error(__FILE__, __LINE__, "_Unwind_Resume should not appear", in _Unwind_Resume()
202 klee_report_error(__FILE__, __LINE__, "_Unwind_ForcedUnwind not supported", in _Unwind_ForcedUnwind()
207 klee_report_error(__FILE__, __LINE__, "_Unwind_GetGR not supported", in _Unwind_GetGR()
213 klee_report_error(__FILE__, __LINE__, "_Unwind_SetGR not supported", in _Unwind_SetGR()
218 klee_report_error(__FILE__, __LINE__, "_Unwind_GetIP not supported", in _Unwind_GetIP()
223 klee_report_error(__FILE__, __LINE__, "_Unwind_SetIP not unsupported", in _Unwind_SetIP()
228 klee_report_error(__FILE__, __LINE__, in _Unwind_GetLanguageSpecificData()
234 klee_report_error(__FILE__, __LINE__, "_Unwind_GetRegionStart not supported", in _Unwind_GetRegionStart()
|
| /dports/security/klee/klee-2.2/runtime/Freestanding/ |
| H A D | fortify-fs.c | 19 klee_report_error(__FILE__, __LINE__, "memmove overflow", "ptr.err"); in __memmove_chk()
26 klee_report_error(__FILE__, __LINE__, "memset overflow", "ptr.err"); in __memset_chk()
33 klee_report_error(__FILE__, __LINE__, "memcpy overflow", "ptr.err"); in __memcpy_chk()
|
| /dports/security/klee/klee-2.2/runtime/Intrinsic/ |
| H A D | klee_overshift_check.c | 27 klee_report_error("IGNORED", 0 /*Ignored */, "overshift error", "overshift.err"); in klee_overshift_check()
|
| H A D | klee_div_zero_check.c | 14 klee_report_error(__FILE__, __LINE__, "divide by zero", "div.err"); in klee_div_zero_check()
|
| H A D | klee_range.c | 18 klee_report_error(__FILE__, __LINE__, "invalid range", "user"); in klee_range()
|
| /dports/security/klee/klee-2.2/test/Feature/ |
| H A D | KleeReportError.c | 23 klee_report_error(__FILE__, __LINE__, "My error", "my.err"); in main()
|
| /dports/security/klee/klee-2.2/runtime/klee-libc/ |
| H A D | __cxa_atexit.c | 38 klee_report_error(__FILE__, in __cxa_atexit()
|
| H A D | fortify-klibc.c | 23 klee_report_error(__FILE__, __LINE__, "mempcpy overflow", "ptr.err"); in __mempcpy_chk()
|
| /dports/security/klee/klee-2.2/runtime/POSIX/ |
| H A D | illegal.c | 40 klee_report_error(__FILE__, __LINE__, "longjmp unsupported", "xxx.err");
|
| H A D | klee_init_env.c | 24 klee_report_error(__FILE__, __LINE__, msg, "user.err"); in __emit_error()
|
| /dports/security/klee/klee-2.2/include/klee/ |
| H A D | klee.h | 73 void klee_report_error(const char *file,
|
| /dports/security/klee/klee-2.2/tools/klee-replay/ |
| H A D | klee-replay.c | 512 void klee_report_error(const char *file, int line, in klee_report_error() function
|