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: don't complain about if (ptr < &array[ARRAY_SIZE(array)])
2010-02-14
Dan Carpenter
c
h
eck
_
overflow: don't
complain a
b
o
u
t if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
smatch_flow: cha
n
ge
h
ow the big e
x
press
i
on
stack
w
o
rks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow: r
e
name my_decl_id =>
my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_overflo
w
: wh
i
te space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
check_overflow: use th
e
_expr() hook
s
in
s
tead of
d
oing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carp
e
nter
check_overflow
:
remove some
old debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
rf
l
o
w:
rena
m
e
d
est
=
>
a
r
ray_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
chec
k
_ove
r
f
l
ow:
g
e
t_in
i
tial
i
ze
r
_bytes
(
) => ge
t
_i
n
itializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
c
heck_
o
ve
r
flow: optio
n
_spa
m
my =
>
o
ptio
n
_i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
c
heck_o
v
erflow: hand
l
e indexed array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_overflow: f
i
x endless loop parsing "int
x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
C
arpente
r
fix get_impl
i
ed_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
che
c
k
_
overflow: lots of improvements and also a vali
d
ation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpe
n
ter
f
ix crash call
i
ng get_type()
on imp
l
icitly defi
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpenter
A
dd smatch_data/kernel
.
no_
r
e
tu
r
n_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
function
hooks: get rid of
c
o
n
ditio
n
al fun
c
tion ho
o
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
add sma
t
c
h
_scripts/n
e
w_bugs
.
sh: prints the bugs
i
n
t
roduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_pt
r
_
d
e
ref: u
p
date to us
e
newer
a
p
i
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n C
a
rpenter
unr
e
acha
b
le code: enabl
e
by default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpen
t
er
show_unrea
c
hable
.
sh: add -k (
k
ernel m
o
de) -b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpen
t
er
un
r
each
a
ble cod
e
:
w
ork a
r
ound gcc work arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
pri
n
t an e
r
r
or messa
g
e ab
o
ut u
n
r
eac
h
ed initial
i
zers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
D
an Carpen
t
e
r
c
hec
k
_stack
:
twe
a
k the
outp
u
t a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christ
o
p
her Li
Pointer
don't inher
e
n
t
t
he alignment from base type
commit
|
commitdiff
|
tree
2010-02-08
D
an Ca
r
penter
New c
h
eck_st
a
ck
.
c: w
a
rn
i
f ke
r
nel code puts
t
oo much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Add register_pr
o
ject() to c
h
eck_l
i
st
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
update the doc
u
mentation a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_m
e
mory: only load
k
e
rnel
.
fr
e
es
_
a
rgume
n
t
when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpent
e
r
Cr
e
ate:
s
m
atch_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail
if things are t
a
k
i
ng too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpe
n
ter
add sm
a
tch_scripts/filter_
k
e
r
nel_deref_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpe
n
ter
c
heck_deref_chec
k
: do
not compla
i
n in loo
p
pre
c
ondition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Da
n
Carpenter
tweak unre
a
chable
co
d
e
messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nter
check_signed: handl
e
sign
e
d
1
bi
t
va
l
u
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Ca
r
penter
c
h
eck_s
i
gned: don
'
t
c
omp
l
ain abo
u
t
u
n
si
g
ned int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new
f
u
nct
i
on: type_unsigne
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Da
n
Car
p
enter
par
t
ly
r
eplace check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n
C
a
rpenter
modificati
o
n hooks:
o
n
ly allow one hook per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpenter
introduce: set_default_
m
odification_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cleanup: get rid of smatch_containe
r
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpe
n
ter
che
c
k_null_deref: o
n
ly the
k
e
r
nel cares about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
an Carpenter
Fix OpenB
S
D
c
o
mpile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
c
heck_signed:
clean
u
p
s
.
add check for imposs
i
bly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nter
make everything us
e
s
m
atch_functi
o
n_ha
s
h
table
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
ad
d
smatch_function_
h
ashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpen
t
er
Move everything to the new cwchash
has
h
t
a
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpenter
add cwchash h
a
sh table implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Robert
B
e
dichek
N
ovaf
o
r
a
license
grant using
MIT license
.
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Car
p
enter
f
unc
t
ion_implie
s
_hook: fix bug when a func
t
ion has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
Carpenter
che
c
k_signe
d
:
warn on
a
ssignin
g
n
egative to unsi
g
ned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
nter
Make
s
ma
t
c
h work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Car
p
enter
Merg
e
git:
/
/git
.
k
erne
l
.
org/pub
/
scm/devel/spars
e
/chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carp
e
nter
Move
the
c
h
eck
s
out
o
f smatch
.
c
into check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
sile
n
ce some sparse wa
r
nings: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
i
n
troduc
e
: type_min() an
d
type_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine WtoA: f
i
x crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Car
p
enter
new file: smat
c
h_scri
p
ts/gen
_
dma_
f
u
ncs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
show_if
s
.
sh: A
d
d the -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Ca
r
penter
check_memory: eliminate some fal
s
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pente
r
get_value(): the return v
a
lue wa
s
getting cut o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
check_signed: clari
f
y error message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
a
rp
e
nter
wine_f
i
lehandles: if
t
he
file ha
n
d
le g
e
ts reassign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
H
elp kch
e
ck
e
r
a
nd wine_checker
.
sh find th
e
s
mat
c
h binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
get_variable
_
from_expr():
f
i
x array display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpent
e
r
delete_state
(
): fix a
bug calling delete sta
t
e in
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
get
_
vari
a
ble_fr
o
m
_expr(): use []
f
or a
r
r
a
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
an Carpenter
fix "make inst
a
ll"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arpenter
fix bug in
p
rinti
n
g
f
i
le
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
C
a
rpenter
g
e
t_arra
y
_na
m
e(): return the st
r
i
ppe
d
value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpenter
w
ine:
p
p
_
i
n
tern
a
l
_
error(
)
does
n
't
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unu
s
ed
r
eturn:
w
arning: =>
w
a
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Carpe
n
ter
precedence: make test stric
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nter
__USE_ISOC99: si
l
e
nce a gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpenter
check_de
v
_
q
ueue_xmit: make valid_
u
se()
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
c
h
eck
_
signed: change some err
o
r:
m
es
s
ages to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
check_si
g
ned:
f
ix and t
u
rn on
by def
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
ge
t
_type(): fix ca
s
t handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
er
get_value(): add initial sup
p
ort for
handl
i
ng ca
s
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
whitespace:
"swi
t
ch
(
" => "
s
witch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_ty
p
e(): don't
igno
r
e c
a
sts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
elimin
a
te all the "x
ca
n
't fit
i
n
t
o
0
"
f
a
lse p
o
sitiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fix getting_ad
d
ress() func
t
i
on
s
vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
an
C
arpente
r
ad
d
check_dev
_
queu
e
_
xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
e
nter
a
d
d
-
-rar
e
o
p
tion for
rare
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
introduce: ad
d
_modification_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpent
e
r
i
m
plied clean
u
p
: move pool
_
in_pools() and is_ch
e
cked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pe
n
ter
implied cl
e
anu
p
: rename
:
get_eq_n
e
q() => separ
a
te_and
_
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ied cl
e
anup:
separate do_c
o
mpare into its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied clean
u
p:
m
o
v
e ge
t
_impl
i
cations() lo
w
er in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied cleanup: 1 =>
L
EFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
c
leanup:
clean handle_compar
i
son()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpent
e
r
impli
e
d cle
a
nup:
r
ename s
t
ate => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
i
m
pli
e
d cleanup:
move che
c
k
f
or
!is_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nte
r
i
m
p
l
ied clean
u
p:
renam
e
left => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
i
m
plied cl
e
anup: rename
some sm_states: state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cleanu
p
: mov
e
some
f
unct
i
ons around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
im
p
li
e
d cleanup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied c
l
ean
u
p: create print_once()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: get rid o
f
some cur
l
y b
r
a
c
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
imp
l
ied
c
leanup: move variable declarat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next