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
cleanup: debug_states => option_debug
2009-12-30
Dan Carp
e
nte
r
cleanup: de
b
ug_states => option_debu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
param_mapper: add --param-mapper op
t
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma o
n
s
t
a
ck: eliminate some
f
alse
p
os
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
rpenter
Add dma fun
c
ti
o
ns that map to usb_control_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
d
d
smatch_scripts/trace_
p
ara
m
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
param_mappe
r
:
initial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma
_
on_stack: &foo means
i
t'
s
a
n
error
too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
enter
update smatch_data
t
o 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carp
e
n
t
er
check_overflow: fix crashing bug (di
v
ide
by
z
ero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpenter
check_overflow: f
i
x cras
h
ing bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
penter
add a che
c
k
for passi
n
g
stack v
a
r
iables
t
o
dma functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
ch
e
ck_used_returns:
ig
n
o
re inb, in
w
, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpenter
update v
a
lid
a
ti
o
n tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpenter
check_overfl
o
w
:
handl
e
arrays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carp
e
nter
Fi
x
crash
i
ng b
u
g: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
w
a
rn abou
t
i
f
(x)
;
type
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
pr
e
ceden
c
e: warn about: if (
!
a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
an C
a
rpenter
err
_
ptr: it's perfectly ok to
r
eturn
both
null
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
white spac
e
chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remove h
a
ck
for handling Steve Ros
t
edt's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
chec
k
_unused_ret
.
c: fix che
c
k f
o
r local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
an
C
arpenter
che
c
k_unused_ret
.
c
:
i
gnore
u
nreacha
b
le as
s
i
gnments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
If
-
-debug is passed the me
s
sages from the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpenter
Add a check for unu
s
ed a
s
signments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
an Car
p
en
t
er
sim
p
le c
h
eck for
f
ormat string vulnerabil
i
ty
commit
|
commitdiff
|
tree
2009-12-17
Dan C
a
rpenter
Handle EXPR
_
FO
R
C
E
_CAST in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpen
t
er
[patch 2/2] redefine SYM_HOOK enti
r
ely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[pa
t
ch 1
/
2] Cha
n
ge definition
o
f SYM_HOOK i
n
smatch
_
hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&
(
foo->bar) is n
o
t
reall
y
a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arpenter
c
h
ange expr
e
ssion_s
t
ack to expression_li
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
clean up
.
DERE
F
_HOOK handli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
n
t
e
r
che
c
k_si
g
ne
d
:
make it depend on -
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
check_
l
oc
k
s: ad
d
raw_local_irq_enab
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
n
ter
add check fo
r
prec
e
d
ence
e
rrors li
k
e
if (x & y
== 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
fix se
l
ect handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
add __sm
a
tch_note("hello
world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
pat
c
h
up
t
he new check_locking
.
c
repl
a
ce
m
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
move check_wine_locking
.
c ov
e
r check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpe
n
ter
delete the old check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
r
penter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
an C
a
rpenter
separate out th
e
*_bh(
)
lock ha
n
dlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
penter
f
ixes for unif
i
ed wine & kernel
l
o
ckin
g
script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpenter
g
e
t_type() return
pointer for &
f
oo
type expre
s
sio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpente
r
print message
on false
c
ompares because
of signe
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppress gcc warning
.
whit
e
spac
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge branch 'm
a
ster' of
/
hom
e
/d
c
arpenter/
p
r
o
gs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
clean up kfr
e
e_skb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpente
r
add __smatch_cur_slist
(
) debug fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
p
e
nter
id is supp
o
se
d
to be unsigned
short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
fi
x
cra
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
St
a
rt caring abo
u
t the types a
little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Ca
r
pe
n
t
er
cleanup: uses A
R
RAY_
S
IZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpente
r
P
ri
n
t n
a
me instead of ID in d
e
bug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an
C
a
r
penter
Add --p
r
oject=kernel to
kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
S
t
a
r
t
m
e
rgin
g
th
e
kernel locki
n
g and wine l
o
cking checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
h
andle if (*p
t
r ==
5
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nt
e
r
declare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
More r
a
n
g
e fixes
.
(De
l
e
t
e a
n
d me
r
ge d
u
p
l
icates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop the pre_condition_stack
at th
e
cor
r
ect poin
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix
issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x get_implied_
v
alue(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(
Dere
f
erencing undefined false po
s
itive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine:
w
ine_
c
he
c
ker
.
sh for
checking ind
i
vidual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Da
n
Carpenter
wine:
a
dd mo
r
e functions that don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert part of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
enter
smatch_extra:
impr
o
v
e an
d
fix as
s
ignment han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scope
d
_state()
m
ake the p
a
ra
m
e
t
er order match eve
r
yt
h
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpe
n
ter
checks
:
re
m
ove some show_spe
c
ial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpen
t
er
smatch
_
helper
.
c
remo
v
e many calls to show_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
C
ar
p
enter
small c
l
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carp
e
nter
fix bug with function i
m
plica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
exit
a
nd ExitProcess don't re
t
urn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra
.
c:
remove s
o
me show_special() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpent
e
r
c
h
eck
_
der
e
f_check: g
e
t rid of some f
a
ls
e
positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
arp
e
nter
spelling:
m
emery =>
me
m
ory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
r
p
en
t
er
disgusting
h
a
c
k
t
o
stop false
p
ositive buffer overfl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Ca
r
p
enter
Fix += and -= hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
r
p
enter
wine: fix some lock name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: Rpc
R
a
iseException never returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpen
t
er
ad
d
op
t
i
on --fu
l
l-
p
ath
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Mich
a
el Stefaniuc
Fix
a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: che
c
k
f
or l
o
cking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Ca
r
penter
Fix some r
e
v
e
rsed if c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arp
e
nter
free can handle null pointers:
if (foo
)
free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
w
ine: chec
k
for WtoA cros
s
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
A
dd
I
NVALID_HANDLE_
V
ALUE check f
o
r wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
recompile all
t
he
checks if smatch_extra
.
h cha
n
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 9/9
]
last patch to remove UN
D
EFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carp
e
n
ter
[pat
c
h 8/many] deal with v
a
riable_non_ze
r
o() (
U
NDEFIN
E
D)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pent
e
r
[patch 7/many] no UNDEF
I
NED from get_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[patch 6/many] re
m
ove UNDEFINED from
last_stmt_v
a
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[
pat
c
h 5/many] get rid of a fe
w
more UNDEFINE
s
sm
a
tch_e
x
tr
a
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
e
nter
[patch 4/man
y
]
g
et rid of U
N
DEF
I
NE
D
i
n
smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[patch 3/many]
r
e
move UNDEFINED from get_implied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Car
p
enter
[
p
atch 2/man
y
] ge
t
_implied_value
(
) shou
l
d not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
rpenter
[patch 1/many] get
rid of UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
e
nter
A
dd vali
d
a
t
ion test
f
or check_he
l
d_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
e
n
ter
Make s
o
m
e
kernel
s
pecific
s
tuf
f
depend
on -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next