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
sm_info: fix formatting
2009-11-25
D
an Carpenter
[patch 7/m
a
ny] no UNDEFINED from get_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[
p
at
c
h 6/many] remove
UNDEFINE
D
from last_stmt_val
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/many] get rid of a few more UND
E
F
INEs s
m
atch_ex
t
r
a
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[p
a
tc
h
4/many] get
rid
o
f UN
D
EFINE
D
in
s
match_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
C
a
rpenter
[pat
c
h 3/many] remove UND
E
F
I
NED from
get_impli
e
d_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
t
e
r
[patch 2/m
a
ny] get_
i
mplied_val
u
e() should no
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patc
h
1/many] get rid of UNDE
F
INED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Ad
d
v
a
l
idation test for che
c
k_held_
d
ev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
M
a
ke som
e
kernel
sp
e
c
ific stuf
f
d
epend on
-
p
=
k
er
n
el
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon to
b
e mandator
y
) --
p
roject= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Make smatch ins
t
all
a
bl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
C
a
rpent
e
r
try handle do {} while (i-- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Ca
r
pente
r
try handle ++ and -- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carp
e
nter
Improve handlin
g
:
d
o {} wh
i
le (--continue
>=
0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpen
t
er
kfree_sk
b
() warnings are not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Car
p
enter
H
andle d
e
re
f
erences li
k
e *foo not just
f
oo->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
n
ter
Ge
t
rid
of the bitwise or check
.
It di
d
n't find bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carp
e
nter
add __raw_spin_lock/
u
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Make rang
e
d functions pa
s
s th
e
assig
n
ment
e
x
pression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpe
n
te
r
Make variab
l
e
initialization into assignment statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan
Carpenter
Del
e
t
e check_in
i
ti
a
lizer_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpen
t
er
M
odif
y
the return hook to pass an expression
i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do cle
a
r
the range info s
o
early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
i
n
troduce is
_
er
r
or_return()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpe
n
ter
m
ake
f
u
nction d
e
clarat
i
on static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpen
t
er
D
o
not a
c
cidenta
l
ly de
l
ete
.
h fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan
C
arpenter
N
ew missing dev_
p
ut(
)
che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Hand
l
e i
f
(
(
dev = fo
o
()) == N
U
LL)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
silly false positive: return foo; <- foo possib
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
Update
s
match_data to 2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carpenter
Ad
d
s
ome comments and copyright notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
small clean u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix s
e
gf
a
ult
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Da
n
Carpenter
Allow people to
u
s
e kchec
k
er file
.
o as
well a
s
.
c
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpent
e
r
Initialize values
p
ro
p
e
r
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n Carpenter
T
u
rn the
two pass system
o
f
f b
y
default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimizati
o
n
:
prepend()
-
>
append()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpen
t
er
P
rint
an erro
r
for this:
if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n Carpen
t
e
r
Dual pass sy
s
t
e
m [
p
a
t
ch
#
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
an Carpen
t
er
Dual pa
s
s system [patch #
1
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n C
a
r
p
e
nter
clean
u
p: mo
v
e DIMPLIED
(
) to
s
match_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
c
ode c
h
ur
n
:
rename SM_DEBUG() to s
m
_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rpent
e
r
c
ode ch
u
rn: r
e
name smatch_msg()
to sm_
m
s
g()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpen
t
er
move
m
y_id parameter [part 2 of 2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpenter
Mo
v
e my
_
i
d
parameter
.
[part 1
o
f
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carp
e
nter
Improve
check_
e
rr_
p
tr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carp
e
nter
functi
o
n
was
s
upposed to be static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rpen
t
er
disable
s
m
atch_cont
a
i
ner
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Random
u
g
ly changes to chec
k
_overf
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nter
Stop
pri
n
ting
s
o m
u
ch info all the
t
im
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
New op
t
ion: --sp
a
m
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rpenter
Remove optimization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Add check_
a
ssi
g
n
e
d_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Car
p
enter
fix
c
alculating
s
i
z
eof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
return UN
D
EFIN
E
D
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk about
s
matc
h
_scripts/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpent
e
r
I
mprove ge
t
_implied_va
l
ue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
co
r
rect format
.
warni
n
g
:
=> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
Ca
r
pent
e
r
Add som
e
strip_
e
xpr() cal
l
s to
t
h
e fun
c
t
i
on hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpen
t
er
Improve b
u
ffer o
v
erflow
che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpenter
introd
u
c
e
smatch_
c
o
n
tai
n
ers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpen
t
er
introduce set_state
_
expr
(
)
a
nd friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
a
dd
check_deref_
c
h
e
c
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
D
an Carpente
r
added check_initia
l
izer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpent
e
r
new hook: add_mod
i
fica
t
i
o
n_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpen
t
er
move some d
e
cla
r
ations o
u
t
of smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan
Carpenter
Update smatch_data for 2
.
6
.
31-pre3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan C
a
rpe
n
t
e
r
Impr
o
v
e
th
e
d
isplayed variab
l
e nam
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpe
n
ter
fix buffer overflow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
D
an Carpenter
Add check_balanced
.
c and smat
c
h_data
/
k
ernel
.
balanc
e
d_f
u
ncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
PTR_ERR(ER
R
_PTR(-4
2
)
)
is non ze
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Carpenter
ch
e
ck_memory
.
c: use the
a
dd_scope_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n Car
p
enter
Add scoped
_
state() and add_scope_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
an C
a
rpenter
sm
a
tch
_
imp
l
ied:
o
nly print the
n
r_
c
hil
d
ren mess
a
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
sma
t
ch_extr
a
: f
i
x
(foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpen
t
e
r
Fix overla
p
ping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Da
n
Carpent
e
r
c
he
c
k_mem
o
ry
.
c: fix reversed if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fi
x
anothe
r
bug caused
b
y funny
t
mp_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Mer
g
e
bran
c
h 'ne
w
_i
m
pli
c
at
i
ons' into de
v
e
l
2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpente
r
Fix cras
h
ing bug cause
d
by
t
h
e switch changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Carpenter
debugging: print the line nu
m
b
e
rs in merge_
s
m_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make
s
wit
c
h
s
tate
m
ents wor
k
a
g
ai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carp
e
n
t
er
c
lean up
.
use true/false_compa
r
ison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Car
p
en
t
er
code c
h
urn:
rename
->pre_left =
>
-
>
l
eft, ->p
r
e_
r
ight
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Pu
t
a cap on impli
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Da
n
Carpe
n
ter
Impr
o
ve debugging
.
Don't overwrite sm->l
i
ne
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
M
i
c
ro optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
e
n
ter
clean up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
c
h
eck for
out_of_memory(
)
less of
t
en and only after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
C
a
rpenter
Better debugging for check
_
memo
r
y
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpent
e
r
Ad
d
sw
i
t
ch
t
esting test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Doh
.
Too many implied sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Remove cl
o
ne_slist_and_states() a
n
d me
r
ge_sli
s
t_cl
o
ne
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
arpenter
Re
m
ov
e
s
w
itch
cloning c
o
mpl
e
xit
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two is a
l
w
a
ys
n
o
n-nu
l
l these d
a
ys
.
don't
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remov
e
unused merge_pools() f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpe
n
t
e
r
don't
p
rint "list" var
i
able
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpe
n
ter
Make my
_
p
ools =
>
m
y
_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
intr
o
duce clone
_
po
o
l_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next