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
clean up output: warning: => warn:
2010-01-07
D
an Carpe
n
t
e
r
clean u
p
ou
t
put: w
a
r
n
i
ng: =>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpen
t
er
mod
i
fi
c
ation_h
o
ok
:
-- an
d
+
+ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan
Carpenter
It makes sens
e
to check an array offs
e
t if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
che
c
k_ov
e
r
f
low:
separ
a
te
t
he two types of st
a
t
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
a
r
p
enter
Fix precedence
/
c
rashing bug check_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
ch
e
ck_overflow: check fo
r
limiting o
f
f
s
et after using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
e
nter
introduce
alloc_state_num
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: rena
m
e alloc_state() =>
all
o
c
_
s
m_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
e
r
introduce get_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
c
all_tree
.
pl: make
i
t a
n
interactiv
e
program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Carpenter
create ge
t
_implied_ran
g
e_list(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_info: fix
formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tree: i
n
itial
u
p
load
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpen
t
er
dma on s
t
ac
k
: move data to smatch
_
dat
a
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Car
p
e
n
ter
tra
c
e_params
.
p
l:
rewr
o
t
e so
i
t's fa
s
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
add -
-
par
a
m
-
ma
p
p
er
back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
enter
clean
u
p up option parsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
add opt
i
on:
-
-info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpente
r
redo
how options
a
re parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
cleanup: deb
u
g_im
p
l
i
ed_st
a
tes
=> option_debug_impli
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup
:
debug_state
s
=> opt
i
on_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
param_mapper: add
--param-mapper optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dm
a
on stack: el
i
minate some fa
l
s
e
po
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
Ad
d
dma functions th
a
t map to us
b
_con
t
rol_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an
Carpenter
add sma
t
ch_scri
p
t
s/trace_para
m
s
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
param_mapper
:
initia
l
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carp
e
nter
dma_on_stack: &foo means it's a
n
error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpente
r
u
p
date sm
a
tch
_
d
ata to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
C
arpenter
check_overflow: fix c
r
ashi
n
g
b
ug (divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
Carp
e
n
t
e
r
check_overflow: fi
x
cras
h
in
g
b
ug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpenter
add a check
fo
r
pas
s
i
ng stack vari
a
b
les to
d
ma fun
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n C
a
rpente
r
check_used_returns: ignore inb, in
w
, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpenter
upda
t
e
v
a
l
id
a
tion t
e
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpen
t
er
c
heck_ov
e
rfl
o
w: handle arrays insid
e
structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
F
ix
c
rashing b
u
g: fu
n
c(a &
b)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
wa
r
n about if(x); t
y
pe c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
precedence: warn
a
bout: if (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
p
enter
err_ptr: it's perfect
l
y ok
t
o ret
u
rn b
o
t
h
null
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
white spa
c
e
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
penter
R
e
move h
a
ck for handling
Steve Ros
t
ed
t
's if
c
o
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
che
c
k_unused
_
ret
.
c:
f
ix check for
loca
l
vari
a
bles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_u
n
used_ret
.
c: ignore unreachable
a
s
s
ignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --deb
u
g i
s
p
a
ssed t
h
e m
e
ssages
fr
o
m the
first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an
C
arpe
n
ter
Add
a
check for un
u
sed ass
i
gnments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple che
c
k for for
m
at string vu
l
nerab
i
lity
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle EXPR_FORCE_C
A
ST in __split_e
x
pr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
patc
h
2/2
]
redefine SYM_HO
O
K
e
ntirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an Car
p
enter
[patch 1/2] Cha
n
g
e definition o
f
SYM_HOOK in s
m
atch_h
o
ok
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n C
a
r
p
enter
&
(
foo->b
a
r)
i
s
n
o
t
really a derefere
n
ce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
change
e
xpres
s
ion_stack to expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
clean
u
p
.
D
EREF_HOOK handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
check_signed: make
i
t depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_locks: add raw
_
local_irq_
e
nable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
add check fo
r
pre
c
ed
e
nce
e
rrors like if (x & y
=
= 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Car
p
enter
f
i
x sel
e
ct handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
changes to comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add __smat
c
h_no
t
e
("h
e
llo world
"
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpe
n
ter
patch
up the
n
ew check_loc
k
ing
.
c replacemen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move
ch
e
ck
_
wine_locking
.
c
o
ver check
_
lo
c
king
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
n
t
e
r
delet
e
the old ch
e
ck_l
o
ckin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
F
ix cras
h
i
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpe
n
ter
s
eparate ou
t
the *_bh() lock handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carpe
n
ter
fixes
for u
n
ified
wine & kernel locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get
_
type() r
e
turn point
e
r
fo
r
&
f
oo type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
print mes
s
age on
f
alse comp
a
res because o
f
s
igned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
s
u
ppress
g
cc w
a
rning
.
whitespac
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge br
a
nch
'
mas
t
er' of /home/dcarpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Ca
r
penter
clean up kf
r
ee_skb()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
C
arpenter
ad
d
__smatch_cu
r
_slist() debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id
i
s
s
upposed to be u
n
s
i
gned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
r
p
enter
fix crash
i
ng bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
Star
t
c
a
r
i
n
g about
th
e
ty
p
e
s
a
little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
pent
e
r
c
leanup: uses
A
RRAY_SIZE()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Ca
r
penter
Print n
a
m
e instea
d
o
f ID in d
e
bug outp
u
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Add --project=kernel to
kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
a
r
pen
t
er
St
a
rt mergi
n
g th
e
kernel locking
a
n
d
wine
l
ocking ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
declare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
M
o
re range f
i
xes
.
(De
l
ete and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Ca
r
p
e
nt
e
r
P
op t
h
e pre_conditio
n
_
s
t
a
ck at the c
o
rrect point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpent
e
r
f
ix i
s
sue
with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Fix
get
_
implied_
v
alue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpe
n
ter
Fix nega
t
e bug
.
(Dereferen
c
ing unde
f
ined false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpe
n
ter
Up
d
at
e
comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
an Car
p
e
n
t
e
r
wine
:
wine_checker
.
sh f
o
r che
c
king
indi
v
idua
l
f
i
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
an Carpe
n
ter
wi
n
e: add mo
r
e funct
i
on
s
that don
'
t return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpe
n
ter
rev
e
rt part of f4a
4
59292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n C
a
r
penter
smatch_ext
r
a: imp
r
ove and
f
ix
assignment hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carp
e
nter
scop
e
d_sta
t
e() make the parameter orde
r
match everythi
n
g
.
.
.
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
Dan
C
arp
e
nter
smatc
h
_help
e
r
.
c
r
emove many calls t
o
show_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
sm
a
ll clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpent
e
r
fix bug with
f
unction implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
e
xit an
d
E
xitProcess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
sma
t
ch_extra
.
c:
remove some show_
s
pecial
(
) calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arp
e
nter
check_deref
_
check:
g
e
t
rid o
f
so
m
e false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
arpenter
spe
l
ling: memery
=
> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
d
i
s
gusting hack to stop
false
p
os
i
tive buffer overflow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix +=
a
nd -=
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine
:
fix som
e
lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next