repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
flow: handle known switch statements
2011-06-09
Dan Carp
e
n
ter
flow: ha
n
d
l
e
known sw
i
tch s
t
ate
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*n
e
w* return_neg
a
t
ive_var: returning pos
i
tive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpe
n
ter
*new* memset:
c
heck for memset(x,
y
, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
arpenter
Support _
_
builtin_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
overfl
o
w: for
m
at_strings: put some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
C
arpenter
buf_size: put som
e
guesses behind
-
-spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra
:
hand
l
e count d
o
wn for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan C
a
rpente
r
add
R
AW_ASS
I
GNMENT
_
HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Ca
r
p
e
nter
Merge g
i
t://git
.
ke
r
nel
.
org/pub/scm/devel/spars
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpen
t
er
s
igne
d
: don't
c
o
m
p
lai
n
abo
u
t
putting
0
xff
i
nto a sig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add
_
raw_spin_lo
c
k_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
introduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
rpenter
*n
e
w* chec
k
_
select: return ret < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
e
n
ter
*ne
w
* input_free_device:
d
on't
c
all t
h
is after
i
nput_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arpenter
*new
*
check_c
o
n
ta
i
ner_of: container_of() do
e
sn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
create check_list_loc
a
l
.
h
w
h
i
ch is for
untrack
e
d lo
c
al
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
locking: _ato
m
ic_dec
_
a
n
d_lock() is a s
p
i
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
n
t
e
r
fil
e
s: cleanu
p
op
e
n_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
n
t
er
add default
n
o
_ret
u
rn_func
s
if no pr
o
ject is s
p
ecified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
ent
e
r
update smatch_dat
a
/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Car
p
enter
*n
e
w
*
c
h
eck_access_ok
_
math
:
potential integer
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
a
n
Carpe
n
ter
hooks: introduce
A
SM_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
temporary hack
t
o solve crashing b
u
g in f
s
/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
locking
:
add __raw_spin
_
u
n
lo
c
k_ir
q
()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n
C
a
r
p
en
t
er
err_ptr_deref: fix assignmen
t
s inside cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpent
e
r
locking:
a
d
d ar
c
h_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Car
p
enter
check_type: warn about
kfree
(
) vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpe
n
ter
type: i
m
prove h
a
ndling of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Ca
r
p
e
nter
extra: m
o
ve some stu
f
f i
n
to sma
t
ch_d
i
n
fo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpenter
buf_size: oops
.
.
.
r
e
m
ov
e
debug out
p
ut!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
n
t
e
r
whitespa
c
e
_only: don't er
r
or out h
a
n
d
l
ing
.
h fil
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* ge
t
_user_overflow: chec
k
for
i
nt
e
ger overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
a
r
penter
s
m
atc
h
_db: don't comp
l
a
in if
the d
b
doesn'
t
e
x
ist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_siz
e
:
do
c
ross functi
o
n analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
Carpenter
*ne
w
* uncapped_
a
lloc:
p
rint
places w
h
ere the user de
c
ides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rpenter
*new* smatc
h
_db: u
s
e and sql
i
te da
t
a
b
ase fo
r
cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
C
arpe
n
ter
param_mapp
e
r: upd
a
te copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
D
an Carp
e
nter
add test-inspect
t
o
.
gitignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatc
h
_
scripts/
g
en_expects_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Car
p
enter
smatch_
d
ata/kernel
.
array
_
bounds:
a
rray bo
u
ndary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
expects_
e
rr_ptr: make
a list
of functions which a
c
cept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
unwind: a
d
d
m
ore unwind f
u
n
c
t
ion
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Carpenter
up
d
ate sma
t
ch_data/ for 2
.
6
.
36-rc2 (part 2
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
overflow: fixup cross function overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Car
p
en
t
er
remove
dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
arpenter
unwind: add mo
r
e
unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carp
e
nter
remove ch
e
c
k
_
l
e16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpent
e
r
Update smat
c
h_data to
2
.
6
.
36-rc2
[
patch 1 of
m
or
e
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n C
a
rpenter
kernel: container_of()
r
e
t
urns
a
non
-
NULL po
i
nt
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
nter
In
t
r
o
duce add
_
macro_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Car
p
e
nter
fix ou
t
of memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
Ne
w
funct
i
ons ret
u
rns_unsigned() and re
t
u
r
ns
_
pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
*new* chec
k
_i
n
fo
_
le
a
k
.
c: places that pass u
n
-
z
eroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan C
a
rpenter
*n
e
w*
check_return_
e
nomem: complain about returnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*new* platform_
d
evice_put() vs
pla
t
form_device_d
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Ca
r
pente
r
u
n
wind: literals hig
h
er t
h
an zero
a
r
e
not an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
ar
p
enter
implied: only pr
i
nt the nr_child
r
en messag
e
s if t
h
ere
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unw
i
nd: register un
w
i
n
d fun
c
tions that
unw
i
nd everythi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpenter
un
w
ind: update equivalent st
a
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Ca
r
penter
extra: clean up
u
n
used varia
b
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
C
arpe
n
ter
equiv
:
update vali
d
ation
test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpenter
e
x
t
r
a
: handle WARN_ON(fu
n
c(&set_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
buf_si
z
e: I broke init
i
alizer h
a
ndling by
mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
e
n
te
r
oop
s
.
fix compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_size: re
m
ove mems
e
t() and memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan C
a
r
penter
imp
l
ied_no
t
_eq
u
a
l
:
h
andle literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpent
e
r
resource: cra
s
h
ing bug on
i
ncorrect i
n
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_size: ignor
e
dynamically sized
a
rrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
rpente
r
bu
f
_size: add support for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpent
e
r
buf_size: add
s
upp
o
rt for
s
t
rndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Car
p
ent
e
r
buf
_
size:
u
s
e strcpy()
t
o det
e
rmine the size of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
bu
f
_size: use
strncpy
(
)
and frie
n
ds to set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size
:
whitespace
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
o
verflow:
r
emove
u
nused functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
C
a
r
penter
buf_size: use al
l
oc_state_num() instead of custom
v
e
rsion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
buf_size: remove unused d
e
f
i
nition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
over
f
low: make array size tracki
n
g into a librar
y
f
u
nction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
D
a
n
Carpe
n
ter
unwind: ad
d
pci_i
o
m
a
p(
)
and pci
_
iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carp
e
nt
e
r
*new
*
c
heck_
k
ma
l
loc_to_bug
o
n: d
o
n't ca
l
l
bug_on() fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan
C
ar
p
enter
*
n
e
w
* ch
e
ck_unw
i
nd:
c
heck t
h
at module_init functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
enter
core:
p
rocess inline statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Da
n
Carp
e
n
t
er
f
l
o
w:
h
andle
a
sm statemen
t
s c
o
r
r
ec
t
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
Merge git:
/
/g
i
t
.
ker
n
el
.
org/pub
/
s
c
m/devel/sparse/c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Ca
r
penter
add
u
bifs_assert() to
list of a
s
s
e
r
t macros tha
t
call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan
C
arpenter
check_d
m
a
: a
d
d a check
for f
o
o = kmalloc(s
i
zeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Da
n
Carpenter
signed: unsig
n
ed v
a
riables are
a
llowed to do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
a
n Carpenter
o
v
erflow: handle "if (strlen(f
o
o)
< 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
an Ca
r
p
ent
e
r
o
verf
l
ow: ad
d
support
for
st
r
len()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan C
a
r
penter
leaks:
replace check_m
e
mory
.
c with a rewr
i
te check
_
le
a
ks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Da
n
Carpen
t
er
get_variable_f
r
om_
e
xp
r
_c
o
mple
x
(): return
proper symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
an Car
p
enter
Makefile: smal
l
w
hitespace change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Da
n
C
ar
p
enter
memory: remove the w
a
rnings abou
t
fre
e
d
mem
o
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Da
n
Carpenter
check_free:
creat
e
a separate c
h
eck for mis
u
sing
f
reed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpe
n
ter
rela
t
e
d: rename di
n
fo
-
>equiv to dinfo
-
>relate
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
C
arpe
n
t
e
r
con
s
traints: shuffle
t
hings around a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpente
r
*new* scripts
/
generisize
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carp
e
nter
type: allow the parameter
to b
e
null
f
o
r type_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpente
r
redo the ignored
_
macros stuff properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
conditions: fix memory le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n Carpenter
eliminate some
n
ew "s
t
atement has no effect" false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next