kmax
kmax copied to clipboard
paulgazz
A collection of analysis tools for Kconfig and Kbuild constraints.
This needs investigation to determine whether it is correct and if it improves the precision of constraints and their applications to kismet and krepair.
``` $ git clone https://github.com/intel/linux-intel-lts.git --branch 5.15/rpl/dev/linux --single-branch $ cd linux-intel-lts $ git checkout a140193717ce0fcf25eaa5a3d1b9ea874b9e5114 $ kismet -a powerpc INFO: Computing the build system id for the Linux source.. INFO:...
Hi Paul, working on my ASE paper from last year, I kind of found (but forgot to look into and report) the following problem in `scripts/kclause_to_dimacs.py`. Now, for a new...
#241 was necessary to preserve the networkx dependency. But #130 ported away from python2, so we should be able to depend on latest dd and networkx. This needs testing though...
Setup: `sudo apt install -y python3 python3-pip python3-venv python3 -m venv ~/env_kmax/ source ~/env_kmax/bin/activate pip3 install kmax sudo apt install -y flex bison bc libssl-dev libelf-dev pip install --upgrade kmax'`...
See #235 for more discussion. Currently, `klocalizer` and `kismet` is setup for Linux, but the underlying tooling should be able to work on other systems, e.g., [BusyBox](https://github.com/paulgazz/kmax/blob/master/docs/advanced.md#generating-formulas-for-busybox). BusyBox, toybox, and...
Hi, There are many projects like buildroot, which use kbuild. Currently, kmax only supports linux kernel, any plan to support other projects?
