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
add __smatch_note("hello world")
2009-12-11
Dan Car
p
enter
ad
d
__sma
t
c
h_
n
ote("hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up
the new
c
h
e
c
k
_
l
ocking
.
c r
e
placement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Ca
r
pent
e
r
move chec
k
_w
i
ne_locking
.
c ov
e
r check_
l
ocki
n
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
dele
t
e
t
he old check_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fi
x
crashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
arpenter
separate out the *_
b
h()
lock handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes for unified wine & kernel locki
n
g
s
cript
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpe
n
te
r
get_type()
return po
i
nter for &foo type exp
r
essions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
print
m
essage on fal
s
e compar
e
s bec
a
use of s
i
gned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
enter
suppress
g
cc wa
r
ning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Car
p
e
nter
Merge branch 'master' of /home/d
c
ar
p
e
n
t
er/prog
s
/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpen
t
er
clean u
p
kfree_sk
b
() ch
e
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpent
e
r
add __smatc
h
_cur_s
l
ist(
)
debug f
u
nctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpen
t
er
id is supposed to be
unsign
e
d short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
r
penter
fix c
r
a
sh
i
ng bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
Sta
r
t cari
n
g a
b
ou
t
the t
y
pes a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
a
rpenter
c
l
eanup: uses ARRAY_SIZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nter
P
r
i
nt name instead of ID
in
de
b
u
g
output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Add --pr
o
ject=ke
r
n
e
l to
kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Ca
r
penter
Sta
r
t m
e
rging
th
e
kern
e
l lockin
g
an
d
w
i
n
e
lockin
g
ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpen
t
er
handle if
(
*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n C
a
r
penter
d
eclare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpent
e
r
Mo
r
e
range fixes
.
(D
e
lete
and
m
e
rge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop
the pre_condition_sta
c
k
at
the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix i
s
sue with
ran
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpent
e
r
Fix get_implied_
v
alue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Fix negate bug
.
(Dereferencing
u
ndefined false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Update
com
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpent
e
r
wi
n
e: wine_checker
.
sh for c
h
ecki
n
g individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
an Carpente
r
w
i
n
e: ad
d
more fu
n
ctions that don't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
rever
t
part of f4a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an C
a
r
p
ent
e
r
smatch_ex
t
ra:
i
mpr
o
v
e
and fix assignment
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpent
e
r
s
coped
_
state
(
) make
the
parameter or
d
er match every
t
hing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
checks: remov
e
some show_s
p
ecial() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
smatc
h
_helper
.
c
r
e
m
o
v
e many call
s
to sh
o
w_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
l
l
cl
e
an ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix bug w
i
th f
u
n
c
tion implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
e
xi
t
and
ExitProcess do
n
'
t return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
s
match_ex
t
ra
.
c: remove some s
h
ow_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carp
e
nter
ch
e
ck_deref_check: get rid of
s
ome false positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling: memery
=> m
e
mory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carp
e
nter
di
s
gus
t
ing hack to stop false posi
t
iv
e
b
u
f
f
er
over
f
low
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n C
a
rpenter
F
i
x += and -=
handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
w
ine
:
fix some lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
rpenter
wine: RpcRaiseExc
e
pti
o
n never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
ad
d
o
p
tion --full
-
path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: check fo
r
locking
b
u
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carpenter
F
i
x some reversed if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
free can h
a
ndle
nul
l
point
e
rs
:
if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
wine: check for W
t
oA cross calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
Add
I
NVAL
I
D_HANDLE
_
VALUE chec
k
for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
e
n
ter
recompil
e
all the c
h
ecks if
smatch
_
extra
.
h cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patc
h
9/9] last p
a
tch to remove
UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
[
p
a
t
ch 8
/
many] deal
w
ith
v
ariable_non_zero()
(
UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpen
t
er
[pat
c
h 7/many]
n
o UNDEFINED from get_
v
alue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 6/many] remove
UNDEFINE
D
from las
t
_stmt
_
v
a
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 5/many
]
get
r
i
d
of a few mor
e
UNDEFINEs sma
t
ch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
[pat
c
h 4/many]
ge
t
ri
d
o
f
UNDEFINED in smatch_r
a
nges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3
/
many] remove
UNDEFINED
from get_implie
d
_(mi
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
nter
[patch 2
/
many] get_implied_value() should
not r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arp
e
nte
r
[patch 1/many]
get rid
o
f
UND
E
FINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
A
d
d val
i
dation test for
c
heck_he
l
d_
d
ev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
Make some ke
r
nel specific stuff depend on -p=k
e
rnel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
an Carpenter
Add a new (soon to be man
d
atory) --project=
o
ptio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n Carpent
e
r
Make smatch i
n
stallable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpenter
t
r
y
han
d
le do {} while (i--
>
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try ha
n
dle +
+
and --
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carp
e
n
ter
I
m
pro
v
e handling:
d
o {} whil
e
(--c
o
n
t
in
u
e >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
Small clean
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
kfree_skb() wa
r
nings
are n
o
t spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Handle dereferences li
k
e *fo
o
n
o
t
j
ust fo
o
->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Get rid of
t
he bitwise
o
r
check
.
It didn
'
t f
i
nd bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Da
n
Carpen
t
er
add
_
_raw_spi
n
_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Da
n
Carpe
n
ter
M
a
ke ranged fun
c
t
i
ons pass the assign
m
ent expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
an Carpente
r
M
ake var
i
able i
n
itial
i
zation into assignm
e
nt statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan
C
ar
p
en
t
er
Del
e
t
e
check_initializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carp
e
nter
Modify the retur
n
hook
to pa
s
s an expres
s
ion instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do
clear the range
in
f
o
s
o early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carp
e
nter
introdu
c
e is_
e
r
r
or_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Ca
r
penter
ma
k
e fu
n
cti
o
n
decla
r
at
i
on static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
D
an C
a
rpenter
Do not
accidentally delete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Da
n
Carpenter
New missing de
v
_p
u
t() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Hand
l
e
i
f
((dev = foo())
=
= NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
penter
silly false p
o
sitive:
r
eturn foo;
<
- f
o
o possibl
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpent
e
r
Upda
t
e smatch_da
t
a to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
A
d
d
s
ome co
m
m
ents and copyrigh
t
no
t
ices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
small clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n Carpenter
Fix s
e
g
f
a
ult
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
A
llow
p
e
ople to
u
se k
c
hecker file
.
o as well as
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
penter
Initialize values
properly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn the
two pass
syst
e
m of
f
by defa
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
O
p
timiz
a
tion: prepend() ->
a
ppend
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan C
a
rpe
n
ter
P
rint a
n
erro
r
f
o
r this: if
(
a |
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan C
a
r
pent
e
r
Dual pass
system [pat
c
h #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Car
p
e
n
te
r
D
u
a
l
pass system [patch
#
1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
p
e
nter
c
lean up:
mo
v
e
D
IMPLIED(
)
t
o
smatch_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpenter
c
ode
c
hurn: rename SM
_
D
EBUG() to sm_debug(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
an Carpenter
code ch
u
rn: rename
s
m
a
tch_msg() to
sm_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
move my_id pa
r
ameter [par
t
2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpent
e
r
Move my_id parameter
.
[part 1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next