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
Add quotes around string literals in smatch output.
2010-02-15
D
a
n Ca
r
penter
A
dd quotes ar
o
und
s
tr
i
n
g
lit
e
rals in sma
t
ch out
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
c
he
c
k_
o
verflow: update
str
c
py()
a
nd strncpy()
c
he
c
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
no
_
return_
f
u
ncs: _
_
reiserfs_panic doesn't
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
che
c
k_overflo
w
: store th
e
size in bytes inst
e
ad of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: don't complain
about if (ptr < &ar
r
a
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
smatch_flow: change how the big
e
xpress
i
on
s
t
ack works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_
o
verflow:
rename my_decl_id
=
>
my_siz
e
_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
c
h
eck_
o
v
e
rflow: white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pente
r
c
h
eck_overflow
:
use
the
_expr() hooks instea
d
of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overf
l
ow
:
remove
some old debugging c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
ch
e
ck_overflo
w
:
r
enam
e
d
e
st =
>
a
rr
a
y_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an
Carp
e
nter
check_ov
e
rflow: get
_
i
n
itial
i
zer_byte
s
(
)
=
>
get_initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_ove
r
flow: option_
s
pammy => option_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
en
t
er
che
c
k_
o
v
erfl
o
w:
handle in
d
exed arr
a
y
ini
t
ializations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
c
h
eck_overf
l
ow: fi
x
endless loop parsing "int x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
fix get_
i
mplied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
check_
o
verflow:
l
ots of improvements and als
o
a validatio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpen
t
e
r
fix
c
rash
c
alli
n
g ge
t
_type() on implicitly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Da
n
Carpenter
Add smatch_
d
a
ta/kernel
.
no_
r
eturn
_
f
u
n
c
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
function hook
s
:
g
et
r
id of conditional
f
unctio
n
hoo
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpen
t
e
r
a
dd smatch_scripts/new_b
u
gs
.
sh: print
s
t
h
e bugs introdu
c
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_p
t
r_
d
eref: up
d
ate to
use newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpent
e
r
unreac
h
abl
e
cod
e
: e
n
ab
l
e by de
f
ault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
sho
w
_unr
e
a
c
habl
e
.
sh:
a
d
d
-k
(
kerne
l
m
ode)
-b (ign
o
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Car
p
ente
r
unr
e
a
c
h
a
b
le code: work
around gc
c
w
or
k
aroun
d
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Car
p
enter
p
rint
an error message ab
o
ut unreached
initial
i
zers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
check_stack:
tweak th
e
output
a
b
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan
Carpenter
New check_s
t
a
c
k
.
c:
w
arn if
k
ernel code puts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
Carpenter
A
d
d register_p
r
oject() to
c
h
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Car
p
enter
update the d
o
cument
a
tion a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
D
a
n
Carp
e
nter
c
heck_memory: only load kernel
.
f
r
e
es_argume
n
t when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpenter
Cre
a
te
:
smatch_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an
C
arpent
e
r
bail if things
a
re t
a
king too
l
ong
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpenter
a
dd smatch_s
c
rip
t
s/fil
t
er_k
e
rne
l
_deref
_
check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Carp
e
nt
e
r
che
c
k_der
e
f
_
check: do
not
complain
i
n
loop pre conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
twea
k
u
n
r
e
achable
c
ode
m
ess
a
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpen
t
er
check_s
i
gned
:
handle signe
d
1 bit value
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
ch
e
ck_s
i
g
ned: don't
complai
n
abo
u
t unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n Ca
r
penter
new fun
c
ti
o
n
:
type
_
unsi
g
ned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carp
e
nter
partly re
p
l
a
ce check_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
a
r
pe
n
ter
modification
hooks: on
l
y
allow
o
ne hook per variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
i
nt
r
oduce:
s
et_de
f
a
u
l
t_m
o
dification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cleanup: get rid of s
m
atch_c
o
nt
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpe
n
ter
c
h
ec
k
_
n
ull_de
r
ef: only the
k
ern
e
l cares a
b
o
ut failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
F
ix Op
e
n
B
SD compi
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
check_signe
d
: clean
ups
.
add check for impos
s
i
bly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Car
p
e
n
ter
mak
e
e
verything us
e
smatch_fun
c
t
ion_
h
a
s
htab
l
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
C
a
rpenter
add smatch_function_hasht
a
b
l
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nt
e
r
Move every
t
hing to th
e
new cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpent
e
r
add cwchash
hash tabl
e
implementat
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
fu
n
c
tion_implies_hook: fix bug when a fu
n
ction has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
D
an Carpenter
c
h
e
c
k_signe
d
: wa
r
n
o
n
assign
i
n
g ne
g
ativ
e
t
o unsi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
ake
s
match work agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
Merge g
i
t://git
.
kernel
.
o
r
g/pub/scm/devel/sp
a
r
s
e
/chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
o
ve the che
c
ks out
o
f smatch
.
c int
o
ch
e
ck_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n C
a
r
p
enter
silence so
m
e spa
r
se warnin
g
s: () => (v
o
id)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
int
r
oduce
:
type_mi
n
() and type_
m
ax
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
wine
WtoA: fix
c
rash
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
e
n
ter
new f
i
le
:
smatch_scripts/gen_dma_f
u
ncs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
s
h
ow_if
s
.
sh: Add t
h
e -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
check_memory: eliminate some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
get_value()
:
the
r
etur
n
valu
e
w
a
s getti
n
g cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_sign
e
d:
c
l
arif
y
e
rror messa
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carp
e
nt
e
r
wi
n
e
_filehandles
:
if the file handle gets reassigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
Hel
p
kchecker and w
i
n
e
_chec
k
er
.
sh
find the smatch binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
get_
v
ariable_from_expr():
f
ix
array displa
y
(e
v
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Carpenter
dele
t
e_state(): fix a bug calling delete state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
ter
g
e
t_var
i
able_fr
o
m_expr()
:
use [] fo
r
a
r
rays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
penter
fix "m
a
ke install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpen
t
er
fix bug in
p
r
intin
g
f
i
l
e
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arpenter
get_a
r
ray
_
n
a
me(): return the
s
tripped
value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
w
ine:
p
p
_
int
e
rnal_error() doesn't r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpen
t
e
r
unused retu
r
n:
w
arn
i
ng: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
p
r
ecedence: mak
e
test
stri
c
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
p
e
n
ter
_
_
USE_ISOC99:
s
ilence a gcc warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
chec
k
_dev_queue_xmit:
make val
i
d_use()
static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carpenter
check_s
i
g
ned: change s
o
me error: messages
t
o warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
check_signed
:
fix and t
u
rn
o
n by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carpen
t
er
get_type(
)
: fi
x
cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pen
t
er
get_val
u
e()
:
a
dd
i
ni
t
ial su
p
port for handling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
w
h
itespace: "switch("
=
>
"switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
g
e
t_type():
don't ignor
e
casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
e
l
iminat
e
all the "x can'
t
fit
into 0"
false pos
i
t
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fi
x
getting_add
r
ess() functions v
s
pare
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add check_d
e
v_queue_
x
mit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carp
e
nter
a
d
d --
r
a
r
e option for r
a
re bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
C
a
rpenter
i
n
t
r
oduce:
add_modificati
o
n_h
o
ok_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
cle
a
n
u
p: move
poo
l
_in_pools() and
i
s
_
c
hecked
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied cleanup:
rename
:
ge
t
_
e
q
_neq(
)
=> separate_a
n
d_fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
impl
i
ed cleanup:
separate do_c
o
mpare into its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mpl
i
ed cleanup: move
get_i
m
pl
i
cations() lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an
Carpent
e
r
implied cleanup:
1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
clean
u
p:
clean ha
n
dle_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Car
p
e
n
ter
implied
c
leanup:
rename state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ie
d
c
leanup: move check for !is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup
:
rena
m
e
le
f
t
=
> l
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n C
a
r
p
e
nter
implied cleanup: rename
some sm_states: state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
i
m
plied cleanup: m
o
ve some functions a
r
ound
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arp
e
nter
implied cleanup:
c
omments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpente
r
implie
d
cl
e
anup
:
create
print_once
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next