Tomáš Beránek

The analyzed package was zip-3.0-27.fc33 (default version on Fedora 33 from the official repository https://mirrors.fedoraproject.org/mirrorlist?repo=fedora-33&arch=x86_64). I wasn't able to find version zip31d on this site, only zip31c which seems to be the latest modified. I have checked the issues against this version and they are still present, but line numbers are a bit different. Updated line numbers: 1) unix/unix.c:343: error: Null Dereference When i was looking at the issue again, i noticed...

The analyzed package was zip-3.0-27.fc33 (default version on Fedora 33 from the official repository https://mirrors.fedoraproject.org/mirrorlist?repo=fedora-33&arch=x86_64). I wasn't able to find version zip31d on this site, only zip31c which seems to be the latest modified. I have checked the issues against this version and they are still present, but line numbers are a bit different. Updated line numbers: 1) unix/unix.c:343: error: Null Dereference When i was looking at the issue again, i noticed...

The analyzed package was zip-3.0-27.fc33 (default version on Fedora 33). I wasn't able to find version zip31d on this site, only zip31c which seems to be the latest modified. I have checked the issues against this version and they are still present, but line numbers are a bit different. Updated line numbers: 1) unix/unix.c:343: error: Null Dereference When i was looking at the issue again, i noticed that for x == "//" the NULL dereference won't happen, but for x == "//host" or "//host/share" will....

Results of the static analysis tool FB Infer on zip source files