diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-13 20:28:51 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | dc414fde33f3ec22a6ae3cf29cfc6bc4a9ddae1a (patch) | |
| tree | 56c1467c47fd45bdc2e3bad46b9b82b4186d4b8f /test/Runtime | |
| parent | 8426b2913e650970d46be9a4d088bf3945f41453 (diff) | |
| download | klee-dc414fde33f3ec22a6ae3cf29cfc6bc4a9ddae1a.tar.gz | |
Replace sprintf with snprintf throughout codebase
Diffstat (limited to 'test/Runtime')
| -rw-r--r-- | test/Runtime/POSIX/DirConsistency.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/DirConsistency.c b/test/Runtime/POSIX/DirConsistency.c index fa5c5314..688e11c1 100644 --- a/test/Runtime/POSIX/DirConsistency.c +++ b/test/Runtime/POSIX/DirConsistency.c @@ -60,7 +60,7 @@ int main(int argc, char **argv) { // Ensure atomic write char buf[64]; - sprintf(buf, "COUNT: %d\n", count); + snprintf(buf, sizeof(buf), "COUNT: %d\n", count); fputs(buf, stdout); assert(hasA == foundA); |