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
Help kchecker and wine_checker.sh find the smatch binary
2010-01-19
Dan Carpenter
Help kchecker an
d
win
e
_c
h
ecke
r
.
sh find the smatch binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
Car
p
e
nter
g
e
t_variable_from_e
x
pr():
fix array display (e
v
en
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Carpe
n
ter
delete_state(): fix
a
bug calling delete state insid
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpen
t
er
get_v
a
riable_from_expr
(
)
:
use [] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Car
p
enter
fi
x
"ma
k
e install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
a
rpenter
fix bug in p
r
inting
file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
C
arpe
n
t
e
r
get_array_name(): return the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Ca
r
p
enter
wine: pp_
i
nternal_err
o
r() doesn't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
penter
un
u
se
d
return: warning: =
>
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
penter
pr
e
cedence
:
make tes
t
st
r
i
cter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an
Carpenter
__USE_ISOC99: silence a
gcc w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arpenter
check_de
v
_queue_x
m
it:
make
v
alid_use()
static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
check_si
g
n
ed:
change some
error:
messages to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
check_signed: f
i
x and t
u
rn on by
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpente
r
g
et_t
y
pe():
fix cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_value(): add in
i
t
i
al suppo
r
t for
h
andling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pent
e
r
w
hitesp
a
c
e
: "swi
t
ch(" => "switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
ge
t
_type(): don't ign
o
re casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate all the
"x can't fi
t
i
n
to 0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fix getting_addre
s
s
() functions vs p
a
rens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
add ch
e
ck_d
e
v_q
u
eue
_
xm
i
t
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
rpenter
add
--rare
option f
o
r rar
e
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
e
nter
introduce: add_modifica
t
ion
_
hook_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
im
p
lied cleanup:
mov
e
p
ool_in_pools
(
) and is_checked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cle
a
nup: re
n
ame: get_eq_neq(
)
=> sep
a
rate_and_filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
e
nter
im
p
lied cle
a
nup
:
se
p
a
rate
do_compare i
n
to its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d cleanup: m
o
ve get_implications() l
o
w
e
r
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied c
l
eanup: 1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
eanup:
c
lean h
a
ndle_comparison
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup
:
re
n
ame s
t
ate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied
c
l
ea
n
up: move check for !is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied cleanup: rename left =
>
lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carp
e
nt
e
r
impli
e
d cleanu
p
: rename some
s
m_states: state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpe
n
ter
im
p
li
e
d cleanup: move
s
ome functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: co
m
m
en
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carp
e
nter
implied c
l
eanup: crea
t
e print
_
once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
te
r
implied cle
a
nup: get rid of
s
o
me curl
y
bra
c
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: move v
a
riable d
e
cl
a
rat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pent
e
r
Add validation/sm_array
_
overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Ca
r
p
en
t
er
c
l
e
an
u
p remove false_only
_
stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Ca
r
pe
n
ter
Fix b
u
g in ha
n
dling for loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
D
a
n Car
p
enter
foo(&bar)
m
e
ans bar is mo
d
i
fied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
c
heck_memory: a
d
d_modificat
i
on
_
hoo
k
isfree
=
>
u
nfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
move modification ho
o
k
to
t
h
e fr
o
nt of the hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n Ca
r
penter
clea
n
u
p
: move everything to get
_
dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Car
p
ente
r
int
r
oduc
e
:
get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
check_overflow: handle a
d
dr
e
sses differe
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
s
match_ext
r
a
:
clean up
.
state can never be &me
r
ged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpe
n
ter
check_overflow: ignore the last me
m
ber of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
smatch_
e
xtra: I do
n
't
like
e
mpty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
add
s
m
atch_scripts/gen_ar
r
ay_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Car
p
enter
smatch_d
a
ta/kernel
.
ar
r
ay_bou
n
ds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpente
r
chec
k
_overflow:
an an "err
o
r:
" prefix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
smatc
h
_scripts
/
show_unre
a
chable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
r
p
ente
r
new scri
p
t: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
int
r
oduce
getting_a
d
dress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
u
p
dat
e
smatch_scripts/ because of -
-
i
n
fo fo
r
m
at c
h
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
check offset aft
e
r use: ig
n
ore
f
oo =
&
a
rr
a
y[b
a
r
]
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carpenter
check_
o
verflow: move s
o
me more stuff und
e
r the -
-
in
f
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
c
l
e
an up o
u
tput: warning
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
modif
i
c
ation_ho
o
k
:
-- an
d
++ ar
e
modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It
m
ak
e
s sense t
o
check
an array offset if it
has
b
e
en
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carp
e
nter
check_overflow: separ
a
te th
e
two type
s
of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
rpenter
Fix prec
e
dence/crashing
bug check_over
f
low
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_o
v
erflow:
c
heck for limiting offset aft
e
r using
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
r
penter
intro
d
uce alloc_s
t
ate_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpenter
cleanup: ren
a
me alloc_state() => a
l
loc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduce get_fuzzy_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Carpenter
cal
l
_tree
.
pl:
make i
t
an interac
t
iv
e
program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create get_implie
d
_r
a
nge_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
sm_
i
nfo
:
fix formatt
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
cal
l
tre
e
:
init
i
al upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Car
p
enter
dma
on stack: move data
t
o
smatc
h
_
d
ata/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
an Carp
e
n
ter
trace_params
.
p
l
:
rew
r
ot
e
so
it
'
s faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpente
r
a
dd --
p
aram-mapper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
c
l
eanup
up option
p
arsi
n
g a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
add o
p
tion: --info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
re
d
o how options ar
e
parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
cleanup: de
b
ug_
i
mpl
i
ed_states =
>
o
ption_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
cl
e
anup: deb
u
g
_
s
t
ates => option_debu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpente
r
param_mapper: a
d
d --param-m
a
p
p
er optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
dma o
n
sta
c
k
:
e
l
iminate
s
ome false posi
t
iv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
A
dd dma functions that map
t
o us
b
_control_msg
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
ter
add smatch_scripts
/
t
r
a
c
e_par
a
ms
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carp
e
nter
param_mapper: initi
a
l
comm
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
dma_on
_
sta
c
k: &fo
o
mean
s
i
t
's an erro
r
too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carp
e
nter
update smatch_data to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_overf
l
ow: fix crashing
b
u
g (divide by
zer
o
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
che
c
k_over
f
low: f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n Carpente
r
add
a check
for passing stack variables to dm
a
f
un
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n
Carpenter
check_used_returns: ignor
e
i
nb, inw, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
up
d
ate v
a
lidat
i
on
t
ests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Carpenter
chec
k
_overf
l
ow: h
a
ndle arrays
i
nside struct
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carp
e
nter
F
ix crashi
n
g bug: func(a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
r
penter
warn
a
bou
t
if(
x
); typ
e
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
nter
p
r
eceden
c
e
:
warn about: if (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
p
e
nter
err_ptr: it
'
s
p
e
rfectly ok to return b
o
th nu
l
l
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
wh
i
te space
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
Remove hack fo
r
h
a
ndling S
t
ev
e
Ros
t
edt's if co
n
dition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpente
r
c
h
eck_
u
nused_ret
.
c: fix check for local variabl
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next