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
precedence: warn about: if (!a & b) {...
2009-12-22
Dan Car
p
ent
e
r
precede
n
ce: warn ab
o
ut: if (!
a
& b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpente
r
er
r
_ptr: i
t
's perfectly ok to return
b
o
th null a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
C
arpen
t
er
Remove hack
fo
r
handling Steve Ro
s
tedt
'
s if condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
check_
u
nused_
r
et
.
c
: fix ch
e
ck for loca
l
variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
heck_unused_ret
.
c: ignore unreach
a
ble assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --debu
g
is passed
the m
e
s
s
ages f
r
om the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpen
t
e
r
Add a check
f
or unused assignme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
simp
l
e check for format string vulnerab
i
l
i
ty
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpe
n
ter
Handle
E
XPR_FORC
E
_CAST
i
n __
s
pl
i
t_e
x
p
r(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Ca
r
penter
[
p
atch 2/2] r
e
define SYM_HOOK entir
e
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2] Chang
e
d
efinition of SYM_
H
OOK
i
n smatch
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
&(foo->bar) is
not really a dereference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
change expression_stac
k
to
e
xpressi
o
n_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carp
e
nter
clean
up
.
DE
R
EF_
H
OOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arpent
e
r
check_sign
e
d:
m
ake
i
t depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
e
nter
check_
l
ocks: add raw_loc
a
l
_irq_enable(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
add che
c
k for pre
c
edence errors like if
(
x
&
y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
C
arpent
e
r
fix s
e
l
e
c
t
h
a
n
dlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
add __smatch_note("
h
ello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up the new check_locki
n
g
.
c r
e
p
lacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
move
c
heck_wine_locking
.
c
o
v
e
r check_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
d
elete the old
c
he
c
k_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pente
r
F
ix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an Carpenter
s
e
parate
o
u
t
the *_bh()
lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
pen
t
er
fixes for
u
nified wine & kern
e
l
locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
g
e
t_type() return pointer fo
r
&foo type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print message on fal
s
e
c
ompares b
e
caus
e
of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpente
r
suppress gcc warning
.
w
h
itespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Ca
r
pente
r
Merge
b
ranch 'm
a
ster
'
o
f
/home/dcar
p
enter/pro
g
s/spar
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
clean
u
p kfree
_
skb() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carp
e
nter
add __sm
a
tch_cur_slist
(
)
debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
pent
e
r
i
d
i
s supposed t
o
be
u
nsigne
d
sho
r
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an
C
arpe
n
ter
fix c
r
ashing bu
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpen
t
er
Start
c
aring about t
h
e
typ
e
s
a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an
Ca
r
penter
cleanup:
u
ses ARRAY_SIZE()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpent
e
r
Print n
a
me
i
n
stead of ID in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Ca
r
penter
A
dd --project=kernel to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
Start m
e
rging th
e
kerne
l
locking
a
nd
w
ine locking
checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if (
*
ptr
=
= 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Ca
r
penter
d
ecla
r
e char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
a
rpen
t
er
More
range fixes
.
(De
l
ete and m
e
rge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop t
h
e pre_condi
t
ion_s
t
ac
k
at the
c
or
r
ect poin
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Da
n
C
a
rpenter
fix issue with
r
an
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
C
arpent
e
r
Fix get
_
impli
e
d
_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(De
r
eferencing unde
f
ined false po
s
i
tive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
p
e
nter
Up
d
ate comm
e
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpenter
w
i
ne:
wine
_
checker
.
sh for checking indiv
i
du
a
l files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
w
i
n
e: add m
o
re f
u
nctions t
h
at don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
rev
e
rt part
o
f f4a45929
2
e3
3
9
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nte
r
smatch_extra: im
p
rove and
fix assignmen
t
handl
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scoped_state() make the para
m
ete
r
o
rder
m
atch everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
C
arpenter
checks: remove some
s
h
o
w_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an
Carpente
r
s
m
atch_helper
.
c re
m
ove many cal
l
s to show_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
te
r
small
c
lea
n
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix b
u
g with function implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Ca
r
pe
n
ter
exi
t
and
ExitProce
s
s
do
n
't re
t
u
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
s
m
atch
_
extr
a
.
c: remo
v
e some sh
o
w_
s
p
e
cial()
calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
ch
e
ck_deref
_
c
h
eck: get rid of some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n C
a
rp
e
nter
s
p
elling: memery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
te
r
di
s
gusting hack to stop false positi
v
e b
u
ffer o
v
er
f
l
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix
+
= and -=
h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Ca
r
penter
wine: f
i
x som
e
l
o
ck n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
wi
n
e: R
p
cRa
i
seExcep
t
ion never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
enter
a
d
d option --full-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Da
n
Carpente
r
wine
:
check f
o
r l
o
cki
n
g bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Ca
r
p
e
nter
F
i
x some revers
e
d if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can handle n
u
ll po
i
nte
r
s
:
if (foo
)
free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wi
n
e:
c
h
e
c
k
for WtoA cross
c
al
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
Ad
d
INVALI
D
_H
A
N
DLE_VALUE
ch
e
ck for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
r
e
c
o
mpile all the che
c
k
s if sm
a
tch_extra
.
h cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[
p
atch 9/9] las
t
patc
h
to re
m
o
ve UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpente
r
[patch 8/many] deal with va
r
ia
b
le_non_
z
ero() (UN
D
EFINED
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 7/man
y
]
no UN
D
E
F
INED fro
m
get
_
val
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpent
e
r
[
p
atc
h
6/many] remove UN
D
EFINED from
l
ast_s
t
mt
_
val
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch
5/m
a
n
y]
g
et r
i
d of a few more UNDEFINEs smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[patch
4/many] get
rid of UNDEFINED
i
n smatch_rang
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3/m
a
ny] rem
o
ve UNDEFINED from get_implied_
(
m
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpenter
[patch 2/
m
any] get_i
m
pli
e
d
_
val
u
e()
s
hou
l
d not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 1/many] get
r
id
o
f UNDEF
I
NED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
Ad
d
validation
te
s
t for che
c
k
_
held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
Make
some k
e
rn
e
l
sp
e
cific s
t
u
ff depend on -p=ke
r
n
el
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
an Carpenter
Add a new (soo
n
to b
e
mandatory) --project= op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpent
e
r
Make smat
c
h instal
l
able
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpe
n
ter
try handle d
o
{} whi
l
e (i--
>
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try han
d
l
e ++ and --
b
e
t
te
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Car
p
enter
Impr
o
ve handlin
g
: do {}
w
hile (--
c
ontinue >= 0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
Small cle
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
kfree
_
skb() warnings are not
spam
m
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Han
d
le der
e
ference
s
l
ike *f
o
o
not
just foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Ca
r
pent
e
r
Get
r
i
d of t
h
e bit
w
ise
or
check
.
It didn't fin
d
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add __raw
_
spin_
l
ock
/
unlo
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Car
p
ent
e
r
Ma
k
e ra
n
g
e
d fun
c
tions pass the assign
m
ent expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpen
t
er
Make
v
ariable initia
l
i
z
ation into assignment s
t
at
e
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
D
an Carpenter
D
elete che
c
k
_
initial
i
zer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Ca
r
penter
Mo
d
ify the return h
o
ok to pass
an expression instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
i
n
t
roduce is_error_
r
e
t
u
rn
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an Carpenter
make function d
e
c
laration static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next