kmax
kmax copied to clipboard
paulgazz
A collection of analysis tools for Kconfig and Kbuild constraints.
`Klocalizer.get_config_from_model()` takes long (longer than the SAT check z3 spends for creating the model). This is not necessarily a bug but unintuitive to me; therefore, I will check if there...
Also see #17 for a related optimization.
Given a .config, I would like to have the list of all .o or .c files that will be compiled. Can Kmax dump all the sources or compilation units that...
Add both long and short tests with expected output. - Scripts for automatically installing kismet - Short-running unit tests based on past issues - Long-running whole-version kismet tests; compare with...
Currently ~/linux-5.16 doesn't work for kismet, while ${HOME}/linux-5.16 does.
To reproduce: ``` git checkout 8594c3b85171 git show > patch2.diff klocalizer --include patch2.diff --repair allnoconfig -a arm64 ``` Output: ``` klocalizer, kmax 4.2 INFO: Diff file was given as input...
Reproduce: ``` git checkout e9c5048c2de1913d0bcd589bc1487810c2e24bc1 kismet --selectees CONFIG_CRYPTO_DEV_FSL_CAAM_BLOB_GEN --selectors CONFIG_TRUSTED_KEYS_CAAM -a=arm64 ``` The false alarm happens due to a constraint that involves inequality between options. See the following configuration option...
Given the growing number number of interconnected tools in the repo, it is important to test all when merging changes. The challenge is that the tools depend on having actual...