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
check o
f
fset
af
t
er use:
ignore
foo = &array[b
a
r];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carp
e
nter
chec
k
_overflow: move
some more stuff under the --in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
clea
n
up output:
warning:
=
> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Car
p
enter
modification_hook:
-- and ++ a
r
e
m
od
i
fications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Da
n
Ca
r
penter
I
t makes sense to
c
heck a
n
a
rray offset if it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_overflow: separate the two types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
arpe
n
ter
F
i
x preceden
c
e/crashing b
u
g
che
c
k_overflo
w
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
e
nter
check_over
f
low:
check f
o
r limiting offset after
using
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
n
t
er
introduce allo
c
_state_n
u
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Car
p
enter
cle
a
n
up: rename alloc_state() => alloc_sm
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n
Carpenter
introduce get_f
u
zzy_m
a
x(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
ca
l
l_tree
.
pl: make it
a
n interactive progr
a
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
cre
a
te get_
i
m
pli
e
d_ran
g
e_
l
i
s
t
(
)
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 Car
p
ent
e
r
call tr
e
e
:
init
i
al upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpent
e
r
dma on sta
c
k
: move data to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n C
a
r
p
enter
trace_para
m
s
.
p
l:
rewrote so i
t
'
s
f
aster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
add -
-
p
aram-map
p
er back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
cleanup
up
option parsing a littl
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
op
t
ion:
-
-info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
nte
r
redo how options a
r
e parse
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
clean
u
p:
d
e
b
ug_implied_states => option_deb
u
g_implie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
cl
e
anup: de
b
ug_state
s
=> o
p
ti
o
n_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
param_
m
a
pper:
add --param-m
a
pper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
d
m
a on stack: e
l
im
i
nate
s
ome false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an C
a
rpente
r
Ad
d
d
ma functions t
h
a
t
map to u
s
b_con
t
rol_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add smatch_scri
p
ts/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n C
a
rpenter
param_
m
apper: initial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_on_
s
tack: &f
o
o me
a
ns
it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Ca
r
penter
upd
a
te smatch_d
a
ta to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Ca
r
penter
check_over
f
low
:
fix c
r
ashi
n
g
b
u
g (div
i
de by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
arpenter
check_ove
r
f
l
ow: fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add a che
c
k for
pas
s
ing sta
c
k variables to dma functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
check_used_returns: i
g
nore
i
nb, inw, and
i
n
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Ca
r
pe
n
ter
update
v
alidation tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
r
p
enter
c
h
eck_o
v
erflo
w
:
hand
l
e
a
r
ra
y
s inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n
Carpenter
Fix crashing
bug: func(
a
& b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carp
e
nter
warn abo
u
t if(x); type
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
precedenc
e
:
w
arn
a
bout: i
f
(!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpenter
err_ptr:
it's
p
e
r
fec
t
ly
ok to return both null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
an Carpen
t
er
whi
t
e s
p
ace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
R
emove hac
k
for handling S
t
eve
R
ostedt's
if conditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpen
t
er
check_unused
_
ret
.
c: fi
x
check f
o
r local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
r
p
e
n
ter
check_unused_ret
.
c: ignore unreachable as
s
ignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
t
e
r
If
-
-debug is passed the
m
essages f
r
om the
first p
a
ss
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Ca
r
penter
A
dd a c
h
e
ck for unused
a
ssignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
sim
p
le che
c
k for
format string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n C
a
rpente
r
Handle
E
XPR_FORC
E
_CAST in
_
_
sp
l
it_expr
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/
2
] red
e
fine SYM_H
O
OK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
patch 1/2] Chan
g
e d
e
finition
o
f
SYM_H
O
OK in smatch_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
&(foo->bar) is n
o
t real
l
y a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
h
ang
e
expression_stack to expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
l
ean
u
p
.
DE
R
EF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
C
arpenter
check_signed: m
a
ke i
t
depend on
-
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_loc
k
s: a
d
d raw_lo
c
al_irq_en
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
add check for precede
n
ce
e
rrors like
if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
fix select
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
changes to comm
e
nt
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
a
d
d __smat
c
h_note("hello w
o
rl
d
")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up the new ch
e
c
k
_lock
i
ng
.
c rep
l
acem
e
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpen
t
er
m
ove check_wi
n
e_loc
k
ing
.
c
ove
r
che
c
k_lo
c
kin
g
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpent
e
r
delete
t
h
e
o
l
d check_
l
ocking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
an Car
p
ente
r
s
eparate out the *_bh() lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
a
rpenter
fixes f
o
r uni
f
ie
d
wine &
k
ernel locki
n
g sc
r
ipt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an Carpe
n
ter
get_type() r
e
turn pointe
r
for &foo
t
yp
e
e
x
pressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpenter
print
message on fals
e
compa
r
es because of sig
n
ed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Ca
r
penter
s
uppress gcc warning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Me
r
ge bra
n
ch 'master' of
/
home/d
c
a
rpenter/progs/sp
a
rse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpente
r
clean up kfree_s
k
b() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
ter
ad
d
__smatch_cur_slist() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpen
t
er
id is suppos
e
d
to b
e
unsigne
d
sh
o
rt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix cra
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
ter
Start caring
a
b
out the type
s
a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
t
e
r
cleanup:
u
s
es ARRAY_S
I
ZE() macr
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
p
en
t
er
P
r
int
n
a
me i
n
stead of
I
D in debug
o
utput
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Car
p
enter
Add --project=kernel to
k
che
c
k
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n C
a
rpente
r
Start merging th
e
ker
n
e
l
l
ocking
and w
i
ne
loc
k
i
n
g checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpe
n
t
e
r
ha
n
dle if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
declar
e
c
har* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Carp
e
nter
M
o
re
r
a
nge fixes
.
(Delete and merge dupli
c
ates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
Pop the pre_condition_stack
a
t
the correct po
i
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
ix issu
e
with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
ente
r
Fix
get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Fix negate bug
.
(Dere
f
er
e
nc
i
n
g
undefin
e
d
false posit
i
v
e)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpe
n
ter
Upda
t
e
c
omment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine:
w
in
e
_checker
.
s
h for
checking i
n
divi
d
ual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Ca
r
penter
wine: add more func
t
ions that don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
revert p
a
rt
of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
sm
a
tch_extra: imp
r
ove and fix
a
ss
i
gnment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
r
pent
e
r
scoped_sta
t
e() make the parameter order
match
everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
ch
e
cks: remove some sh
o
w_
s
p
e
cial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
sm
a
t
ch_helper
.
c remov
e
many c
a
lls to
s
how_s
p
ecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n C
a
rpen
t
er
small
clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Car
p
ent
e
r
fix bug with functio
n
implic
a
t
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
e
xit
a
nd
ExitPro
c
ess don't
r
etu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch
_
e
x
tra
.
c: remove some
show_special()
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
check_
d
eref_
c
heck: get rid o
f
some false posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
spelling: meme
r
y => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n C
a
rpenter
d
i
s
g
ust
i
ng hack
t
o
st
o
p false positive
b
u
ffer overfl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next