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
Dan Carpenter
smatch_data/kern
e
l
.
arr
a
y_bo
u
nds
.
re
m
ove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Ca
r
penter
check_o
v
e
r
flow:
an
an "erro
r
:
" pr
e
fix
to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
ent
e
r
s
m
a
t
ch_scripts/show
_
unre
a
c
h
able
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
n
e
w script: show_
i
fs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
i
n
troduce
gett
i
ng_addr
e
ss()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
n
t
er
update sm
a
tc
h
_scr
i
pts/ because
o
f
-
-info
format chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
check offset after use: ignore foo = &arra
y
[bar]
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
check_ov
e
rflow: mov
e
some mor
e
stuff under
the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
clean up output: warning: => war
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
modification_hoo
k
:
-- and ++ are modifica
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan C
a
rpente
r
It makes sens
e
t
o
ch
e
c
k an
a
rray of
f
s
et if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check
_
over
f
low: separate the two typ
e
s of st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Ca
r
pent
e
r
Fix pre
c
edence/c
r
a
shing bug
c
h
eck_ov
e
rflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
check_over
f
low:
c
he
c
k for
lim
i
ting offset
a
f
t
er using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
arpenter
i
n
troduce a
l
loc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
cleanu
p
:
ren
a
m
e allo
c
_sta
t
e() => al
l
oc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n
Carpente
r
intr
o
d
uce get
_
fuzzy_ma
x
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
C
arpen
t
er
call_tr
e
e
.
pl: make it an interactive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create g
e
t
_
i
m
p
lied_ra
n
ge_li
s
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
a
r
penter
sm_info: fix forma
t
t
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Ca
r
penter
cal
l
tre
e
:
i
nitia
l
upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma
o
n
s
t
ack
:
move data t
o
s
match_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n
Carpente
r
trace_
p
arams
.
p
l
:
re
w
rot
e
so
it'
s
faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
add --p
a
ram-ma
p
per bac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
c
l
eanup up option parsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
a
dd option: --i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
redo how
o
pti
o
ns are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: debug_implied_states => option
_
de
b
ug_impl
i
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
cleanup: debug_s
t
ates => option_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
param_map
p
er: ad
d
--param-mapper
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
d
ma on stack:
e
lim
i
nate
som
e
false posit
i
v
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
te
r
Add dm
a
functions that map to usb_
c
ontro
l
_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
add smatch_
s
cripts/
t
race_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
p
enter
param_mapper
:
in
i
tial commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_on_st
a
c
k
:
&
foo means it's an
e
rror too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpenter
up
d
a
t
e s
m
atc
h
_da
t
a to
2
.
6
.
33-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check
_
overfl
o
w: fix
c
rashing
b
ug
(divide by
z
e
r
o)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
Carpenter
check_overfl
o
w:
fix crashing b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpen
t
er
add a
c
h
eck for passing stack variables to dma functi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n C
a
rpenter
check_us
e
d_
r
eturns: i
g
nore inb
,
inw, and
i
nl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n
C
ar
p
e
n
ter
upda
t
e validati
o
n
t
ests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
c
h
e
c
k
_
overflo
w
: ha
n
dle a
r
rays
inside structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
ter
F
i
x cr
a
shin
g
bug
:
func(
a
&
b
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arp
e
nter
warn about
if
(
x
); ty
p
e
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
p
recedence: warn abo
u
t: if (!a & b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
nter
err_p
t
r: it's
p
e
rfectly ok to
r
e
t
ur
n
both nul
l
an
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
w
h
ite sp
a
ce change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remove hack for han
d
l
ing St
e
ve Rostedt's if
c
ondit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an Carpe
n
ter
che
c
k_unused_ret
.
c: fix check for lo
c
al variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
ch
e
ck_
u
nu
s
ed_ret
.
c: ignor
e
unreachable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Ca
r
pent
e
r
If --de
b
u
g
i
s
passed the messages
from the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpen
t
er
Add a check for unused a
s
signme
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple check for fo
r
m
a
t stri
n
g vulne
r
abili
t
y
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle EXPR
_
FORCE
_
CAST in __sp
l
it_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Carpenter
[patc
h
2/2] redefine SYM_HOOK en
t
irely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Car
p
enter
[
p
a
t
ch 1/
2
] C
h
ange de
f
ini
t
ion of SYM_HOOK in smatch_h
o
ok
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
&(foo->bar) is not really a dere
f
erence
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
C
a
rpente
r
change
e
x
p
ression
_
stack to expres
s
ion_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arp
e
nter
cle
a
n up
.
DE
R
EF
_
H
OO
K
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
r
p
e
n
te
r
check_s
i
gned:
m
ake i
t
depe
n
d on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
check_locks: add raw_local_irq_enable(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
add check for precedence errors lik
e
i
f
(x &
y
== 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Carpenter
fix selec
t
h
a
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
changes to commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
a
d
d __smatch
_
note("h
e
llo
w
orl
d
"
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
r
pent
e
r
patch up the new
c
heck
_
locking
.
c re
p
lacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
move
c
heck
_
win
e
_locki
n
g
.
c
o
v
er check_lo
c
k
i
ng
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpen
t
er
dele
t
e
t
h
e old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Ca
r
penter
Fix crashin
g
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an Car
p
enter
separate
out the *_bh() lock h
a
ndl
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes fo
r
u
nifie
d
wine & kernel locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
ent
e
r
get_type() retur
n
p
oint
e
r for &foo type expres
s
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
print message on false com
p
are
s
be
c
ause of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carp
e
nter
suppress
g
cc w
a
rning
.
w
hitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge
bran
c
h 'master' of /home/d
c
arpenter/progs/
s
p
ar
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
ar
p
e
nter
c
l
ea
n
up kf
r
ee_skb() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpente
r
add __sma
t
ch_cur_sli
s
t
() deb
u
g funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
i
d
is supp
o
sed
to be un
s
igned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpen
t
er
fix cras
h
ing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
S
t
art car
i
ng about the typ
e
s a lit
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
cleanup: uses ARRA
Y
_SIZ
E
()
m
a
cro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
Print name in
s
t
e
ad of
ID in debug
output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
Add --project=ker
n
el to kchecke
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
Start
m
e
rging t
h
e kern
e
l
l
ocking and
wine locking chec
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpen
t
er
hand
l
e if
(
*ptr ==
5
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare char*
a
s const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Carpenter
More rang
e
fixes
.
(D
e
lete and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
C
arp
e
nter
Pop the pre_condit
i
on_stack at t
h
e corr
e
ct poin
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix is
s
ue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
a
rpe
n
te
r
F
i
x get
_
impl
i
ed_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(
D
e
r
e
f
erencing u
n
d
e
fine
d
false positive
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpenter
Upda
t
e comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carp
e
nter
wine
:
wine_checker
.
sh
f
or
c
hecking
i
ndiv
i
dual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
t
e
r
wine: add mor
e
fun
c
t
i
ons tha
t
don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
revert part
o
f f4a459
2
92e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
smatch_ext
r
a: improve and fix assi
g
nment hand
l
in
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_state() make the paramet
e
r
o
rd
e
r match ever
y
thin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpen
t
e
r
check
s
: r
e
move
s
om
e
show_
s
pecial() c
a
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpe
n
ter
sm
a
tch_helper
.
c re
m
ove many calls to show_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
s
m
all c
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next