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
check_used_returns: ignore inb, inw, and inl
2009-12-25
Dan Carpenter
che
c
k_
u
sed_returns: igno
r
e
inb, inw,
a
nd inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
pen
t
er
update validation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Car
p
enter
che
c
k_overflow:
handle arrays i
n
side structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpen
t
er
Fi
x
crashing
bug: func(a &
b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
an Carpenter
warn
about
if(
x
);
t
ype code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
precedence:
war
n
about: if (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpenter
err_ptr: it's per
f
ectly ok
to r
e
tu
r
n
b
oth nu
l
l
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
white space cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carp
e
nter
Remov
e
hack
for ha
n
d
lin
g
Steve Ro
s
t
edt's if conditi
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
check_un
u
sed
_
ret
.
c:
fix check
f
or
loc
a
l
variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_unused_r
e
t
.
c: ignore unrea
c
hable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carp
e
nt
e
r
If --debug is p
a
ss
e
d
the
messages
from the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpen
t
er
Add a
c
h
e
c
k
for
u
n
used assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpenter
simple chec
k
f
o
r form
a
t string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan
C
a
rpe
n
ter
H
a
ndle EXPR_FORCE_CAST i
n
__split_e
x
pr()
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 Carpenter
[patch
1/2] Change defin
i
tio
n
of
S
Y
M_HOOK in smatch
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Car
p
ente
r
&(
f
o
o-
>
b
a
r)
i
s not
r
ea
l
ly a
d
ereferen
c
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
n
ter
c
h
a
n
ge expres
s
ion_stac
k
to express
i
on_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
cle
a
n up
.
DEREF_HO
O
K h
a
n
d
ling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
heck_signed:
m
a
ke it de
p
end on
--s
p
ammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
check_locks: add raw_l
o
cal
_
irq_enable
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add che
c
k for precedence errors like if (x & y =
=
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
fix selec
t
handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
chan
g
e
s
to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
ad
d
__smatch_not
e
("
h
ell
o
worl
d
")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpente
r
patch up the n
e
w check_locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpen
t
er
move che
c
k_wine_locking
.
c over check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
e
r
delete t
h
e old check
_
lock
i
ng
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
F
ix crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpente
r
separate
out the *_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carp
e
n
ter
fixes for unified wine & kernel locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_
t
ype() ret
u
rn pointer fo
r
&foo ty
p
e expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
an Car
p
ent
e
r
print m
e
ssage on
f
al
s
e c
o
mpares bec
a
use of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
C
arpe
n
ter
suppr
e
s
s gcc war
n
in
g
.
white
s
pace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Car
p
en
t
er
Mer
g
e
branch
'master' of /home/dcarpenter/progs/spars
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an
C
arpente
r
cl
e
an up
kfree_s
k
b() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add
_
_s
m
atch_cu
r
_slist() deb
u
g
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
id is supposed
t
o be u
n
s
i
gned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
fix crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
arpenter
Start caring about the type
s
a
little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
cle
a
nup: uses ARR
A
Y_SIZE() macr
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Print name instead
o
f ID in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
Add
--p
r
oject=kernel to k
c
hecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
S
tart mer
g
in
g
the ke
r
ne
l
loc
k
i
n
g a
n
d wine lockin
g
ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
h
andle
if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
ar
p
enter
declare char* as
co
n
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
More rang
e
f
i
xes
.
(Delete and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
ar
p
e
n
ter
Pop the pre_condition_stack at the cor
r
ect point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpen
t
er
fix issue with
r
ange
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Fix get_impl
i
ed_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpente
r
F
i
x
negate
bug
.
(
D
erefe
r
en
c
ing un
d
efined false posit
i
ve)
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 C
a
rpenter
w
ine: wine_checker
.
sh f
o
r check
i
ng ind
i
vidual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpenter
wine: add more functions that
d
on'
t
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
r
e
vert par
t
of f4a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
smatch_extra: improve
a
nd fix assignm
e
n
t
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_sta
t
e() ma
k
e
t
h
e
param
e
ter
o
rder match e
v
e
r
y
t
h
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remove some
show_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
ar
p
enter
smatch_
h
elper
.
c remove
m
an
y
calls to show_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
small clea
n
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
fix bug with
fun
c
tion implic
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit
a
n
d ExitProc
e
ss don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
e
n
ter
smatc
h
_extra
.
c: remove some sho
w
_special(
)
calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
enter
check_der
e
f_ch
e
c
k
:
get rid of some
fal
s
e pos
i
ti
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling: mem
e
ry
=> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
disgusting hack to stop
false positive buffer
ov
e
rflo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fi
x
+= and -
=
hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
w
ine: fix
s
ome lock n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpent
e
r
wine
:
RpcRaiseException never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpente
r
add op
t
i
on --full-
p
ath
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
w
i
ne: check for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Car
p
enter
Fix som
e
reversed if co
n
diti
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can ha
n
dle
n
ul
l
p
ointers:
i
f (foo) free(f
o
o);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for WtoA c
r
oss calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
A
dd INVALID
_
HANDLE_VALUE
check for wi
n
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
recompile all the
c
hecks if smatch_extra
.
h
chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpente
r
[pat
c
h 9/9] last patch to remove UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
[patch
8/man
y
]
d
ea
l
with variable_non_zero() (UND
E
FINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
[pat
c
h 7/many] no UNDEF
I
NED from
get_v
a
lue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[
p
atch 6/ma
n
y] rem
o
v
e
UND
E
FINED fr
o
m last_stmt
_
v
a
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[
patch 5/ma
n
y
] get
r
i
d of a few
m
ore UND
E
FIN
E
s smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
e
nter
[patch 4/man
y
]
get rid of UNDEFINED in smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
nter
[patch 3/many]
remove UNDEFI
N
ED
f
rom ge
t
_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 2/man
y
]
get_imp
l
ied_value() should not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
1/many]
g
et
r
id of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add v
a
l
i
dati
o
n test for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpen
t
er
Ma
k
e some kernel specific st
u
ff depe
n
d on
-
p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
C
arp
e
nt
e
r
Add
a
n
ew (soon to b
e
m
andato
r
y) --project
=
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
enter
Make smatch ins
t
allable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
try handle do {
}
wh
i
le (i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
try h
a
ndle ++ a
n
d
-- bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Car
p
enter
Improve handling:
do {} while (--continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
S
m
all cle
a
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
kfre
e
_s
k
b() warni
n
gs are no
t
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Handle dereferences like
*fo
o
not
j
ust foo-
>
b
a
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpe
n
ter
Get rid of the
b
itwi
s
e or
check
.
It didn't
f
i
n
d bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add
__
r
a
w_spin_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpent
e
r
Make ranged
f
u
nctions
pass t
h
e
assignmen
t
expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
an Carpenter
M
ake variable
i
nitializat
i
o
n
into assig
n
ment
stat
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next