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
bail if things are taking too long
2010-01-29
Dan Carp
e
nter
bail if things are
t
aking
too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add
s
match_scripts/filte
r
_kernel_der
e
f
_ch
e
c
k
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
p
e
nter
check
_
deref_check: do
n
o
t
complain
in loop
p
re conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n
C
arpe
n
ter
tweak
u
nreachab
l
e co
d
e
messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nter
check_s
i
gned:
handle
sign
e
d
1 bit values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
an C
a
rpenter
ch
e
ck
_
sig
n
ed: don't comp
l
ain about unsi
g
n
ed int
x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
n
t
er
new fu
n
c
tio
n
: type_unsig
n
ed()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
partly re
p
lace check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
modi
f
ication hooks: only allow one
h
ook
p
e
r
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
i
n
troduce: s
e
t_default_modification_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
r
penter
cl
e
anup: get rid of smatch_cont
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_nul
l
_
d
eref:
only the kernel cares
about failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Carpen
t
e
r
Fix Ope
n
BSD co
m
pi
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan C
a
rpe
n
ter
ch
e
ck_signed: cl
e
an
ups
.
ad
d
check
f
or impossibl
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpenter
make ever
y
thing use s
m
a
tch_fun
c
tion_
h
a
shtab
l
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
add s
m
atch
_
function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
Move everythi
n
g to th
e
new cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
enter
add cwchash
h
ash
table imp
l
e
m
e
n
tati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bed
i
chek
N
o
v
afor
a
license grant using MIT li
c
ense
.
commit
|
commitdiff
|
tree
2010-01-21
D
a
n Carpenter
func
t
ion_imp
l
ies_h
o
ok: fix bug w
h
en a
f
unctio
n
has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpenter
check_si
g
ned: warn on assigning ne
g
ative to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Mak
e
sm
a
tch work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
C
arpenter
M
e
r
ge git://git
.
k
ernel
.
org/pub/scm/deve
l
/
s
par
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
e
r
Move the
checks out of smatch
.
c into c
h
ec
k
_li
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpente
r
sile
n
ce
some sparse warn
i
ngs
:
()
=> (voi
d
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
Carpenter
introduce: type_min() and
t
y
pe_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
wine WtoA: fix cr
a
s
hing
b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
C
arpenter
new file: sm
a
t
ch_s
c
ripts/gen_dma_funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
e
n
ter
show_ifs
.
sh: Add
t
he
-C
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Car
p
en
t
er
check_memor
y
: elimina
t
e some false positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_
v
alue(): the return value
w
as gettin
g
cu
t
off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
c
h
eck_sig
n
ed: cl
a
rif
y
error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
win
e
_f
i
lehandles: if the file ha
n
dle gets rea
s
signe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
en
t
er
H
e
lp kchecker and wine_check
e
r
.
sh find the s
m
a
t
ch bina
r
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
get_variable_from_expr()
:
fix
a
rray d
i
splay (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpenter
delete
_
st
a
te(
)
:
fix a bug calling delete sta
t
e
i
nside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
an
C
arpenter
get_variable_f
r
om_expr():
use [] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
an
C
arpen
t
er
fix "make install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fix bug in printing file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get_array_n
a
me(
)
:
return the str
i
pped va
l
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
wine
:
pp
_
internal_error() doesn't
r
etu
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
r
pent
e
r
unuse
d
r
eturn: warn
i
n
g: =>
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arpe
n
ter
precedence:
m
a
k
e test stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpenter
__USE_ISOC
9
9: silence a g
c
c w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
check_
d
ev_queue_xmit: make
v
a
l
id_use() stati
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an C
a
rpenter
c
he
c
k_
s
igned: change some
erro
r
:
m
essa
g
e
s
to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpen
t
er
check_signed:
f
i
x and turn on
by d
e
fau
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
get_type(): fix cast handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
a
rpente
r
get_value(): add initial support for ha
n
dlin
g
casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
whitespace: "s
w
i
tch(" =>
"switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
get_type():
d
o
n'
t
ignore ca
s
ts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
ar
p
enter
e
l
iminate all the "x can'
t
fit into 0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
rpenter
fix gett
i
n
g_
a
ddress() functions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n
Carp
e
nter
add check_dev_qu
e
ue
_
xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carp
e
nter
add
-
-
rare option fo
r
rare
b
u
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpent
e
r
int
r
od
u
ce: add_modification_hook_expr(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carp
e
n
t
er
implied cleanup:
move pool_
i
n_pools
(
) and is
_
checked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
c
l
e
a
n
u
p: rename: get_eq_neq() =
>
separate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpen
t
er
implied cleanup
:
s
eparate do_compa
r
e into its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carp
e
nter
implie
d
c
l
e
anup: move get_impl
i
cations()
lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed c
l
eanup:
1
=
> LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpente
r
implied
cleanup
:
clean
handle_
c
omparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpe
n
ter
implied cl
e
anup: rename stat
e
=> sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
m
plied clean
u
p: mo
v
e check
f
or !is_me
r
ged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pente
r
impli
e
d clea
n
up: rename left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup
:
rename
so
m
e sm_state
s
: s
t
ate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied cleanup:
m
ove some fun
c
t
ions
around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
impl
i
ed clea
n
up: comme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpente
r
im
p
lied
cleanup: cre
a
te
pr
i
nt_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpen
t
e
r
implied cl
e
an
u
p: get rid of some curly brace
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cl
e
anup:
move
v
ariabl
e
decla
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
te
r
Add va
l
i
d
ation/sm_array_
o
ve
r
flow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n
C
a
rp
e
n
ter
cle
a
nup
r
e
move false_only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
Fix bug in handling for loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan
Carp
e
n
t
er
foo(&bar) means bar is
m
odi
f
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Da
n
Carp
e
nter
check_memory:
a
dd_modifi
c
a
tion_hook isfree =
>
u
nfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
move modific
a
tion
hook to the front of the hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan
Carpente
r
clean up: move
e
veryt
h
ing t
o
get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduce:
g
e
t_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpenter
check_overfl
o
w: h
a
ndle
addresses d
i
f
fe
r
e
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
smatch_extra: clean up
.
s
tate can nev
e
r be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
che
c
k
_ov
e
rflow:
ignore the la
s
t membe
r
of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smat
c
h_extra: I don
'
t
like empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
add smatch_scripts/gen_array_bound
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
s
ma
t
ch_da
t
a
/
ke
r
n
e
l
.
array_bounds
.
r
emove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
check
_
over
f
low: an an "err
o
r: " prefix
t
o a pri
n
tf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
smatch_scripts/sho
w
_unreachabl
e
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
new script:
s
how_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
introdu
c
e getting_
a
ddress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
update s
m
atch
_
s
cripts/ because of --info fo
r
mat changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpent
e
r
c
heck off
s
e
t
af
t
er
u
se:
ignore foo
=
&array[b
a
r];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Car
p
ente
r
check_o
v
erflow:
m
ove some more stuff under
t
he -
-
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
t
e
r
clean up out
p
ut:
warning: =>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
modification_hook: -- and
++ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpen
t
er
I
t
makes sens
e
to check an a
r
ray
o
ffs
e
t if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
Carpen
t
er
c
heck_over
f
l
o
w: separate th
e
two types of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Ca
r
penter
Fix precedence/crashing bug ch
e
ck_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpen
t
er
check_
o
v
e
rflow: chec
k
for
limiting offset after
using i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
introduce alloc_state
_
num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
c
le
a
nup:
rename all
o
c_state() => a
l
l
oc
_
sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next