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
fix select handling
2009-12-11
Dan
Carpenter
fix sel
e
ct handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpente
r
c
h
anges to com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
add __sm
a
tch
_
note(
"
hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch u
p
the new check_locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
e
nter
move check_wine_lockin
g
.
c over
c
heck_lo
c
king
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpent
e
r
delete
t
he o
l
d
c
heck_
l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
F
i
x
c
r
a
shing
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpent
e
r
s
eparate o
u
t the
*_b
h
()
l
o
ck handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carp
e
nter
fixes
for unified wine
& kernel l
o
cking scri
p
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Ca
r
penter
get_type
(
) return poin
t
er for
&foo type e
x
pressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carp
e
nter
print m
e
ssag
e
on false compa
r
es be
c
ause
of sig
n
ed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
s
up
p
ress gcc
w
arnin
g
.
white
s
pace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
M
erge branch 'master'
o
f
/
home/dcarpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
clean
up kfree_skb()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n C
a
rpen
t
er
add __smat
c
h_cur_sl
i
st
(
)
d
ebug
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
id is supp
o
sed to
be unsig
n
ed short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
fix cra
s
hing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpente
r
Start caring about
t
he ty
p
es a li
t
t
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
e
r
cleanup: uses
ARR
A
Y_S
I
ZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
P
r
int name instead of ID in d
e
bug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Car
p
e
n
ter
Add --p
r
oject
=
kerne
l
t
o
kcheck
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start merging
the kernel locking and win
e
locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handl
e
if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
a
rpente
r
declare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
Mor
e
ra
n
ge f
i
xes
.
(Delete and
m
erge dupli
c
at
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
an C
a
rpenter
P
o
p
the
pre_
c
ondi
t
ion_stack at the
correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan
C
arpenter
fix i
s
sue with ra
n
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arp
e
n
ter
Fix get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpente
r
Fix negate bug
.
(Dereferencing undefined false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Up
d
ate comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wi
n
e
:
w
i
ne_checker
.
sh
for checkin
g
indivi
d
ual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpen
t
er
win
e
:
add more functi
o
n
s
that don
'
t r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
revert part of f4a45
9
292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
rpenter
s
m
atch_extra: improve and
fix
assignment han
d
l
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carp
e
nter
s
coped_state() m
a
ke
the paramet
e
r order mat
c
h
e
v
erything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
checks
:
remove
s
ome
show_special()
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Car
p
enter
smatch_helper
.
c remove many c
a
lls
to
sho
w
_
s
pecial()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpente
r
smal
l
c
lean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpente
r
f
ix b
u
g with fun
c
t
ion
i
mpli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
ex
i
t and ExitProcess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nt
e
r
s
matc
h
_
e
xt
r
a
.
c:
remove so
m
e show_special()
cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
check_der
e
f_ch
e
ck: get rid of some fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
arpenter
spel
l
in
g
: memery =>
m
em
o
r
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
dis
g
us
t
ing h
a
ck to stop false posi
t
ive buffer
o
verflow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
p
e
nte
r
F
ix +
=
and
-
= ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
wine: fi
x
some lock nam
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
w
in
e
: RpcRaiseException nev
e
r retu
r
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
add option --f
u
ll-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Michael Ste
f
aniuc
F
i
x a typo
.
commit
|
commitdiff
|
tree
2009-11-26
D
an
Carpent
e
r
wine: check
for locking
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
Fix
s
ome reversed if conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
f
ree can hand
l
e n
u
l
l pointers: if
(
foo) free
(
foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
ar
p
ent
e
r
wine:
che
c
k for WtoA
c
ro
s
s calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add INVALID_H
A
NDLE_VA
L
UE check f
o
r wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpent
e
r
re
c
ompile
all
t
he checks if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[pa
t
ch 9/9] last pat
c
h to remove U
N
DEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
tc
h
8/many] dea
l
w
i
th v
a
riable_non_zero()
(
UN
D
EFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch 7/ma
n
y] no UNDEFI
N
E
D
from g
e
t_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[patch 6/many
]
r
e
move UNDE
F
I
N
ED from last_stmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[
p
a
tch 5/ma
n
y]
g
et rid of
a
fe
w
more UNDE
F
INEs smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
e
n
t
er
[
patch 4/
m
any] ge
t
rid of
UNDEFINE
D
in smatc
h
_rang
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 3/man
y
] remove UN
D
EF
I
NED from ge
t
_imp
l
i
e
d_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[patch 2/m
a
n
y] get_implied_va
l
ue
(
) should not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[patch 1
/
many] get rid of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpente
r
Add valida
t
ion test for check_held_
d
ev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
Make
s
ome kerne
l
s
peci
f
i
c
stuff depend on -p=ker
n
el
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
ent
e
r
Add a new (soo
n
to be mand
a
t
ory) -
-
p
r
ojec
t
= opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Make smatch in
s
tallable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carp
e
nter
try ha
n
d
l
e do {} while (i-
-
>
0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
t
r
y h
a
n
dle ++ a
n
d --
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Improve h
a
ndling
:
do {} while
(--co
n
tinu
e
>= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
rpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
a
rpenter
k
free_skb() war
n
ing
s
are not
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Handle
der
e
ferences
lik
e
*fo
o
n
ot just
f
oo
-
>bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Get rid of the
bi
t
wise
or chec
k
.
It didn'
t
find bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Da
n
C
a
rpenter
add
_
_raw_spin_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpe
n
ter
Make
r
a
n
ged functions pass
t
he assi
g
nment expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan
C
arpente
r
Make variable ini
t
ialization into assi
g
nmen
t
statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan
C
a
rp
e
nter
Delete ch
e
ck_initial
i
z
er
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify the
re
t
urn hook
t
o p
a
ss an expression instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n
Ca
r
penter
Do
c
lear the range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n Carpenter
introduce is_er
r
o
r
_
re
t
urn()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an
Carpenter
make function declara
t
ion static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan
C
arpent
e
r
Do no
t
acci
d
ental
l
y d
e
let
e
.
h
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Ca
r
penter
New
m
iss
i
ng dev_put() chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
D
an Carpenter
Han
d
le if ((d
e
v
=
fo
o
()) == NUL
L
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n Carpenter
sil
l
y fal
s
e p
o
sitive: retur
n
foo; <-
f
oo pos
s
ibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Update smatch_data to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpent
e
r
Add some comme
n
t
s and copyrig
h
t n
o
tices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
s
mall
c
lean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Fix segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan C
a
rpenter
Allow
p
e
ople to use kchecker file
.
o as well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carpe
n
ter
I
nitialize v
a
lues pr
o
perl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
Ca
r
penter
Turn the two pass syst
e
m
off by d
e
fau
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimizatio
n
: prepend() -> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
P
r
i
n
t an error for
t
h
is:
i
f (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan C
a
rpenter
D
u
al pass system [patc
h
#
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual pass system [patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rp
e
nter
clean up: m
o
ve
D
IMPLIED() to
smatch_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code churn: rename SM_DE
B
UG() to sm_d
e
bug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next