kmax
kmax copied to clipboard
paulgazz
A collection of analysis tools for Kconfig and Kbuild constraints.
Currently, each run of `koverage` requires a clean `--scratch-dir`. Two ways to automate this management would be to either have a `--force` flag that will remove and overwrite the existing...
For a patch in Linux kernel x86_64 v5.13 patches, krepair terminates due to a z3 failure. Here is the error message (tail of klocalizer stderr): ``` DEBUG: SuperC config creation...
For 24 (patch, builtin config file) pairs of Linux kernel x86_64 v5.13 patches, krepair asserts while creating SuperC config files. The tail of klocalizer output is: ``` DEBUG: Creating the...
For 1,432 (patch, builtin config file) pairs of Linux kernel x86_64 v5.13 patches, krepair cannot find repaired configurations with following error message (last line of klocalizer stderr): ``` ERROR: No...
The script used in the cronjob on the cache download needs to be updated for the new cache uids (see #125). Add the updated script to the repo.
Paths to compilation units in Kbuild Makefiles can include relative paths, for instance `arch/x86/../../virt/kvm` that prevent kmax from determing build constraints when given `virt/kvm`. Moreoever, multiple relative paths can resolve...
`klocalizer -a c6x --verbose` fails with the following message: ``` INFO: Trying the following architectures: c6x INFO: Trying "c6x" DEBUG:Arch(c6x): Automatically detecting the kextract module version suitable for the kernel....
klocalizer now uses a hash of the build system to uniquely identify it, avoiding the need for having one formula cache for each repo tag. The build system hash ID...
—abbrev=0 removes the object hash code from the end of the tag, which indicates there are commits since the version tag. Commits that affect the Kconfig or Kbuild files can...