1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
//===-- Common.cpp --------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "Common.h"
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include <assert.h>
#include <string.h>
#include <set>
using namespace klee;
FILE* klee::klee_warning_file = NULL;
FILE* klee::klee_message_file = NULL;
static void klee_vfmessage(FILE *fp, const char *pfx, const char *msg,
va_list ap) {
fprintf(fp, "KLEE: ");
if (pfx) fprintf(fp, "%s: ", pfx);
vfprintf(fp, msg, ap);
fprintf(fp, "\n");
fflush(fp);
}
/* Prints a message/warning.
If pfx is NULL, this is a regular message, and it's sent to
klee_message_file (messages.txt). Otherwise, it is sent to
klee_warning_file (warnings.txt).
Iff onlyToFile is false, the message is also printed on stderr.
*/
static void klee_vmessage(const char *pfx, bool onlyToFile, const char *msg,
va_list ap) {
if (!onlyToFile) {
va_list ap2;
va_copy(ap2, ap);
klee_vfmessage(stderr, pfx, msg, ap2);
}
klee_vfmessage(pfx ? klee_message_file : klee_warning_file, pfx, msg, ap);
}
void klee::klee_message(const char *msg, ...) {
va_list ap;
va_start(ap, msg);
klee_vmessage(NULL, false, msg, ap);
va_end(ap);
}
/* Message to be written only to file */
void klee::klee_message_to_file(const char *msg, ...) {
va_list ap;
va_start(ap, msg);
klee_vmessage(NULL, true, msg, ap);
va_end(ap);
}
void klee::klee_error(const char *msg, ...) {
va_list ap;
va_start(ap, msg);
klee_vmessage("ERROR", false, msg, ap);
va_end(ap);
exit(1);
}
void klee::klee_warning(const char *msg, ...) {
va_list ap;
va_start(ap, msg);
klee_vmessage("WARNING", false, msg, ap);
va_end(ap);
}
/* Prints a warning once per message. */
void klee::klee_warning_once(const void *id, const char *msg, ...) {
static std::set< std::pair<const void*, const char*> > keys;
std::pair<const void*, const char*> key;
/* "calling external" messages contain the actual arguments with
which we called the external function, so we need to ignore them
when computing the key. */
if (strncmp(msg, "calling external", strlen("calling external")) != 0)
key = std::make_pair(id, msg);
else key = std::make_pair(id, "calling external");
if (!keys.count(key)) {
keys.insert(key);
va_list ap;
va_start(ap, msg);
klee_vmessage("WARNING", false, msg, ap);
va_end(ap);
}
}
|
