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
smatch_data/kernel.array_bounds.remove
2010-01-08
D
an
C
arpenter
smatch_d
a
ta/k
e
rnel
.
array_
b
ounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
ch
e
ck_overf
l
ow: an an "
e
r
ror: "
p
refix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smatc
h
_scripts/show_u
n
reachable
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
new s
c
ript: s
h
o
w_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
intro
d
u
c
e getting_address()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
update sm
a
tch_scripts/ because of --info format
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
ente
r
c
hec
k
offset
a
f
ter u
s
e: ignore
f
o
o = &arra
y
[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
che
c
k
_ove
r
flow: move some
m
ore stuff u
n
der the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpent
e
r
c
lean up outpu
t
: warn
i
ng: => war
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modificati
o
n
_hook: -
-
a
n
d
++ a
r
e mod
i
fications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Ca
r
pe
n
ter
I
t makes se
n
se
t
o
c
h
eck an array o
f
fset if it
h
as been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
ch
e
ck_overflow: separat
e
the two t
y
p
es o
f
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix p
r
e
cedence
/
crash
i
ng
b
ug
check_over
f
low
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpenter
check_overflow
:
ch
e
ck f
o
r
l
imiting
o
ffset after using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
pe
n
t
er
introdu
c
e
a
lloc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpe
n
ter
cleanup: rename alloc_s
t
a
te() => alloc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpen
t
er
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 an interacti
v
e pr
o
gram
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
pent
e
r
creat
e
ge
t
_implied_range_list(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
sm_in
f
o: fix fo
r
mattin
g
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 Car
p
enter
dma on stack: move
data to s
m
atch_
d
ata/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan C
a
rpenter
tra
c
e
_
params
.
pl: rewrote so it's f
a
ster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
add --par
a
m-m
a
p
p
er back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
clea
n
up up
o
ption parsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpente
r
add opti
o
n:
--info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
arpenter
redo how options
a
r
e
par
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
clea
n
u
p:
d
ebug_implied_state
s
=>
o
ption_debug_
i
mplied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
cleanup
:
debug_stat
e
s => o
p
tion_debu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpen
t
er
param_mappe
r
: add -
-
param-mapper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dm
a
o
n st
a
ck: elimi
n
ate some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
Add dma
functi
o
n
s
tha
t
map to u
s
b_control
_
ms
g
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an
Carpenter
add
s
mat
c
h_scri
p
ts/trace_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
param_mapp
e
r: initial commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
d
ma_on_
s
tack: &foo means
i
t
's an error
too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carp
e
nter
upd
a
te smatch_data
t
o 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Ca
r
pe
n
ter
check_overflow:
f
ix
crashing
b
ug (divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
Carpenter
check_overflow: fix cras
h
ing
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
p
e
nter
add a check for passing stack variables to dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
penter
check_u
s
e
d_returns: ign
o
re i
n
b,
inw,
a
nd inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
p
e
nter
update validatio
n
test
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
c
heck_over
f
low: h
a
n
dle arrays inside
st
r
ucts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpen
t
er
Fix cr
a
shing bug: func(a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
war
n
about if(x); type c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Carpent
e
r
precede
n
ce: warn about: if (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
err_ptr: it
'
s
p
e
rfec
t
ly ok t
o
r
eturn both null
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
ent
e
r
white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpent
e
r
R
em
o
ve
hack
fo
r
h
a
ndli
n
g Steve Rostedt's
i
f condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
check_unused_ret
.
c: fix check for
local va
r
iables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
Carpente
r
check_unused_r
e
t
.
c
: ignore unreachable assignme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --debug
is passed the me
s
sages from the first p
a
ss
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpenter
Add a check for unused as
s
ignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpente
r
simple che
c
k f
o
r for
m
at string vulnerabi
l
ity
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
Ca
r
penter
Ha
n
dle EXPR
_
FORC
E
_CA
S
T in __sp
l
it_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpent
e
r
[patch 2/2] redefine SYM_HOOK en
t
irely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
p
a
tch 1/2] Chang
e
defini
t
ion of SYM
_
HOOK in smatc
h
_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->bar) is
n
ot re
a
lly a de
r
efe
r
ence
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
h
ang
e
expressio
n
_stack to
e
xpres
s
ion_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
a
r
penter
clea
n
up
.
DEREF_HOOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
check_signed: make it dep
e
nd on
--spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
check
_
locks: add raw_loc
a
l_
i
rq_ena
b
le
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Carpenter
add che
c
k for
p
r
ece
d
ence error
s
l
i
k
e
i
f
(x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpent
e
r
fix select
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
changes to c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Ca
r
p
enter
add __smatch_note("hello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
p
at
c
h up the new check_locki
n
g
.
c
r
ep
l
ace
m
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
m
ove ch
e
ck_wine_locking
.
c ove
r
check_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the
old check_locki
n
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
F
ix crashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separate out
t
he *
_
bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes f
o
r
unified wine & kernel locking s
c
ript
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
Carpenter
get_t
y
p
e
() r
e
tur
n
p
o
inter f
o
r &foo t
y
pe
expre
s
sion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
an Carpenter
pri
n
t messa
g
e on fal
s
e com
p
a
r
es because of sign
e
d
vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppre
s
s
g
cc warnin
g
.
white
s
pace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
M
e
rge br
a
nch
'
mast
e
r'
o
f /home/dcarp
e
nt
e
r/progs/sp
a
rse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
c
l
ean up kfree_skb() c
h
eck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
a
dd __smatch_cur_slist(
)
debug
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
r
p
enter
id
i
s supposed to be unsign
e
d short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
pente
r
fix
c
rashing bu
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
Sta
r
t
c
a
r
ing ab
o
ut the t
y
p
e
s a
lit
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
ter
cle
a
nup: us
e
s ARRAY_SIZE()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
pen
t
er
Print name instead
of ID
i
n debug
o
u
tput
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
Carpe
n
ter
Add --project=kernel to kche
c
ker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Car
p
enter
Start merging
t
h
e kernel locking and wi
n
e locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nter
handle if (*ptr ==
5
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
dec
l
a
r
e char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Mo
r
e
r
ange
fix
e
s
.
(Delete and m
e
r
g
e dup
l
i
c
a
t
es)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
a
rp
e
nte
r
Pop t
h
e
pre_c
o
n
dition_stack
a
t the c
o
rrect po
i
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
ix
issu
e
wi
t
h ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpen
t
er
F
ix get_i
m
plied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
C
a
rp
e
nter
Fi
x
negate bug
.
(De
r
e
f
e
r
enci
n
g undefined false
p
ositi
v
e)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Upd
a
te
c
omment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
wine:
wine
_
ch
e
cker
.
s
h f
o
r
check
i
ng individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Da
n
Carpenter
wine:
add more func
t
i
o
n
s
that don't
re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
revert part o
f
f
4
a
459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpe
n
ter
smatch
_
e
x
tr
a
: improve an
d
fi
x
assignm
e
n
t handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sc
o
ped
_
s
t
ate() make the p
a
r
a
m
et
e
r
o
r
de
r
m
a
tch ev
e
rything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
checks:
r
e
mo
v
e
s
ome show_spec
i
al() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
sm
a
tch_helper
.
c
remove many c
a
lls to show
_
special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
small cle
a
n ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next