smatch
smatch copied to clipboard
error27
Static Analyser for C
Use a table of searched functions that use __GFP_ZERO and to proposed alternatives. This makes the code easier to expand. While at it, scan for new functions. Signed-off-by: Christophe JAILLET
I've got a simple reproducer for the issue that I found when scanning our ice driver in the kernel with smatch. original repro against smatch HEAD 0951ed5915c0 ("db: fix uninitialized...
This patch series allows to run smatch on Xen, and allows to track guest controllable variables across the Xen code base. This pull request is based on a patch series...
I set up AFL to run smatch against some of the validation files & it has found a few crashes so far. This is a placeholder to note that. What...
This patch updates sparse-llvm to use the newer LLVM API functions, replacing the deprecated functions with their updated counterparts: - Replace LLVMConstGEP with LLVMConstGEP2 - Replace LLVMBuildInBoundsGEP with LLVMBuildInBoundsGEP2 -...
Fix typos in documentation, comments, etc. Via [codespell](https://github.com/codespell-project/codespell/).
Hello, Our team has recently been conducting research on a null-pointer-dereference (NPD) vulnerability detection tool and used it to scan smatch(the version on the master branch). After a manual review,...
Hello, Our team has recently been conducting research on a null-pointer-dereference (NPD) vulnerability detection tool and used it to scan smatch(the version on the master branch). After a manual review,...
I suggest to reuse a higher level build system so that powerful checks for software features will become easier. - [CMake](https://cmake.org/ "Building software with CMake") - [Autotools](https://www.gnu.org/software/autoconf/autoconf.html#introduction "Building software with...
:eyes: [I took another look](https://lore.kernel.org/smatch/[email protected]/ "Clarification request from 2024-03-18") also at [the implementation of the macro “sql_insert_helper”](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch.h#L1131-L1166 "Update candidate"). I got the impression then that such data processing can benefit...