norbert manthey

Results 4 issues of norbert manthey

This patch series allows to run smatch on Xen, and allows to track guest controllable variables across the Xen code base. This pull request is based on a patch series...

**Is your feature request related to a problem? Please describe.** Using continuous code analysis allows to avoid hard to spot issues early. scan.coverity.com/ is free for open source software. **Describe...

static analysis
Priority: 4

``` During the %check target, no files that existed before are expected to be modified. This change adds a validation to the rpmbuild command, which will store file hashes, and...

When running weggli on multiple projects, or with multiple queries on project, leaving traces of the activities on disk helps to revisit findings later on again. Hence, this change extends...