diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-12-24 00:11:54 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-12-28 09:54:01 +0000 |
| commit | 3a0f6fdd6815442c504447927fcf204118c62cb7 (patch) | |
| tree | b3555b9c6f6f485969d7ce1b891aa43c14bdc21f /runtime/POSIX | |
| parent | 5caccf0c9bef886b61111609f1f95937aeb5596c (diff) | |
| download | klee-3a0f6fdd6815442c504447927fcf204118c62cb7.tar.gz | |
Changed preferred permissions from 0622 to the more standard 0644.
Diffstat (limited to 'runtime/POSIX')
| -rw-r--r-- | runtime/POSIX/fd_init.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/POSIX/fd_init.c b/runtime/POSIX/fd_init.c index 9184b7ea..0cfa5788 100644 --- a/runtime/POSIX/fd_init.c +++ b/runtime/POSIX/fd_init.c @@ -78,8 +78,8 @@ static void __create_new_dfile(exe_disk_file_t *dfile, unsigned size, klee_posix_prefer_cex(s, s->st_dev == defaults->st_dev); klee_posix_prefer_cex(s, s->st_rdev == defaults->st_rdev); klee_posix_prefer_cex(s, (s->st_mode&0700) == 0600); - klee_posix_prefer_cex(s, (s->st_mode&0070) == 0020); - klee_posix_prefer_cex(s, (s->st_mode&0007) == 0002); + klee_posix_prefer_cex(s, (s->st_mode&0070) == 0040); + klee_posix_prefer_cex(s, (s->st_mode&0007) == 0004); klee_posix_prefer_cex(s, (s->st_mode&S_IFMT) == S_IFREG); klee_posix_prefer_cex(s, s->st_nlink == 1); klee_posix_prefer_cex(s, s->st_uid == defaults->st_uid); |