Semantic Matching Tool
[Prev Page][Next Page]
REGRESSION: implied: we have to make the false states match as well,
conchur
new false positives after the recent pull?, Oleg Drokin
Memory leak warning - false positive,
Amir Vadai"
Better handling of always true conditions.,
Oleg Drokin
[PATCH] slist: Properly handle one-way merges,
green
[PATCH 0/9] some check_kernel_printf updates,
Rasmus Villemoes
- [PATCH 1/9] sparse: don't warn about unknown attributes, Rasmus Villemoes
- [PATCH 2/9] check_kernel_printf.c: reorder flag defines, Rasmus Villemoes
- [PATCH 3/9] check_kernel_printf.c: update struct printf_spec to kernel version, Rasmus Villemoes
- [PATCH 4/9] check_kernel_printf.c: check for signed char versus %02x issue, Rasmus Villemoes
- [PATCH 5/9] check_kernel_printf.c: remove some %pIS false positives, Rasmus Villemoes
- [PATCH 6/9] check_kernel_printf.c: support %pC, Rasmus Villemoes
- [PATCH 7/9] check_kernel_printf.c: support future %pgX, Rasmus Villemoes
- [PATCH 8/9] check_kernel_printf.c: actually allow printk level via %c, Rasmus Villemoes
- [PATCH 9/9] check_kernel_printf.c: check for redundant or confusing 0x prefix, Rasmus Villemoes
- Re: [PATCH 0/9] some check_kernel_printf updates, Dan Carpenter
smatch: Regression in unused return check, conchur
make fails, Sudip Mukherjee
Recent wave of additional false negative warnings?,
Oleg Drokin
Re: [PATCH] kchecker: build already built directory,
Sudip Mukherjee
Re: smatch and strcmp(),
Dan Carpenter
Re: [linux-next:master 5659/5676] kernel/trace/trace_syscalls.c:106 syscall_nr_to_meta() error: buffer overflow 'syscalls_metadata' 374 <= 375,
Dan Carpenter
[PATCH] testkernel.sh to retain make exit code,
green
Some minor tweaks,
Rasmus Villemoes
Re: smatch usage?,
Dan Carpenter
[PATCH] db: Avoid dereferencing null pointer, Silvan Jegen
bug: got a segfault, Wolfram Sang
[RFC][PATCH] Documentation fixes,
Silvan Jegen
%p extension checking,
Rasmus Villemoes
smatch v1.60 released, Dan Carpenter
smatch on illumos & false positive,
Josef 'Jeff' Sipek
Re: can't reproduce this warning,
Dan Carpenter
Re: smatch: false positives related to locking,
Dan Carpenter
Re: checking for uninitialized variables,
Dan Carpenter
Assertion error in avl.c:87 when compiling/testing Linux kernel,
Silvan Jegen
Feature request: check for freeing an ERR_PTR,
Theodore Ts'o
spin_lock/unlock false positives ?, Alexandre Belloni
Re: SQL error while running smatch, Dan Carpenter
smatch overzealous ?,
walter harms
Re: smatch output,
Dan Carpenter
unreachable code warnings now are fixed,
Dan Carpenter
Re: smatch question, Dan Carpenter
Hit assert when checking net/netfilter/ipset/ip_set_bitmap_port.c in the Kernel,
Silvan Jegen
Re: can 'mac_addr' even be NULL?,
Dan Carpenter
Regression in Smatch,
Larry Finger
Re: Adding PCI hotplug safe checking to smatch,
Dan Carpenter
Re: smatch "... 'buffer' too small (X vs. Y)" error messages, Dan Carpenter
recent changes will require a db rebuild, Dan Carpenter
Re: smatch "unreachable code",
Dan Carpenter
[patch] allow char to be unsigned, Dan Carpenter
Signedness of 'char',
Peter Oberparleiter
Smatch messages that are not understood,
Larry Finger
Latest smatch crashing on drivers/hwmon/acpi_power_meter.c,
Guenter Roeck
A smatch warning I dont understand in drivers/hwmon/max16065.c,
Guenter Roeck
smatch v1.59 released,
Dan Carpenter
Re: build regressions 2013-04-12, Dan Carpenter
Re: Fwd: What kinds of bugs can smatch check?, Dan Carpenter
I fixed the slow down using the database, Dan Carpenter
Re: [nfc-next:topic/char-misc-next-mei 4/11] drivers/misc/mei/bus.c:161 mei_add_device() error: dereferencing freed memory 'client', Dan Carpenter
Re: [kbuild] [mmotm:master 315/315] drivers/net/team/team.c:1771 team_ethtool_get_drvinfo() error: strlcpy() '"3.9.0-rc1-mm1-00315-g391ef7f"' too small (29 vs 32), Dan Carpenter
smatch handling of inline functions,
Dan Carpenter
Re: net/vmw_vsock/af_vsock.c:616 __vsock_create() error: potential NULL dereference 'psk'., Dan Carpenter
Smatch 1.58 released, Dan Carpenter
Using smatch on Chrome OS kernel, cannot process "__restrict__",
Simon Que
Re: Making the smatch output understandable for emacs, Dan Carpenter
new sval patches, Dan Carpenter
[PATCH] Makefile: drop superfluous trailing '/',
Wolfram Sang
false positive 'double unlock'?,
Wolfram Sang
[RFC] Makefile: use '/usr/local' as prefix,
Wolfram Sang
Smatch 1.57 released, Dan Carpenter
Re: smatch list and gmane, Dan Carpenter
Re: [userns:userns-always-map-user-v58 86/150] fs/ncpfs/inode.c:335 ncp_show_options() warn: if();,
Dan Carpenter
[PATCH] Fix bug in Makefile that causes linking to fail,
Omair Mohammed Abdullah
smatch and nested spin_lock_bh() calls, Bart Van Assche
Re: [patch] sparse: ignore leaf attribute, Dan Carpenter
Re: smatch vs. WARN_ON[_ONCE], Dan Carpenter
[PATCH 1/2] smatch: fix several typos,
Jonathan Neuschäfer
tiny patch for userland project,
KOSAKI Motohiro
Re: Questions Regarding Smatch from Nomura, Dan Carpenter
Quick question on extending/using smatch,
Lars Segerlund
Smatch v1.56 released,
Dan Carpenter
[PATCH] smatch: add --data=<dir> option,
Karel Zak
smatch doesn't recognize binary constants,
Kamal Mostafa
Message not available
[PATCH smatch] fix a memory leak in compile-i386.c,
Jonathan Neuschäfer
Register Your Source Code Security Analyzer Tools with the DACS, Thomas J. Kwasniewski
[Index of Archives]
[Linux USB Devel]
[Video for Linux]
[Big List of Linux Books]
[Linux SCSI]
[Scanners]
[Yosemite Forum]
