diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-11 11:28:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-11 11:28:19 +0100 |
| commit | d19500eb93083c8cc6bb72bcb54414015830cacb (patch) | |
| tree | 2c577f7d9029e4512b7444e0dbc24ebe0f94a93f /runtime/POSIX/fd_init.c | |
| parent | e0b62ce479f21660cd1200f3ac2567d358ff05d3 (diff) | |
| parent | 4083373b5ae3d8a22b3e5672f95075477c8ae328 (diff) | |
| download | klee-d19500eb93083c8cc6bb72bcb54414015830cacb.tar.gz | |
Merge pull request #746 from ccadar/posix
Fixed a bug causing KLEE to generate files with no permission bits, and added a basic test for klee-replay
Diffstat (limited to 'runtime/POSIX/fd_init.c')
| -rw-r--r-- | runtime/POSIX/fd_init.c | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/runtime/POSIX/fd_init.c b/runtime/POSIX/fd_init.c index 0cfa5788..327ddb53 100644 --- a/runtime/POSIX/fd_init.c +++ b/runtime/POSIX/fd_init.c @@ -74,20 +74,20 @@ static void __create_new_dfile(exe_disk_file_t *dfile, unsigned size, reasonable. */ klee_assume((s->st_blksize & ~0xFFFF) == 0); - klee_posix_prefer_cex(s, !(s->st_mode & ~(S_IFMT | 0777))); - 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) == 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); - klee_posix_prefer_cex(s, s->st_gid == defaults->st_gid); - klee_posix_prefer_cex(s, s->st_blksize == 4096); - klee_posix_prefer_cex(s, s->st_atime == defaults->st_atime); - klee_posix_prefer_cex(s, s->st_mtime == defaults->st_mtime); - klee_posix_prefer_cex(s, s->st_ctime == defaults->st_ctime); + klee_prefer_cex(s, !(s->st_mode & ~(S_IFMT | 0777))); + klee_prefer_cex(s, s->st_dev == defaults->st_dev); + klee_prefer_cex(s, s->st_rdev == defaults->st_rdev); + klee_prefer_cex(s, (s->st_mode&0700) == 0600); + klee_prefer_cex(s, (s->st_mode&0070) == 0040); + klee_prefer_cex(s, (s->st_mode&0007) == 0004); + klee_prefer_cex(s, (s->st_mode&S_IFMT) == S_IFREG); + klee_prefer_cex(s, s->st_nlink == 1); + klee_prefer_cex(s, s->st_uid == defaults->st_uid); + klee_prefer_cex(s, s->st_gid == defaults->st_gid); + klee_prefer_cex(s, s->st_blksize == 4096); + klee_prefer_cex(s, s->st_atime == defaults->st_atime); + klee_prefer_cex(s, s->st_mtime == defaults->st_mtime); + klee_prefer_cex(s, s->st_ctime == defaults->st_ctime); s->st_size = dfile->size; s->st_blocks = 8; |