Revision 4b3be6afa4ab8b3fdce39df68bad71f8b85164de authored by Julia Lawall on 17 October 2009, 06:33:22 UTC, committed by Takashi Iwai on 30 October 2009, 11:01:27 UTC
In pcm.c, if the NULL test on pcm is needed, then the dereference should be after the NULL test. In dummy.c and ali5451.c, the context of the calls to snd_card_dummy_new_mixer and snd_ali_free_voice show that dummy and pvoice, respectively cannot be NULL. A simplified version of the semantic match that detects this problem is as follows (http://coccinelle.lip6.fr/): // <smpl> @match exists@ expression x, E; identifier fld; @@ * x->fld ... when != \(x = E\|&x\) * x == NULL // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Takashi Iwai <tiwai@suse.de>
1 parent b71207e
| File | Mode | Size |
|---|---|---|
| gcov | ||
| irq | ||
| power | ||
| time | ||
| trace | ||
| .gitignore | -rw-r--r-- | 63 bytes |
| Kconfig.freezer | -rw-r--r-- | 52 bytes |
| Kconfig.hz | -rw-r--r-- | 1.7 KB |
| Kconfig.preempt | -rw-r--r-- | 2.0 KB |
| Makefile | -rw-r--r-- | 4.7 KB |
| acct.c | -rw-r--r-- | 17.5 KB |
| async.c | -rw-r--r-- | 10.9 KB |
| audit.c | -rw-r--r-- | 39.4 KB |
| audit.h | -rw-r--r-- | 5.8 KB |
| audit_tree.c | -rw-r--r-- | 21.7 KB |
| audit_watch.c | -rw-r--r-- | 14.4 KB |
| auditfilter.c | -rw-r--r-- | 33.3 KB |
| auditsc.c | -rw-r--r-- | 66.1 KB |
| backtracetest.c | -rw-r--r-- | 2.1 KB |
| bounds.c | -rw-r--r-- | 526 bytes |
| capability.c | -rw-r--r-- | 8.0 KB |
| cgroup.c | -rw-r--r-- | 108.5 KB |
| cgroup_freezer.c | -rw-r--r-- | 9.2 KB |
| compat.c | -rw-r--r-- | 28.2 KB |
| configs.c | -rw-r--r-- | 2.8 KB |
| cpu.c | -rw-r--r-- | 13.9 KB |
| cpuset.c | -rw-r--r-- | 71.9 KB |
| cred-internals.h | -rw-r--r-- | 559 bytes |
| cred.c | -rw-r--r-- | 22.3 KB |
| delayacct.c | -rw-r--r-- | 4.9 KB |
| dma.c | -rw-r--r-- | 3.6 KB |
| exec_domain.c | -rw-r--r-- | 4.5 KB |
| exit.c | -rw-r--r-- | 43.4 KB |
| extable.c | -rw-r--r-- | 3.2 KB |
| fork.c | -rw-r--r-- | 42.2 KB |
| freezer.c | -rw-r--r-- | 3.8 KB |
| futex.c | -rw-r--r-- | 67.6 KB |
| futex_compat.c | -rw-r--r-- | 4.5 KB |
| groups.c | -rw-r--r-- | 6.1 KB |
| hrtimer.c | -rw-r--r-- | 44.6 KB |
| hung_task.c | -rw-r--r-- | 5.1 KB |
| itimer.c | -rw-r--r-- | 7.2 KB |
| kallsyms.c | -rw-r--r-- | 12.4 KB |
| kexec.c | -rw-r--r-- | 37.5 KB |
| kfifo.c | -rw-r--r-- | 5.1 KB |
| kgdb.c | -rw-r--r-- | 38.5 KB |
| kmod.c | -rw-r--r-- | 14.5 KB |
| kprobes.c | -rw-r--r-- | 37.5 KB |
| ksysfs.c | -rw-r--r-- | 4.5 KB |
| kthread.c | -rw-r--r-- | 6.6 KB |
| latencytop.c | -rw-r--r-- | 7.7 KB |
| lockdep.c | -rw-r--r-- | 90.3 KB |
| lockdep_internals.h | -rw-r--r-- | 3.9 KB |
| lockdep_proc.c | -rw-r--r-- | 17.2 KB |
| lockdep_states.h | -rw-r--r-- | 233 bytes |
| module.c | -rw-r--r-- | 80.2 KB |
| mutex-debug.c | -rw-r--r-- | 2.9 KB |
| mutex-debug.h | -rw-r--r-- | 1.7 KB |
| mutex.c | -rw-r--r-- | 13.3 KB |
| mutex.h | -rw-r--r-- | 1.3 KB |
| notifier.c | -rw-r--r-- | 16.9 KB |
| ns_cgroup.c | -rw-r--r-- | 2.5 KB |
| nsproxy.c | -rw-r--r-- | 5.0 KB |
| panic.c | -rw-r--r-- | 9.1 KB |
| params.c | -rw-r--r-- | 18.4 KB |
| perf_event.c | -rw-r--r-- | 113.7 KB |
| pid.c | -rw-r--r-- | 12.3 KB |
| pid_namespace.c | -rw-r--r-- | 4.4 KB |
| pm_qos_params.c | -rw-r--r-- | 11.6 KB |
| posix-cpu-timers.c | -rw-r--r-- | 45.2 KB |
| posix-timers.c | -rw-r--r-- | 29.2 KB |
| printk.c | -rw-r--r-- | 34.7 KB |
| profile.c | -rw-r--r-- | 16.5 KB |
| ptrace.c | -rw-r--r-- | 17.6 KB |
| rcupdate.c | -rw-r--r-- | 9.3 KB |
| rcutorture.c | -rw-r--r-- | 34.5 KB |
| rcutree.c | -rw-r--r-- | 45.5 KB |
| rcutree.h | -rw-r--r-- | 9.8 KB |
| rcutree_plugin.h | -rw-r--r-- | 15.5 KB |
| rcutree_trace.c | -rw-r--r-- | 9.1 KB |
| relay.c | -rw-r--r-- | 32.6 KB |
| res_counter.c | -rw-r--r-- | 3.8 KB |
| resource.c | -rw-r--r-- | 21.1 KB |
| rtmutex-debug.c | -rw-r--r-- | 5.7 KB |
| rtmutex-debug.h | -rw-r--r-- | 1.4 KB |
| rtmutex-tester.c | -rw-r--r-- | 9.1 KB |
| rtmutex.c | -rw-r--r-- | 29.2 KB |
| rtmutex.h | -rw-r--r-- | 1.1 KB |
| rtmutex_common.h | -rw-r--r-- | 3.7 KB |
| rwsem.c | -rw-r--r-- | 2.6 KB |
| sched.c | -rw-r--r-- | 266.0 KB |
| sched_clock.c | -rw-r--r-- | 5.5 KB |
| sched_cpupri.c | -rw-r--r-- | 5.5 KB |
| sched_cpupri.h | -rw-r--r-- | 941 bytes |
| sched_debug.c | -rw-r--r-- | 11.6 KB |
| sched_fair.c | -rw-r--r-- | 47.5 KB |
| sched_features.h | -rw-r--r-- | 3.0 KB |
| sched_idletask.c | -rw-r--r-- | 3.1 KB |
| sched_rt.c | -rw-r--r-- | 40.7 KB |
| sched_stats.h | -rw-r--r-- | 10.6 KB |
| seccomp.c | -rw-r--r-- | 1.6 KB |
| semaphore.c | -rw-r--r-- | 7.2 KB |
| signal.c | -rw-r--r-- | 67.2 KB |
| slow-work.c | -rw-r--r-- | 18.2 KB |
| smp.c | -rw-r--r-- | 12.2 KB |
| softirq.c | -rw-r--r-- | 21.4 KB |
| softlockup.c | -rw-r--r-- | 6.6 KB |
| spinlock.c | -rw-r--r-- | 8.6 KB |
| srcu.c | -rw-r--r-- | 8.4 KB |
| stacktrace.c | -rw-r--r-- | 896 bytes |
| stop_machine.c | -rw-r--r-- | 4.5 KB |
| sys.c | -rw-r--r-- | 36.9 KB |
| sys_ni.c | -rw-r--r-- | 5.1 KB |
| sysctl.c | -rw-r--r-- | 75.8 KB |
| sysctl_check.c | -rw-r--r-- | 50.4 KB |
| taskstats.c | -rw-r--r-- | 13.7 KB |
| test_kprobes.c | -rw-r--r-- | 8.4 KB |
| time.c | -rw-r--r-- | 18.0 KB |
| timeconst.pl | -rw-r--r-- | 7.2 KB |
| timer.c | -rw-r--r-- | 44.5 KB |
| tracepoint.c | -rw-r--r-- | 15.3 KB |
| tsacct.c | -rw-r--r-- | 4.2 KB |
| uid16.c | -rw-r--r-- | 5.3 KB |
| up.c | -rw-r--r-- | 413 bytes |
| user.c | -rw-r--r-- | 12.2 KB |
| user_namespace.c | -rw-r--r-- | 2.2 KB |
| utsname.c | -rw-r--r-- | 1.6 KB |
| utsname_sysctl.c | -rw-r--r-- | 3.3 KB |
| wait.c | -rw-r--r-- | 8.2 KB |
| workqueue.c | -rw-r--r-- | 25.2 KB |
Computing file changes ...
