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
Handle EXPR_FORCE_CAST in __split_expr()
2009-12-17
Dan Car
p
enter
Handl
e
EXPR_FORCE
_
CAST in __
s
p
l
it_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/2] redefine SYM_HOOK entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
a
rpenter
[pa
t
ch 1/2] C
h
a
nge definition o
f
S
Y
M
_HOOK in smatch
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpent
e
r
&(foo->bar) i
s
not really a de
r
e
fe
r
ence
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
an Car
p
enter
ch
a
nge expression_sta
c
k
t
o expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean up
.
DEREF_HOOK h
a
n
dling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpent
e
r
ch
e
ck
_
signed:
make i
t
d
e
p
e
n
d o
n
--s
p
ammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
ch
e
ck_loc
k
s
:
add r
a
w
_
local_i
r
q_ena
b
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
n
ter
add check
f
or preceden
c
e
err
o
r
s
like if (x &
y
== 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
e
r
fix select h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
chang
e
s
to comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
a
d
d __
s
m
a
tch_note
(
"hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpen
t
er
patch up the n
e
w
check_l
o
cki
n
g
.
c replaceme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pent
e
r
mo
v
e check_w
i
ne_lo
c
king
.
c ove
r
c
heck_lock
i
ng
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an C
a
rpente
r
d
e
lete the old che
c
k
_
l
ock
i
ng
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Car
p
en
t
er
Fix crashi
n
g
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carpenter
s
eparate out the *_bh
(
) lock handlin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
f
ixes for uni
f
ied wi
n
e &
k
ernel locking s
c
ript
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
get_
t
ype() retu
r
n pointer for &foo type expressio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
prin
t
message on
f
al
s
e compares because of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppres
s
gcc
warning
.
whitespa
c
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpent
e
r
M
erge br
a
nc
h
'm
a
ster' of /home/dc
a
rpenter
/
progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
clean up kfree
_
s
k
b
(
) check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
add __sm
a
tch_cur_slis
t
(
) debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
t
er
id is supposed to
b
e unsigned sho
r
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
r
p
en
t
er
f
i
x crashi
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
Start caring about the type
s
a
l
it
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n C
a
rpenter
cleanup: us
e
s A
R
RAY_SIZE
(
) macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
P
rint nam
e
instead of ID in d
e
bu
g
out
p
ut
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
e
n
ter
Add
-
-project=kernel t
o
kchecke
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Car
p
enter
Start merging the kern
e
l locking a
n
d
wi
n
e l
o
cking c
h
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carp
e
nter
handle if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
declare char* as co
n
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
More
range fixes
.
(D
e
l
e
te and merge
d
uplicates
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Ca
r
penter
Pop the pr
e
_condi
t
ion_
s
tack at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
D
an Car
p
enter
fix issue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
a
rp
e
nter
Fix
get_
i
m
pli
e
d_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix negate
bug
.
(Dereferencing
un
d
e
fined fals
e
p
ositive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Update commen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpente
r
wine:
w
ine_
c
hecker
.
sh fo
r
check
i
ng i
n
d
ividual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add
m
o
r
e functions
t
hat don
'
t retu
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert
part
o
f f4a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
smatc
h
_ex
t
ra: i
m
prov
e
and fi
x
assignment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
sco
p
ed_state() make th
e
para
m
eter ord
e
r match eve
r
ything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
checks: remov
e
some sh
o
w_special() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
sm
a
tch_helper
.
c remove many
c
alls to show_speci
a
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpe
n
ter
small clean
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
fix bug with function im
p
lications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit and Exi
t
Process
d
on't r
e
tur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
s
mat
c
h_extra
.
c
: remove some show_spec
i
al() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
p
e
nter
check_
d
e
r
ef
_
chec
k
: ge
t
rid of some false positi
v
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
spel
l
ing: memery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
t
er
d
i
sgu
s
t
i
ng hack
to stop false positive buff
e
r overflow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix += and -= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
wine
:
fix some
lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
w
ine: RpcRaiseExcept
i
o
n
never return
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
a
d
d option --
f
ul
l
-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
C
arpent
e
r
wine: check for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
rpenter
F
ix some rev
e
rse
d
if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
free ca
n
handle nul
l
p
oin
t
e
rs: if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
n
t
er
w
i
ne: check for WtoA cross ca
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add INVALID_HANDLE_
V
ALUE
c
hec
k
for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
recompil
e
a
l
l
the c
h
ecks
if smatc
h
_
e
xtra
.
h
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch
9
/9] last patch to remove
U
N
DEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpente
r
[patch
8
/many] deal wit
h
vari
a
bl
e
_non_ze
r
o(
)
(UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Ca
r
pen
t
er
[patch 7/m
a
ny] no UND
E
FI
N
ED from
g
et_v
a
lue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an
Carpenter
[patch 6/many
]
r
e
move UNDEFINED from last_
s
tmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Ca
r
p
enter
[patch
5/man
y
]
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
C
arpenter
[patch
4
/many] get
r
id of UNDEFI
N
ED in
smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[pa
t
ch 3/many] r
e
move
U
NDEFINE
D
from ge
t
_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[pa
t
ch 2/many] get_impli
e
d
_
value() sh
o
uld not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpent
e
r
[
p
a
t
c
h
1
/
m
an
y
] get r
i
d of UN
D
E
F
I
N
ED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
C
ar
p
enter
Add validati
o
n test for
c
heck_
h
eld_
d
ev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Make some kernel spec
i
fic stuff
depend
on -p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n Carpenter
Add a n
e
w (
s
oon to be mand
a
tory) --proj
e
ct= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Da
n
Carp
e
nter
M
a
ke sma
t
ch installa
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle do {} while
(i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpent
e
r
try handle ++
a
nd --
b
e
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpente
r
Improve handling: do
{} while (--continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Small c
l
eanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
kfree_skb() warnings a
r
e
n
ot s
p
a
mmy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Handle
deref
e
renc
e
s
like *foo n
o
t just foo
-
>bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan C
a
rpen
t
er
G
e
t rid of the bitwise or check
.
I
t
didn'
t
find
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan
C
a
r
penter
add __raw_spin_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Make ra
n
ged functions
pass the a
s
signment expres
s
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
a
n Ca
r
p
e
nter
Make vari
a
bl
e
ini
t
iali
z
atio
n
i
n
to a
s
signment statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Da
n
Carpent
e
r
Delete check_initializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
D
a
n C
a
rpenter
Modify the re
t
urn hook to pass an expressi
o
n in
s
t
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear
t
h
e
range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpenter
i
ntr
o
duce is_e
r
ror_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make
f
unction dec
l
a
r
atio
n
static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpenter
Do not acci
d
entally
delete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpent
e
r
New missing dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carp
e
nter
Ha
n
dle
i
f ((dev =
foo()) =
=
N
U
LL)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n
C
arpente
r
silly false positive: return foo
;
<- foo possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
Up
d
ate smatch
_
d
a
ta to
2
.
6
.
32
-
rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpe
n
ter
Add some comments and copyr
i
ght notices
.
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
F
ix segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
A
l
low people to use kchecker file
.
o as well a
s
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next