Semantic Matching Tool
[Prev Page][Next Page]
- Re: Better handling of always true conditions., (continued)
- [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]