sv_tools.a sv_base.a sv_sys.a
src/dirent.h svcomp
src/opendir svcomp
src/readdir svcomp
src/rewinddir svcomp
src/closedir svcomp
src/chdir svcomp
src/getcwd svcomp
src/open svcomp
src/creat svcomp
src/umask svcomp
src/link svcomp
src/mkdir svcomp
src/mkfifo svcomp
src/unlink svcomp
src/rmdir svcomp
src/rename svcomp
src/stat.h svcomp
src/stat svcomp
src/fstat svcomp
src/access svcomp
src/chmod svcomp
src/chown svcomp
src/utime svcomp
src/pathconf svcomp
src/fpathconf svcomp
