diffkemp
diffkemp copied to clipboard
viktormalik
Static analysis of semantic differences in kernel versions
The development + tests sections of README are getting quite long, especially if we merge Nix support (#294). In addition, they are missing some information (packages necessary for building kernels,...
It is not always the case that all sysctl entries for a group are defined in a single table. For example, `kernel` group can point to `kern_table` in `kernel/sysctl.c` or...
Currently, DiffKemp tries to compile all files where a symbol is used and looks for it in the generated LLVM IR in cases when the compilation of the file containing...
There are some sources that include sources generated by Kbuild, which are not present in the kernel trees that are only configured. This prevents DiffKemp from compiling the file `drivers/scsi/scsi_sysfs.c`...
Currently, most of our tests are for kernel versions 3.10.0-xxx.el7 (CentOS/RHEL 7). This is very impractical since compilation of these kernels requires GCC 7.5. This will especially pose problems to...
When using `diffkemp` with `-d` option it logs compared instructions. I think it could be useful for debugging to log also the file and line of C source file which...
During some of my experiments I have encountered some slight problems in `diffkemp-devel` docker image. These commits should fix them.
When trying to find code relocations, we compare a lot of instructions and most of these comparisons are expected to fail. Therefore, the logger should not report such failures (at...
This PR contains implementation of basic pattern generation and inference. In the end patterns should be usable by the custom pattern extension. At the moment of opening this pull request...
Metadata
Owner
Metadata
Static analysis of semantic differences in kernel versions