diffkemp
diffkemp copied to clipboard
viktormalik
Static analysis of semantic differences in kernel versions
When using `tools/check-clang-format.sh -d` in `nix develop .#diffkemp-llvm18` shell, the linter reports incorrectly formatted C++ files, these are not reported when using LLVM v17 or lower. This is probably caused...
Currently, when comparing `sysctl` parameters, the `diffkemp-out.yaml` does not contain definitions of all functions. We use `result.graph` for the extraction of the definition, and the variable contains only functions for...
Currently, `diffkemp-out.yaml` contains only information about semantically differing functions. I think it would be good if the file contained information about all the compared functions / *sysctl parameters*, even those...
`diffkemp-out.yaml` is a file that we create during the comparison of the snapshot. It contains information about semantic differences - what compared function has semantic differences, - in which function/macro/type...
When comparing the [*sysctl* parameters](https://docs.redhat.com/en/documentation/red_hat_enterprise_linux/8/html/managing_monitoring_and_updating_the_kernel/configuring-kernel-parameters-at-runtime_managing-monitoring-and-updating-the-kernel), the `diffkemp-out.yaml` file currently contains only information about in which functions are found semantic differences, but not which/how the functions are connected with the *sysctl*...
The [cc_wrapper](https://github.com/diffkemp/diffkemp/tree/master/diffkemp/building/cc_wrapper) component is used for building generic projects into snapshots (using `diffkemp build`). It acts as a wrapper over a C compiler which hijacks each compile command of a...
Changes in the Python code enabling the use of LLVM IR bitcode files. This version: - uses LLVM command line utilities and modified regular expressions, - introduces `has_definition`, - fixes...
It would be good to try to run the result viewer in the CI to check that it works correctly. The run should be added here: https://github.com/diffkemp/diffkemp/blob/3d6ca2a272a74f11cea87e8105295a8602e79a16/.github/workflows/builds.yml#L72-L78 Both the development...
When trying to compile DiffKemp in the Nix development environment on Fedora 41, I'm getting errors when I have Nix installed on my system. Reproducer: ``` $ nix develop .#diffkemp-llvm16...
Metadata
Owner
Metadata
Static analysis of semantic differences in kernel versions