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
check offset after use: ignore foo = &array[bar];
2010-01-07
Dan Carpenter
ch
e
ck offset after use: ignore foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
c
heck_overflow: move some
m
ore st
u
ff
u
nd
e
r
t
he
-
-info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carp
e
nt
e
r
c
lean u
p
output: warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
modification_hook: --
a
nd ++ are modif
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan
C
arpe
n
t
e
r
It makes sense to check
a
n arra
y
offs
e
t if it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Ca
r
penter
check_overflow: sep
a
rat
e
the two types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpente
r
Fix p
r
ecedence
/
crashi
n
g bug check_ov
e
rflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_overflow: check f
o
r limiting offset after using
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Car
p
enter
introduce
a
lloc_state_
n
um()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
C
arpenter
cleanup
:
rename all
o
c_sta
t
e() => all
o
c
_
sm_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Carpente
r
introduce get_fuzzy_
m
ax()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
p
l
:
m
ake it an i
n
teractive progr
a
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
creat
e
g
et_implied
_
rang
e
_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
sm_info: fix f
o
r
m
atting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carp
e
n
ter
call tree: ini
t
ial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma on sta
c
k
:
move
d
ata to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
D
an Ca
r
pente
r
tr
a
ce_p
a
rams
.
p
l
: rew
r
ote so it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
add --p
a
ram-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
r
p
e
n
t
e
r
c
l
e
anup up opt
i
on parsing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
add option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Ca
r
pente
r
redo
how options are
parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
clean
u
p: debug_
i
mplied_states => op
t
ion_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cle
a
n
up: debug_s
t
ates =
>
option_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_ma
p
per: add --param-ma
p
per option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
d
m
a
on stack: eliminat
e
so
m
e false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
e
n
t
e
r
A
d
d
dma functio
n
s that ma
p
to usb_cont
r
ol_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
add s
m
atch_sc
r
ipts/trac
e
_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
pe
n
ter
param
_
mapper
:
initial commi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
dma_on_s
t
ack:
&
foo
means it's an error t
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpenter
update smat
c
h
_data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpent
e
r
check_overflow:
fix cra
s
h
ing bug (divide
b
y z
e
ro)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
chec
k
_overfl
o
w: fix crashi
n
g bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
C
a
rpenter
add a check for p
a
ssing stack variables
t
o dma fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpen
t
er
che
c
k_used_returns:
i
g
nore
i
nb, in
w
, an
d
inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Car
p
enter
update valida
t
io
n
tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
c
h
eck_
o
ver
f
low:
h
an
d
l
e
a
rrays insid
e
structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carpenter
Fix cra
s
hing bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpent
e
r
warn
about if(x); type
cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
precedence: warn about: if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Carpenter
e
rr_ptr: it's perfe
c
tl
y
ok to return
b
oth
n
u
l
l an
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Car
p
enter
w
hite
s
pace
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remove hack f
o
r ha
n
dling St
e
ve Roste
d
t's
if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
C
arp
e
nter
check_unused
_
ret
.
c: fix che
c
k for local
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpen
t
er
chec
k
_
unused_r
e
t
.
c: i
g
nore unreachable ass
i
gnment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
penter
If --debug is passed the
m
essages from the first
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
A
dd a check for unused assignment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Car
p
enter
s
i
m
p
le
check for form
a
t st
r
ing v
u
lnera
b
i
l
ity
commit
|
commitdiff
|
tree
2009-12-17
D
an Ca
r
penter
Handle E
X
PR_FORCE_CA
S
T in _
_
split
_
expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpe
n
te
r
[patch 2/2] redef
i
ne SYM_HOO
K
entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan C
a
r
p
enter
[pat
c
h
1
/2] Change definition of S
Y
M_HOOK in smatch_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpent
e
r
&
(
f
o
o->bar
)
is not r
e
ally a d
e
referen
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpente
r
change exp
r
ession_stack to expressi
o
n_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
c
l
e
a
n
up
.
DE
R
E
F
_HOOK handli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
check_signed: m
a
ke it depen
d
on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
a
rpent
e
r
c
h
e
c
k_locks: ad
d
ra
w
_loc
a
l
_irq_en
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
add check for
p
recedence errors like if
(x &
y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
fix
select
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes
t
o comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
add __smat
c
h_note("
h
ello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up
t
h
e n
e
w ch
e
ck_locking
.
c
r
eplacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
move check
_
wine_locking
.
c over check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
en
t
er
delete the old c
h
eck_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Ca
r
p
enter
Fix c
r
ash
i
ng bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
arpenter
separate out the *_bh()
l
ock
handl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
fixes
f
or unified w
i
ne & kernel locking
s
c
ript
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpenter
get_type() return pointer for
&foo type expressio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
print message on f
a
l
se
c
o
mp
a
res because of signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpenter
suppress gcc warning
.
white
s
p
ace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
M
erge
branch 'master' of /ho
m
e/dcarpen
t
er/
p
rogs
/
sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
clean u
p
kfree_skb() ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpente
r
a
d
d __smatch_cur_sl
i
st() debug fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
i
d
is supp
o
sed
t
o
be unsign
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix crashin
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
S
t
a
rt carin
g
about
the ty
p
es a
l
ittle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
cleanup:
uses ARRAY_SIZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
Print name instead
of ID
i
n debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
Add --pr
o
ject=kernel
t
o
kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpe
n
te
r
Sta
r
t merg
i
n
g
the kernel lockin
g
an
d
wine locking checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
handle if
(*ptr
== 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpe
n
ter
de
c
l
a
r
e
cha
r
*
as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
an Carpenter
More
r
ange fix
e
s
.
(Delete and
merge dup
l
icates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
Pop the pre_condition_stack at
the correct point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan
C
arpenter
fix issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpe
n
t
e
r
F
i
x get_implied_val
u
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x neg
a
te b
u
g
.
(D
e
r
e
f
e
re
n
ci
n
g
undefined fa
l
se pos
i
t
ive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Upd
a
te
co
m
m
ent
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpen
t
er
wine: wine_checker
.
sh for checking individu
a
l files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpente
r
wine: ad
d
more functi
o
ns
that
don't r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
revert pa
r
t of f4a459292e33
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
smatch_extr
a
:
improve and fix assignment
h
and
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Ca
r
p
e
nt
e
r
sco
p
ed_s
t
ate() make the paramet
e
r
o
r
d
e
r match everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
check
s
: rem
o
ve s
o
me s
h
o
w
_
special() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
smatch_help
e
r
.
c remove ma
n
y calls to sh
o
w_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clea
n
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fi
x
bug with function implicati
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
exit an
d
E
x
itPr
o
cess
don'
t
retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
pente
r
s
match_extra
.
c:
remove
s
om
e
sh
o
w_spe
c
ial()
c
a
ll
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an
Carpenter
c
h
eck_deref_c
h
e
c
k: get rid of some
f
alse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n C
a
rpent
e
r
spelling: meme
r
y
=> memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
ter
disgusting
h
a
ck t
o
sto
p
false p
o
sitive buff
e
r
overf
l
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next