Fixed findings

List of Findings

Error: COMPILER_WARNING: [#def1]
fuse-overlayfs-1.16/main.c: scope_hint: In function ‘check_writeable_proc’
fuse-overlayfs-1.16/main.c:311:67: warning[-Wformat=]: format ‘%d’ expects argument of type ‘int’, but argument 3 has type ‘__fsid_t’
#  311 |       fprintf (stderr, "invalid file system type found on /proc: %d, expected %d\n", svfs.f_fsid, PROC_SUPER_MAGIC);
#      |                                                                  ~^                  ~~~~~~~~~~~
#      |                                                                   |                      |
#      |                                                                   int                    __fsid_t
#  309|     if (svfs.f_type != PROC_SUPER_MAGIC)
#  310|       {
#  311|->       fprintf (stderr, "invalid file system type found on /proc: %d, expected %d\n", svfs.f_fsid, PROC_SUPER_MAGIC);
#  312|         return;
#  313|       }

Scan Properties