0
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 6 hours ago.
Jul 23, 2025 — Jul 23, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge ../hotfix More... 3 months ago
pre-process: fix build error in gcc-11 and gcc-12 More... 3 months ago
pre-process: silence a -Wformat-truncation warning More... 3 months ago
debug: fix a macro expansion bug in the parameter casting More... 3 months ago
math: resurrect handle_implied_binop() More... 3 months ago
math: use comparison_no_extra() More... 3 months ago
check_debug: fix the silent casting some more More... 3 months ago
ranges: handle negative MODs More... 3 months ago
ranges: move functions around More... 3 months ago
math: re-write bitwise OR handling More... 3 months ago
kernel: rename the check_kernel() function to register_kernel() More... 3 months ago
kernel: rename check_kernel.c to smatch_kernel.c More... 3 months ago
kernel: delete ffs() handling More... 3 months ago
err_ptr_deref: add some functions which don't need to be checked More... 3 months ago
direct_return_instead_of_goto: delete blank lines More... 3 months ago
smatch_free: add rtw_free_recvframe() More... 3 months ago
rosenberg: fix a warning message More... 3 months ago
user_data: fix capped values for binops More... 3 months ago
returns_negative_error_code: use extra_nomod_hook() More... 3 months ago
spectre: disable this check harder More... 3 months ago
missing_error_code: ignore bool functions More... 3 months ago
kernel: add damon_for_each_target() as a once through macro More... 3 months ago
put_device: fix build issue More... 3 months ago
validation: delete out of date uninitialized warning check More... 3 months ago
uninitialiased: update validation test output More... 3 months ago
kernel_put_device: add cross function analysis to put_device() More... 3 months ago
debug: try again in cast_ptr() More... 3 months ago
ranges: fix a bug in subtraction More... 3 months ago
debug: fix ptr_max in validation output More... 3 months ago
validation/sm_casts4.c: update validation output More... 3 months ago