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
C
ar
p
enter
add __smatch_
n
ote("hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
pat
c
h
u
p
the new check_
l
o
c
k
ing
.
c rep
l
acement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
mov
e
check_wine_locking
.
c over check_locki
n
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
delete the old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix cras
h
ing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an Car
p
e
nter
sep
a
rate o
u
t
t
he
*
_bh() lock
h
andli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n
Carpenter
f
i
xes
for unified wine
& kerne
l
locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpe
n
te
r
get_type() return point
e
r
for &f
o
o type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpenter
p
r
i
n
t
m
e
ssage
o
n fals
e
co
m
p
a
res
because
of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpen
t
er
suppr
e
ss gcc
w
arning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
M
e
rge
branc
h
'master' of /hom
e
/dc
a
r
pent
e
r/pr
o
gs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
c
lean up kfree_s
k
b() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
add __smatch_
c
ur
_
sl
i
st() debug functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
id
i
s supposed
t
o be u
n
s
igned shor
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
Star
t
c
ari
n
g about the types a littl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cleanup: uses ARRAY_SIZE()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
ter
Print name ins
t
ead
o
f ID
in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add
-
-proj
e
ct=ker
n
el
to kc
h
ecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
St
a
rt
merging the kern
e
l lo
c
king and wi
n
e
locki
n
g c
h
ecks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Car
p
enter
handle
if
(*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
declare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpent
e
r
More range
f
ixes
.
(Dele
t
e and mer
g
e duplica
t
es)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
Pop t
h
e pre_cond
i
tion_st
a
ck at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpe
n
ter
fix i
s
sue wit
h
ra
n
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpenter
Fix ge
t
_im
p
lied_val
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arp
e
n
t
er
Fix
negate bug
.
(Dereferencing undefined false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpe
n
ter
Update comme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: wine_
c
h
ecker
.
sh for ch
e
c
k
ing individual fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
wine: add more
fu
n
ctions that don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
revert part
of f4a4
5
9292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Ca
r
penter
s
match_ext
r
a:
improve and
f
ix as
s
ignment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
ar
p
ent
e
r
s
cope
d
_state() make the paramet
e
r o
r
de
r
match everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an
C
ar
p
enter
checks: remove some s
h
ow_sp
e
cial
(
)
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sma
t
ch_helper
.
c remove many
calls to sho
w
_
s
pecial
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an
C
a
r
p
e
nter
smal
l
clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix bug wit
h
fun
c
tion impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an
C
a
r
p
enter
exit an
d
Exi
t
Pr
o
cess
d
o
n
't re
t
u
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
e
nter
smatch_extra
.
c:
rem
o
ve som
e
show_spec
i
al() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpent
e
r
check_deref
_
che
c
k: get rid of
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
spel
l
ing: meme
r
y => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n C
a
rpenter
dis
g
usting
h
ack
t
o st
o
p false po
s
itive buffer ove
r
flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
Fix += and -= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
arpenter
win
e
: fix
s
ome lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: RpcRaiseExcept
i
on never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add op
t
ion --full-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
M
i
chae
l
Stef
a
n
i
u
c
Fix a t
y
po
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpent
e
r
wine: c
h
eck
f
or locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carpenter
Fi
x
som
e
reversed if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
free can handle n
u
l
l
p
o
in
t
ers: if (foo) free(fo
o
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for WtoA
c
r
os
s
calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpent
e
r
Add INVALID_HANDLE_VALUE c
h
eck
for
w
ine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
rec
o
mpi
l
e all th
e
checks if s
m
atch_e
x
tra
.
h
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an C
a
rpenter
[patch 9/9] last p
a
tch to remove
UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[patch
8
/many] deal with variable_n
o
n_zero() (UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
7
/many] no
UNDEFINED from get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
[patch 6/many] remove UNDEF
I
NED from last_stmt_
v
al()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
en
t
er
[
p
atch 5/many] get rid of a
few more UNDEFINEs s
m
at
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Car
p
e
n
ter
[
pat
c
h 4/many] get r
i
d of U
N
DEFINED
i
n smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch 3/many] remove UNDEFI
N
ED
from
ge
t
_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpe
n
t
er
[patch 2/many] get_im
p
lied_value() shou
l
d not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carp
e
nte
r
[
patch
1/many]
g
et rid
o
f
UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
Ad
d
validation tes
t
for check_held
_
dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Make some kernel s
p
ecific stuff d
e
pend o
n
-p=ker
n
e
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon to be mandatory) -
-
project= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpen
t
er
Ma
k
e
smatch installab
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Car
p
enter
t
r
y
h
andle do {} w
h
il
e
(i-- >
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
a
r
p
ent
e
r
try handl
e
++ and
-- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Improve
h
andling
:
d
o
{} while (--conti
n
ue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpe
n
ter
Small cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpen
t
er
kfree_sk
b
() w
a
rnings are
n
ot spamm
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Handle de
r
eferences like *fo
o
not jus
t
foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
an Carpenter
Get rid of th
e
bitwise or
c
heck
.
I
t d
i
dn't find bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
D
an Carpen
t
er
add __r
a
w_s
p
in_lock
/
unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan C
a
rpent
e
r
Make r
a
nged functions p
a
ss the assignment ex
p
ressio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpe
n
ter
Make variable initializ
a
tion in
t
o assignment s
t
a
t
emen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpent
e
r
Delete
check_i
n
itializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify the r
e
turn ho
o
k to pass an expression instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpent
e
r
Do clear the range info so
early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
i
ntro
d
uce
is_error
_
r
etu
r
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an
C
arp
e
n
t
er
m
a
ke function declarat
i
o
n
s
tatic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpe
n
ter
Do not
accid
e
ntally delete
.
h
f
i
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New missing
dev
_
put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpente
r
Handle if
((d
e
v = foo()) ==
N
U
LL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carp
e
nter
silly false positive: ret
u
rn foo;
<
- f
o
o poss
i
bly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carp
e
n
t
er
Update
s
match_data to
2
.
6
.
3
2-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpent
e
r
Add s
o
me c
o
mments
a
nd
c
opyrig
h
t no
t
i
c
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
p
e
n
te
r
small clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpe
n
ter
Fix seg
f
ault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n Carpe
n
t
e
r
A
l
low people to use kch
e
cker
fi
l
e
.
o as well as
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
Carpenter
I
n
i
t
i
alize values properly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn t
h
e
two p
a
ss sys
t
em off by def
a
u
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carp
e
nter
Optim
i
z
a
ti
o
n: pre
p
end()
-
> app
e
nd()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
Print an error
for this: if (
a
| b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpente
r
Du
a
l pass
s
y
stem
[
patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan C
a
r
p
e
n
ter
Dual pass
s
y
ste
m
[
patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpen
t
er
clean
up:
mo
v
e DIMPLIE
D
() to s
m
a
t
c
h
_imp
l
ie
d
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
co
d
e churn:
r
ena
m
e SM_DEBUG(
)
t
o
sm_debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
code churn: renam
e
smatch_ms
g
()
t
o sm_m
s
g()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
move my_
i
d par
a
meter [p
a
rt 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next