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
separate out the *_bh() lock handling.
2009-12-10
Dan Carpenter
separ
a
te out th
e
*_bh() lock ha
n
dling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
f
ixes fo
r
uni
f
ied wine &
k
ernel locki
n
g
script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Ca
r
penter
get_
t
ype
(
) retur
n
p
o
inter for &foo
t
y
p
e expres
s
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
p
r
int message on f
a
lse compar
e
s because
o
f
s
i
gned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
supp
r
ess gcc
w
arning
.
whites
p
ace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
Merge branch 'master' of /home/d
c
arpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
clean up kfree_skb() c
h
eck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpe
n
t
e
r
a
d
d
__smatch_cur_sl
i
st() debug
f
un
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an
C
arpen
t
er
i
d
i
s
supp
o
sed to be
u
nsign
e
d
sh
o
rt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpen
t
er
fix crashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
St
a
rt caring about the types a lit
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
Carpe
n
ter
cl
e
anup:
uses
ARRAY_SIZE() mac
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nter
Print
n
a
me ins
t
ead of
I
D in debug
o
u
t
p
u
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --project=kernel to kche
c
ker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
Start merging the ker
n
el lo
c
king and wine lock
i
ng check
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Ca
r
pente
r
handle
i
f (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare char* as co
n
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
More range
fixes
.
(Delete and merge
duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
Pop the pre_co
n
di
t
ion_stack a
t
the
corre
c
t
p
o
int
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Car
p
enter
fix issue
with r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpen
t
er
Fix
g
et_im
p
lied_v
a
lu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpent
e
r
Fi
x
negate bug
.
(Dereferencing un
d
efined fa
l
se positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Updat
e
comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
pe
n
t
e
r
wine: wine_checker
.
s
h
for checking
i
ndi
v
idual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wi
n
e
:
add more functions t
h
a
t
don't r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carp
e
n
ter
revert
part of
f4a4
5
9
292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
sm
a
tch_
e
xtra: i
m
prove and fix assignment handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
scoped_sta
t
e() make the pa
r
ameter order match everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
che
c
ks: remove some show_special() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
smatch_
h
elper
.
c remove m
a
n
y
ca
l
ls to show_spec
i
a
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an C
a
rpenter
small clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
f
i
x
bug with f
u
nction implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit a
n
d ExitProcess don
'
t return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
C
arp
e
n
ter
smatch_e
x
tra
.
c:
r
e
m
o
ve
som
e
show_spe
c
ial() ca
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpente
r
chec
k
_
deref_c
h
eck: get rid of some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpe
n
ter
spelling
:
memery =>
memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
pe
n
ter
disgusting ha
c
k
t
o s
t
op
false po
s
it
i
ve buffer overflo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
Fi
x
+
=
a
n
d
-= h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
arpente
r
wi
n
e: fix some loc
k
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpente
r
wine:
RpcRaiseException
n
e
ver returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
e
n
ter
add option --
f
u
ll-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: chec
k
for l
o
c
k
i
n
g
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
F
ix some
reve
r
sed if
c
on
d
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpent
e
r
f
ree can handle nul
l
poi
n
ters: if (foo) free(
f
o
o
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
e
n
ter
wine: check f
o
r WtoA c
r
oss calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
Add INVALI
D
_HANDLE
_
VALUE check
f
or w
i
ne
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
re
c
ompile all
t
he checks
i
f smatch_extra
.
h
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[patch 9/9] last patch to
r
emove U
N
DEFINE
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Car
p
enter
[
patch
8/many] deal with variable_n
o
n
_
ze
r
o() (UNDEFI
N
ED
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Ca
r
pente
r
[p
a
tch 7/many
]
n
o
UNDEFINED from get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nte
r
[patch 6
/
many]
remove UND
E
FINED from la
s
t
_
stm
t
_val
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/many] get rid
o
f
a few more
UNDEFINEs smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 4/many] get r
i
d
o
f UNDEFIN
E
D in
s
mat
c
h_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
patch
3/many]
remo
v
e UNDEF
I
NE
D
from get_implied
_
(
min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 2/many] get_implied_value() should
n
ot
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch
1
/many] ge
t
rid of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
Add valid
a
ti
o
n tes
t
for ch
e
ck_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
Ma
k
e some kernel specific stuff depend o
n
-
p
=kern
e
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
Carpenter
Add a new (soon to be mandat
o
ry) --project= optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
C
arpenter
Make smatch inst
a
l
l
abl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
tr
y
handle do
{} w
h
i
le (i--
> 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
try ha
n
dle ++ a
n
d -
-
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpenter
Impro
v
e handli
n
g:
d
o {} while (--continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
S
mall c
l
eanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpe
n
ter
k
f
ree_skb() warnings are not
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Handle dereferenc
e
s like *f
o
o not just foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
nter
Get rid of the bitwis
e
o
r
c
heck
.
I
t
didn't
f
ind bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan
C
a
r
pent
e
r
add __r
a
w_s
p
in_l
o
ck
/
unlock
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Make ranged funct
i
o
n
s pass
t
he a
s
s
i
g
n
ment expressi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpent
e
r
Make va
r
iable
i
ni
t
ial
i
zation in
t
o assi
g
nment sta
t
eme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete che
c
k_i
n
itia
l
izer_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan
C
ar
p
e
n
te
r
M
odify
the return ho
o
k to pass an ex
p
r
e
ssion instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
ar
p
enter
Do clear t
h
e range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an
Carpen
t
er
intro
d
uce is_error_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
arpenter
m
ake fu
n
ction declaration static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n
C
a
rpenter
Do not accid
e
ntally
delete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Da
n
Car
p
ente
r
New
missi
n
g dev_p
u
t
(
) check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Handle if ((dev = fo
o
()) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
silly false p
o
sitive: re
t
urn
foo; <
-
f
oo
possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpe
n
ter
Update smatch_da
t
a to
2
.
6
.
32
-
rc
6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n Carpenter
Add some
c
om
m
ents and co
p
yrigh
t
notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpen
t
e
r
small clean
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
arpenter
Fix segfa
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
enter
Allow
p
eople to use kchecker
file
.
o
a
s
well as
.
c fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Da
n
Carpenter
Initialize values pro
p
erly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
Turn t
h
e
t
wo pas
s
sys
t
em of
f
by defa
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan C
a
r
pe
n
ter
Optimization: prepend()
-> appen
d
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpent
e
r
Print an e
r
r
or for this: i
f
(a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual pass s
y
stem [patch #2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual
p
ass system [patc
h
#
1
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
c
lean up: move DIMPLIED() to sma
t
ch_i
m
pl
i
ed
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpent
e
r
code c
h
urn: renam
e
SM_DEB
U
G() to sm_debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
c
o
d
e
c
h
u
rn: renam
e
s
mat
c
h
_
m
s
g() to sm_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
p
e
nter
move my_id par
a
met
e
r [p
a
rt
2 o
f
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rpenter
Move my_id parameter
.
[part 1 of
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
Improve c
h
eck_e
r
r_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Carpenter
funct
i
on wa
s
suppo
s
ed to be s
t
a
tic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpenter
disable sma
t
c
h_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
pen
t
e
r
Random
u
g
ly
chan
g
es t
o
check_
o
verflo
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpen
t
er
Stop
pr
i
nti
n
g so mu
c
h
i
nfo all
t
h
e ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next