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
introduce: get_dinfo()
2010-01-08
Da
n
C
a
rpe
n
te
r
introduc
e
: get_dinf
o
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
e
ck_o
v
e
r
flow: handle addresses differe
n
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
s
mat
c
h
_extra: cl
e
a
n up
.
state can never be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overflow: igno
r
e
the
last memb
e
r of s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sm
a
t
ch
_
extra: I don't like em
p
ty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
n
t
er
add s
m
atch_
s
cripts
/
ge
n
_array_bou
n
ds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
s
m
atch_data/
k
e
rnel
.
arra
y
_bounds
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
check_
o
ve
r
f
l
ow:
a
n
a
n
"
error
:
"
p
refix
to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smatch_scripts/sh
o
w_
u
nreachable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
ne
w
script: sh
o
w_i
f
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
introd
u
ce gett
i
ng_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
update s
m
atc
h
_sc
r
ipts/
b
ecause
o
f
--i
n
fo
f
ormat changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
c
h
eck offse
t
af
t
er use
:
ignore
foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_
o
verflow: move some mo
r
e stuff under t
h
e
-
-
info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carp
e
nt
e
r
clean up output
:
warn
i
ng
:
=
>
w
a
rn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
modification_hook:
-
- and ++ are
modifications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpen
t
er
It makes sense
to check an
array o
f
fse
t
i
f
it has
b
een
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
a
rpenter
check_o
v
erflow:
sep
a
rat
e
the two type
s
of state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix prece
d
ence/
c
rashing bug chec
k
_ov
e
r
f
low
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
enter
che
c
k_overflow: check for limiting offse
t
after using
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
i
ntroduce alloc_state_
n
um()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
c
l
eanup:
r
e
name alloc_state() =>
a
lloc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
introduce get_fuzzy_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
call_tree
.
pl
:
make
it
a
n interactive prog
r
am
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n
C
arpenter
c
r
eate ge
t
_
i
m
plied_r
a
nge_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
e
nter
sm_info:
fix
fo
r
matting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
t
er
d
m
a on
s
tack:
mo
v
e dat
a
to smatch
_
d
ata/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Carpenter
trace_pa
r
a
ms
.
pl: rewrote
so it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
add -
-
para
m
-mapper
back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
rpenter
cleanup
up
optio
n
pa
r
sing a
l
ittle
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
o
ption:
-
-
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo
h
o
w options a
r
e p
a
rsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
cleanup: d
e
bug_impli
e
d_states
=
> o
p
tion_debug_imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
c
leanup: debug_states => option_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
p
a
r
am_ma
p
per: add --
p
aram-mapper o
p
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
dma on stac
k
: eliminat
e
some false pos
i
ti
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Car
p
enter
Add dma f
u
nctions that map to usb_control_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
s
matc
h
_scripts/tra
c
e_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
arpenter
para
m
_
m
a
pp
e
r:
i
nitial
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_on_stack
:
&fo
o
means it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
update smatch_data t
o
2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
e
r
check_
o
ve
r
flow:
fix c
r
ashing bug (div
i
de
by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
check_overflow: fix crashing
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
an
Carpenter
a
d
d
a check
for pas
s
ing
st
a
ck variabl
e
s to dma functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpente
r
chec
k
_
u
s
ed
_
returns:
ig
n
ore i
n
b, inw,
a
nd inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpe
n
t
e
r
up
d
ate
v
alidati
o
n tes
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpenter
check
_
overflow:
hand
l
e array
s
i
n
side
stru
c
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
Fix crashing bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
warn about if(x); type
c
od
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
precedence: warn ab
o
ut: if (!a
&
b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpent
e
r
err_
p
tr: it's perfe
c
tly ok
t
o re
t
urn both null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
e
r
whit
e
space
change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpent
e
r
Remove hack
for handling Steve Ro
s
tedt's
i
f c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpente
r
ch
e
ck_unused_ret
.
c: f
i
x
check f
o
r lo
c
al variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
a
rpen
t
er
check_unused_ret
.
c: igno
r
e
u
nreachable a
s
signme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carp
e
nter
If
-
-debu
g
is passed the m
e
ssa
g
es
f
rom the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Add a
check for unused
as
s
i
g
n
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpe
n
ter
s
i
mple c
h
eck f
o
r for
m
at string vulnerab
i
lity
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
H
andle EXPR_FORCE_CAST in __split_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
an Carp
e
nter
[pa
t
ch 2/
2
] rede
f
ine SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n C
a
rpenter
[patch 1/2] Change de
f
init
i
o
n
of SYM_HOOK in smatch_
h
ook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Ca
r
penter
&(foo->bar) is
n
ot rea
l
l
y a
dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
hange
e
xpressio
n
_stack to expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
clean up
.
DEREF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
r
pen
t
e
r
che
c
k
_
signe
d
:
m
ake it d
e
pend
o
n --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpen
t
er
check_
l
ocks: ad
d
raw_local_irq_e
n
able()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
a
d
d
check for precedence
e
r
rors like i
f
(x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix sel
e
ct handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an C
a
rpenter
changes t
o
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
add
__smatch_note(
"
hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up the
new ch
e
ck_locki
n
g
.
c replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
er
move
c
h
e
ck_wine_l
o
ck
i
ng
.
c ove
r
check_
l
ocking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carp
e
nter
de
l
ete the o
l
d
c
he
c
k_
l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpent
e
r
F
i
x
c
rashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
penter
se
p
a
rate out th
e
*
_bh() lock ha
n
dling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Ca
r
p
enter
fi
x
es
for
unifi
e
d wi
n
e & kernel locking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpente
r
get_ty
p
e()
r
et
u
rn pointer for
&foo type expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
p
r
int message
on fa
l
se
compares because of
signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Car
p
e
n
ter
sup
p
ress gcc w
a
r
n
i
ng
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
Merge branch 'master' of /home/d
c
arpenter
/
pr
o
gs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpen
t
er
clea
n
up
kfre
e
_skb() chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
add __smatch_cur_slist() debug fun
c
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
p
enter
i
d is suppose
d
to be unsigned
s
hort
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
fix cr
a
shing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Sta
r
t ca
r
ing
a
bout the types a li
t
tle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
cle
a
nup: uses ARRAY_S
I
ZE() m
a
c
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpente
r
Print name instead
o
f ID i
n
debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Ad
d
-
-
p
r
oject=kerne
l
to kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
St
a
rt m
e
rgin
g
the kernel lo
c
kin
g
and win
e
lo
c
king
c
hecks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpent
e
r
ha
n
dle
if (*ptr
=
=
5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
ent
e
r
de
c
lare char* a
s
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
More range fixes
.
(Delete and mer
g
e
duplicates
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
an
C
ar
p
enter
Pop the pre_c
o
nditi
o
n
_
s
t
a
ck at the correct
poi
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpe
n
t
e
r
fix issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fix get_im
p
lied_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
C
arpenter
Fix negate bug
.
(Der
e
ferencing undefined false positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Update
c
omment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: win
e
_
c
h
e
cker
.
s
h
for check
i
ng individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Car
p
en
t
er
wine: add more func
t
ions that don't ret
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next