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_overflow: fix crashing bug
2009-12-27
D
an Carpen
t
e
r
check_o
v
erflo
w
:
fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Car
p
enter
a
dd a ch
e
ck for passing stack variabl
e
s to dma funct
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Carp
e
nter
check
_
used_
r
e
turn
s
:
ignore inb, in
w
, and
i
n
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
arpente
r
up
d
a
te valid
a
tion tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
check_overflow: handle arr
a
ys i
n
side s
t
ructs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
Fi
x
c
r
ashin
g
bug: func(a &
b)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carpenter
war
n
about if(x); type co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
prec
e
dence: warn abo
u
t:
i
f (
!
a &
b
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Car
p
enter
e
r
r
_
ptr: it's
perfe
c
tly
o
k to re
t
urn
b
oth null
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
white space c
h
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Car
p
enter
Rem
o
ve hac
k
for ha
n
dling Steve Rostedt's if condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an C
a
rpent
e
r
check_unused_ret
.
c
:
fix c
h
eck for local variab
l
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
r
p
e
nter
chec
k
_unused_ret
.
c: ignore
u
n
r
eachable as
s
ign
m
e
nt
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --de
b
ug is passed the message
s
from
t
he first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Car
p
enter
Ad
d
a check for
unused
a
s
signments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpent
e
r
sim
p
le check for format
st
r
ing
v
ulnerabilit
y
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpenter
H
andle
E
X
P
R_FORCE
_
CAST in __spli
t
_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an Carpenter
[
patch 2/2] redefine SYM_HOO
K
entire
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1
/
2]
C
h
an
g
e
definition of SYM_HOOK in
smatch_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpente
r
&
(
f
oo
-
>bar) is
n
ot really a derefe
r
ence
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change exp
r
ess
i
on
_
s
t
ack to express
i
on_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clea
n
u
p
.
DEREF_HOOK ha
n
dlin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
t
e
r
che
c
k_signed: make
i
t
d
epend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arpenter
check_locks: add raw_local_i
r
q_enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
add c
h
eck
f
or pr
e
cedence errors like
i
f
(
x
&
y
=
= 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix select handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
c
h
an
g
es to comme
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add __smatc
h
_note("hello
w
orld")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up the
new check_locking
.
c repl
a
cement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
er
m
o
v
e check_wine_locking
.
c over che
c
k_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
delet
e
the old check_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpente
r
Fix crashin
g
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
arpenter
s
eparate out the
*_bh() l
o
ck han
d
l
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fix
e
s for unified
w
ine & kernel locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_type() return pointer for &f
o
o ty
p
e expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print message
on
f
alse
compares b
e
cause of sign
e
d vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppress gcc warning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge branch 'ma
s
ter' of /home/d
c
arpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
cl
e
a
n
up kfree_skb() che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
ad
d
__sm
a
tch_cur_slist() debu
g
func
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
id is supposed to be unsign
e
d short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
ter
Start caring a
b
out
t
he types a li
t
tle
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
e
n
t
e
r
cleanup: u
s
e
s
ARRAY_S
I
ZE() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
C
arpenter
Pr
i
nt name ins
t
ead of ID in debug
o
utput
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
C
arpenter
Ad
d
--
p
ro
j
ect=kernel to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
S
t
art m
e
rg
i
ng the
k
e
rnel
locking
a
nd
wine locking
c
hecks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
h
andle if (*pt
r
== 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
declare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpen
t
er
Mo
r
e
r
ang
e
fix
e
s
.
(D
e
le
t
e and merge duplicat
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
Carpente
r
P
o
p
the
p
r
e
_cond
i
t
i
on_stack at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan
Carpenter
f
i
x issue wit
h
ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
e
n
ter
F
i
x
g
et
_
implied
_
value(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(Dereferencing
u
ndefined
false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Update comme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpent
e
r
wine: wi
n
e
_
c
hecker
.
sh for checking
i
ndi
v
i
d
ual
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Da
n
Carpent
e
r
wine: add
m
ore functions that
don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carp
e
nter
revert part of f4a459292e33
9
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpe
n
ter
smatch_extra:
i
mprov
e
a
n
d fix a
s
signment handlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpente
r
s
c
oped_state
(
)
m
ake th
e
parame
t
er order
m
atch
e
verything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpe
n
ter
check
s
: remove some show_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
tch_helpe
r
.
c
remove many calls to show_sp
e
cial()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
small cle
a
n
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
fix b
u
g with function impl
i
ca
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit and ExitProce
s
s don't
r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatc
h
_extra
.
c:
r
emove
so
m
e show
_
spe
c
ial(
)
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_deref_
c
heck:
g
e
t
rid of som
e
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling: memery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
disgustin
g
hac
k
to sto
p
false
p
os
i
tive buffer ove
r
flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fi
x
+= and
-=
h
a
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
ar
p
enter
win
e
:
f
i
x some lock
n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: R
p
cR
a
is
e
Exception
n
ever retu
r
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
add option -
-
full-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Micha
e
l Stefaniuc
Fix a ty
p
o
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: c
h
eck for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpen
t
er
Fix some r
e
ver
s
ed if
co
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free
c
an handle null
pointe
r
s: if (foo) free(
f
oo
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
w
ine: check
f
or WtoA cross
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
A
dd IN
V
ALID_HAND
L
E_V
A
LUE check
f
or wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
recompile all the
checks if s
m
a
t
ch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[
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 Car
p
ent
e
r
[patch 8/ma
n
y] deal with variable_non_zero() (UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
t
c
h 7/many]
no UNDE
F
INE
D
from get_value(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carp
e
nter
[patch
6
/
m
any] remove UNDEFINE
D
f
rom last_s
t
mt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpente
r
[patc
h
5/
m
any] get
rid of a few more UNDEF
I
NEs
sma
t
ch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[p
a
t
ch 4
/
many] get rid of UNDEFINED i
n
sm
a
tch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch
3
/ma
n
y
]
r
e
move
U
NDEFINE
D
from
g
e
t
_implied_(mi
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[p
a
tch
2/many] ge
t
_imp
l
ied_value() should
n
ot re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[
pat
c
h 1/ma
n
y] get ri
d
of UNDE
F
INED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpe
n
ter
Add
valid
a
tion
t
e
s
t for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
e
nter
Ma
k
e
some kernel sp
e
cific
s
tuff depend on -p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add
a
n
ew
(
soon to be
mandatory) --project=
opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Ca
r
penter
Make
smat
c
h installable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Ca
r
penter
try handle do {} wh
i
le (i--
>
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try ha
n
dle ++ and -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Impro
v
e
handling: do {} while (
-
-continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an
Carpe
n
ter
kfree_
s
kb() w
a
r
n
i
ngs are not
spa
m
my
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
nte
r
H
a
nd
l
e der
e
ferences
like *foo n
o
t just foo-
>
b
ar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n Carpenter
Get ri
d
of the b
i
t
w
i
s
e or check
.
It didn't find bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next