diff options
author | Timotej Kapus <tk1713@ic.ac.uk> | 2020-03-15 10:28:52 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-09 10:18:39 +0100 |
commit | 55f1672a6928c2337bdb5952f049c833e21826c2 (patch) | |
tree | 10fd3da543f8475052de1f8981c481a1bf941916 /runtime/POSIX/fd.c | |
parent | c78b837d24f5df92b758b27e175b079ef2f1fbc0 (diff) | |
download | klee-55f1672a6928c2337bdb5952f049c833e21826c2.tar.gz |
[posix-runtime] Improve model to handle full-path symbolic files
Diffstat (limited to 'runtime/POSIX/fd.c')
-rw-r--r-- | runtime/POSIX/fd.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/runtime/POSIX/fd.c b/runtime/POSIX/fd.c index 240e589e..cfd2622f 100644 --- a/runtime/POSIX/fd.c +++ b/runtime/POSIX/fd.c @@ -38,6 +38,22 @@ static exe_disk_file_t *__get_sym_file(const char *pathname) { if (!pathname) return NULL; + // Handle the case where symbolic file is given as an absolute path, ie. + // /current/work/dir/A + if (pathname[0] == '/') { + char cwd[1024] = {0}; + if (getcwd(cwd, 1024)) { + size_t cwd_len = strlen(cwd); + // strip trailing / if present + if (cwd_len > 0 && cwd[cwd_len - 1] == '/') { + cwd[--cwd_len] = '\0'; + } + if (strncmp(pathname, cwd, cwd_len) == 0) { + if (pathname[cwd_len] != '\0') + pathname += cwd_len + 1; + } + } + } char c = pathname[0]; unsigned i; |