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 Carpenter
Add qu
o
t
e
s
around string literals in smatch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
n
ter
check_o
v
erflow: up
d
a
t
e strcpy(
)
and strnc
p
y() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpent
e
r
k
e
r
n
e
l
.
no_return_
f
unc
s
:
_
_reiserfs_pani
c
doesn'
t
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpente
r
chec
k
_overflo
w
:
s
tore the size
in bytes inst
e
ad of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpe
n
ter
check
_
overflow
:
don't
c
omplain a
b
out
i
f (ptr <
&
array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
sm
a
t
ch_flow: ch
a
nge how the
b
ig e
x
press
i
on s
t
ack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_overflow:
r
ename my_decl_id => my_size
_
id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpent
e
r
c
h
eck_
o
verflow: white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n C
a
rpenter
che
c
k_o
v
erflow: u
s
e the _expr() hooks instead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Ca
r
penter
ch
e
ck_overfl
o
w: r
e
move
s
ome old
debu
g
ging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: ren
a
me de
s
t => array_
e
xpr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
p
e
nte
r
check_overflow:
get_init
i
alizer_bytes(
)
=
>
g
et_
i
nit
i
aliz
e
r_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpen
t
er
check_
o
verflow: option_spamm
y
=> option_
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
e
r
che
c
k
_
o
verf
l
ow: h
a
ndle
i
ndexed arr
a
y
initial
i
za
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpente
r
chec
k
_overf
l
ow: fix endless loop p
a
r
s
ing
"int x
=
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix get_implied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Ca
r
p
e
nter
chec
k
_
ov
e
rflo
w
:
lots of improvemen
t
s
and als
o
a validation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpent
e
r
fix crash calling get_type() on imp
l
ici
t
ly d
e
fin
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpe
n
ter
Add smatch
_
d
ata
/
ke
r
n
e
l
.
no_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
fun
c
tion hooks: get rid of c
o
nditional fun
c
tion
hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
a
d
d
s
m
a
tch_scri
p
t
s
/
new_b
u
gs
.
sh: prints the bugs in
t
roduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n C
a
rpenter
er
r
_ptr_deref: update to
u
s
e
newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpenter
unreachable
code: e
n
able by
d
efault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
penter
sho
w
_
unreachable
.
sh: add -k (kernel
m
o
d
e) -b (ign
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Carp
e
nter
unreachable
c
ode: work aroun
d
g
cc work ar
o
unds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print an err
o
r message abou
t
u
nr
e
ached initializers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
D
a
n C
a
rp
e
n
t
er
check_
s
t
ack: t
w
eak the output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpente
r
Ne
w
che
c
k_stack
.
c
:
w
a
r
n
if kernel
c
od
e
puts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
A
d
d register_pr
o
ject() to che
c
k
_
list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpe
n
ter
update the docu
m
e
ntation a
b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memory: only load kernel
.
f
r
ees_argument when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Crea
t
e: smatch_pr
o
ject
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
b
a
il if things are tak
i
ng too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add
smatch_scripts/fi
l
ter_kernel
_
deref_ch
e
ck
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carp
e
nter
ch
e
ck_
d
eref_chec
k
:
do
not com
p
lain in
l
oop
pre c
o
ndi
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
t
w
eak un
r
eachable code
m
e
ss
a
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpe
n
ter
check_signed: handle
signed 1 b
i
t values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
n
ter
c
hec
k
_si
g
n
e
d
: don't complain ab
o
ut unsigned i
n
t
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpe
n
ter
new functi
o
n: type_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
partly re
p
lac
e
check_nu
l
l_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
en
t
er
modification hooks
:
only
a
llow one
h
ook per variab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carpenter
i
nt
r
oduce:
s
et_default_modificati
o
n_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
enter
cleanu
p
: get rid of s
m
atch
_
contain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_null_deref:
o
nly the ker
n
el
cares ab
o
u
t
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix OpenBSD com
p
ile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpe
n
ter
check_signed: cle
a
n u
p
s
.
add check for
i
m
p
ossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
an
C
arpenter
make everything use smatch_
f
unction_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpente
r
add smatch_
f
unction_hash
t
able
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
Mo
v
e everything to
the ne
w
cwchash hash
t
able
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
an Carpenter
add cwchash
h
ash table
implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
r
p
enter
fun
c
tion_implies_hook: fix bug when a functi
o
n
has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
check_signed: w
a
rn on assigning
negati
v
e to u
n
signe
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Ma
k
e smat
c
h
wor
k
again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merg
e
gi
t
:
/
/g
i
t
.
ker
n
el
.
or
g
/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpenter
Mov
e
the
c
hecks o
u
t
of smatch
.
c int
o
check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpenter
silence
s
ome
s
parse warn
i
n
g
s
: () =
>
(v
o
id)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpenter
introduce: type_mi
n
() and type_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carp
e
nte
r
wine WtoA
:
fix crashin
g
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpen
t
er
ne
w
file: smatch_scripts/gen_dma_fun
c
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
C
arpente
r
s
h
ow_i
f
s
.
sh
:
Add
t
he -C opt
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpe
n
ter
c
h
eck_memor
y
: elimi
n
ate some
f
als
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the return va
l
ue was g
e
tting cu
t
off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signe
d
: clarify
error message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
wine_f
i
lehandl
e
s: if the file
ha
n
dle gets reassigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
Help kche
c
ker
a
n
d
win
e
_ch
e
cker
.
sh find the smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
get_var
i
a
b
l
e_from_expr():
fix array display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpe
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 Car
p
enter
ge
t
_variable_
f
r
o
m_ex
p
r
(
): use
[
] for arr
a
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpen
t
er
fix "make install"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpenter
fix bug
in pri
n
t
i
n
g
f
ile
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get
_
ar
r
ay_name():
r
e
tu
r
n the strip
p
ed value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpente
r
wine: pp_
i
nt
e
rnal_er
r
o
r() doesn't retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unused return:
w
a
rn
i
ng: => warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpenter
precedence: make te
s
t st
r
icter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
an
C
a
rpenter
__USE_ISO
C
99:
s
ilence a gcc wa
r
n
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nter
check_de
v
_queue_x
m
i
t
: make valid_use()
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pent
e
r
check_s
i
g
n
ed:
change some e
r
r
o
r: messages to w
a
rn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
check_signe
d
: fi
x
and
t
urn on by defa
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
g
et_
t
ype(
)
: fix cast han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
e
r
g
et_
v
alue(
)
: add ini
t
ia
l
s
upport for
handling c
a
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
ar
p
enter
w
h
itespac
e
:
"switc
h
(" => "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
g
et
_
typ
e
(): don't ign
o
re ca
s
ts
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carp
e
nter
elimin
a
t
e all
t
he
"x can't fit i
n
to 0" false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arp
e
nter
fix getti
n
g_address() functions vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
add check_dev_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpe
n
ter
add --rare option for
r
a
r
e bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
an C
a
rpenter
int
r
oduce:
add_mod
i
ficat
i
o
n
_hoo
k
_expr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
imp
l
ied cleanup: move
pool_in_pools() and
i
s_c
h
ecked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
eanup: rena
m
e: get
_
e
q_neq() => separate_and_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpent
e
r
implie
d
cleanup: s
e
par
a
te d
o
_compare into its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpe
n
ter
impl
i
ed cleanup: m
o
ve get_impl
i
cations() lower
in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
i
mplie
d
cl
e
anup: 1 => L
E
F
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carp
e
n
ter
im
p
lied cleanup: c
l
ean h
a
ndle_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
li
e
d cleanup:
rename
state
=
>
sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Ca
r
penter
implied cle
a
nup
:
move che
c
k f
o
r !is
_
m
e
rged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
i
m
plied cl
e
anup:
rename left
=
> lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed cl
e
anup: re
n
ame some sm_states
:
stat
e
=>
s
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpent
e
r
i
mplied
c
leanup
:
move so
m
e
fu
n
ctions
ar
o
und
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
l
i
ed cl
e
anup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpe
n
t
e
r
impli
e
d c
l
e
anup: create
p
ri
n
t
_o
n
ce
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next