Request 508051 (accepted)

Overview

Request 508051 accepted

Automatic submission by obs-autosubmit

Created by factory-maintainer almost 7 years ago
In state accepted

Submit klee

Comments for request 508051 0

Request History

factory-maintainer created request almost 7 years ago

Automatic submission by obs-autosubmit

factory-auto added opensuse-review-team as a reviewer almost 7 years ago

Please review sources

factory-auto added factory-repo-checker as a reviewer almost 7 years ago

Please review build success

factory-auto accepted review almost 7 years ago

Check script succeeded

staging-bot added as a reviewer almost 7 years ago

Being evaluated by staging project "openSUSE:Factory:Staging:adi:222"

staging-bot accepted review almost 7 years ago

Picked openSUSE:Factory:Staging:adi:222

factory-repo-checker accepted review almost 7 years ago

Builds for repo devel:tools:statica/openSUSE_Tumbleweed

mrdocs accepted review almost 7 years ago

W: missing-call-to-chdir-with-chroot /usr/bin/klee-replay
This executable appears to call chroot without using chdir to change the
current directory. This is likely an error and permits an attacker to break
out of the chroot by using fchdir. While that's not always a security issue,
this has to be checked.

I'll approve, but this warning needs to be fixed in the next SR.