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_overflow: handle addresses differently
2010-01-08
Dan Carpenter
check_overflow: handle addresses differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
smatch_extra:
clean up
.
state
can
never b
e
&merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
pe
n
ter
check_overf
l
o
w
: ignore the last member of structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
smat
c
h_e
x
tra:
I
d
on't like empty
r
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
p
e
nter
add
smatch
_
s
c
ripts/ge
n
_ar
r
a
y
_bounds
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Car
p
enter
sm
a
tch_da
t
a/kern
e
l
.
ar
r
ay_bo
u
nd
s
.
rem
o
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
check
_
ove
r
flow: an an "error: " p
r
efix to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
r
p
enter
smatch_scripts/show_unreachabl
e
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
new s
c
ript: show_if
s
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
i
n
troduce g
e
ttin
g
_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n C
a
rpenter
update
s
matc
h
_script
s
/ because of --info
f
ormat changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
c
h
e
c
k offset af
t
er use: ign
o
re foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
check_overfl
o
w: move some more stuff under
t
h
e --
i
nfo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpente
r
clean up outpu
t
:
warn
i
ng: => wa
r
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
C
a
rpen
t
e
r
m
o
di
f
i
cat
i
on_hook:
--
a
nd ++ are modifications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan
C
arpenter
It mak
e
s sense to check an
a
rray offset if
i
t has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
Carp
e
nter
che
c
k_overflow: separate the two types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
F
ix precedence/c
r
ashing bug
c
he
c
k
_
overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_ov
e
r
f
low: c
h
ec
k
for l
i
miting
off
s
et af
t
er u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpen
t
er
introduce alloc
_
state_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpen
t
er
cleanup
:
rename alloc_sta
t
e() => a
l
loc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
i
n
tro
d
uc
e
get_fuzzy_m
a
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Carpenter
call_tree
.
pl:
make
it an
i
nteractive program
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
e
n
ter
create get
_
implied_range_l
i
s
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_in
f
o
:
f
ix formattin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpent
e
r
c
all tree: initi
a
l upl
o
ad
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
Carpenter
dma on stack: move data to sma
t
ch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
C
arpenter
tra
c
e_para
m
s
.
p
l
: rewrote so it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
en
t
er
cleanup up option pars
i
ng a
li
t
tle
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
add o
p
tion: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
redo how
o
pt
i
o
n
s are pa
r
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
ter
cl
e
anup: de
b
ug_im
p
l
i
e
d
_states => o
p
t
i
on_
d
e
bu
g
_impli
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
c
l
eanup: debug_states => opt
i
on_d
e
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
pa
r
am_mapper
:
a
d
d
--p
a
ram-m
a
pper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
ma
o
n stac
k
:
eliminate some false posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
Ad
d
dma functions that m
a
p
to
u
sb_control_ms
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
p
e
nter
a
dd smatch_scri
p
t
s/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
pa
r
am_mapper:
i
nitial
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_on_stack:
&foo me
a
ns it's a
n
e
r
ro
r
too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
a
r
pen
t
er
upda
t
e smatch_data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpente
r
check_
o
verflow: fix cr
a
sh
i
n
g
bug (
d
ivide by zer
o
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_overflow: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
an Ca
r
penter
add a check
for passing sta
c
k vari
a
bl
e
s
to
d
ma funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpe
n
ter
chec
k
_used_returns:
i
gn
o
re
i
nb, inw, and in
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
penter
update
v
alidation t
e
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
ter
check_o
v
erflow
:
han
d
le
a
rr
a
y
s insid
e
st
r
ucts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
Fix crashing bu
g
: func(
a
& b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
nt
e
r
wa
r
n ab
o
ut if(x); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
n
t
er
p
reced
e
nce: war
n
abou
t
:
if (!a &
b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Car
p
en
t
er
err_ptr: it
'
s
perf
e
ctly ok to r
e
t
u
rn both
n
ull and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
w
hite
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
a
r
penter
R
e
m
ove hack for handlin
g
Steve Rostedt's
i
f cond
i
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Ca
r
penter
c
heck_unused_ret
.
c:
f
ix ch
e
ck
f
or
lo
c
al vari
a
bles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
enter
c
h
eck_unused_
r
e
t
.
c: ignore
unreachable assig
n
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
If --debug
is
p
assed
t
h
e messages from the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpe
n
t
e
r
A
d
d
a
c
heck for unused assig
n
ment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
si
m
ple check for format
s
tring vul
n
erabili
t
y
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Hand
l
e EXPR_FORCE_CAST in
_
_split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
an
C
a
rpe
n
te
r
[patch 2/2] rede
f
ine SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
patch 1/2] Change
d
efinition of
SY
M
_HO
O
K in smat
c
h_ho
o
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
ent
e
r
&(foo->bar
)
i
s
n
ot r
e
a
lly a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Ca
r
p
e
nter
change expression
_
s
t
ack to ex
p
ression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
clean
up
.
DERE
F
_HOOK han
d
l
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_signe
d
: make
it depe
n
d
on -
-
s
pammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carp
e
nter
check_locks: add raw_
l
ocal_irq_
e
nable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
add check for precedence errors like if
(
x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
fix select
handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpe
n
ter
changes
t
o comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
add __
s
m
a
tch_
n
o
t
e("h
e
llo wo
r
l
d
")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpent
e
r
pa
t
ch up
the new ch
e
ck_
l
ocking
.
c
re
p
lac
e
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpe
n
t
er
move ch
e
ck_w
i
n
e
_
lo
c
kin
g
.
c over check_l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
delete the old che
c
k_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix cras
h
i
ng bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n C
a
rpenter
s
e
parate
out the *_bh() loc
k
han
d
ling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
fixes for unif
i
ed
w
ine &
k
ern
e
l locking sc
r
ipt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
e
r
get_type() return pointer for &foo type expressio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpenter
prin
t
messa
g
e on fals
e
compares because
of sig
n
e
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
Carpenter
s
uppress gcc
warning
.
w
h
itespa
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpent
e
r
Merge br
a
nch 'maste
r
'
o
f /home/d
c
a
r
p
enter/progs/sp
a
rse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpente
r
clean
u
p kfree_s
k
b
(
)
c
h
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
r
p
enter
a
d
d __smatch_cu
r
_sli
s
t()
d
ebu
g
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Ca
r
p
ent
e
r
id i
s
supposed to
be uns
i
g
ned sh
o
rt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
fix crashin
g
b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpent
e
r
S
tart cari
n
g abo
u
t
the t
y
p
e
s
a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
cleanup: uses ARRAY_SIZ
E
() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpen
t
er
P
rin
t
name instead of
I
D in debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --p
r
o
j
ect=kerne
l
to
k
checker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
er
Start merging th
e
kernel lock
i
ng and wine locking ch
e
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
handle
if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
d
eclare cha
r
*
as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
More
range fi
x
es
.
(Delete
a
nd merge dupl
i
cates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
C
a
rpen
t
er
Po
p
the pre_conditi
o
n_stac
k
at
the correc
t
point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan C
a
r
penter
fix issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Car
p
enter
Fi
x
get_i
m
plied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpe
n
te
r
Fix neg
a
te bug
.
(
Dereferen
c
ing undef
i
ned false positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine:
w
i
n
e_checker
.
sh f
o
r checking indivi
d
ual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add more functio
n
s that
d
on't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
r
e
vert part of f4a
4
5
9292e33
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next