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
fix WARN_ON handling some more
2010-02-19
Dan Carpen
t
er
fix WARN_ON handling some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
rpent
e
r
smatch_templat
e
: smal
l
changes to
c
o
m
men
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clean up the ma
k
efile a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle as
s
ignments like: foo = x
<
1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
p
e
nt
e
r
smatch_states:
white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
smatch is supposed
t
o be
using "long long" types i
n
ternally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
new_
b
ugs
.
s
h
:
b
etter filt
e
ring of
s
m
atch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
handle stu
f
f
l
ike the kern
e
l'
s
WARN_ON() m
a
cro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
_
e
xtra:
f
oo
=
!!x; does
not modify
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
handle
ass
i
gn
m
en
t
s like
:
foo = !
b
ar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
check_overflow: check
for
m
emset(
)
issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automati
c
a
lly gen
e
rate the lis
t
of fun
c
tions whi
c
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n
Carpent
e
r
*new* smat
c
h_scripts/
s
umm
a
rize_e
r
rs
.
sh: script for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
penter
ke
r
nel: fix xfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_overflow: handle: "in
t
*p = &array
;
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
h
eck
_
overfl
o
w
:
fix
b
ug i
n
get
_
array_size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
n
ter
pu
s
h some m
o
re stuff on the
big_e
x
p
ression
_
stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carpenter
check_overflow: handle casts l
i
ke ((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overf
l
ow: f
i
x assigning arrays to po
i
nters of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
c
h
eck_over
f
low: fi
x
alignme
n
t bug in get
_
array_size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_overf
l
o
w
: prefe
r
re
c
ent assignments over
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
Add quotes aroun
d
s
trin
g
literals in s
m
atch o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
Carp
e
n
t
er
check_overflow: update
s
trcpy() and st
r
ncpy() che
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
n
o
_re
t
urn_funcs: _
_
reiserfs_
p
anic does
n
't re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ent
e
r
check_overflow
:
st
o
re the
s
ize in
b
yt
e
s
instead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
chec
k
_
ov
e
rfl
o
w: don't c
o
mplain about
i
f (
p
t
r < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nte
r
smatch_flo
w
: change how th
e
big expression stack
w
o
rks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_o
v
erflow: r
e
name my_
d
ecl_id => my_size_
i
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nte
r
c
heck_
o
ver
f
low
:
white
space c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
pen
t
er
c
he
c
k_ove
r
flow: use the _expr() hooks ins
t
ead of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
ch
e
ck_overf
l
ow:
remove some old debugging code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_overflow: rename de
s
t => arr
a
y_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carp
e
nt
e
r
ch
e
ck_overflow: g
e
t
_initiali
z
er_by
t
es() => get_init
i
ali
z
er_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_overflow: o
p
t
i
on_spammy => o
p
t
ion_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overf
l
ow: hand
l
e
in
d
exed ar
r
a
y initialization
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_
o
verflow:
fix endless loop pa
r
si
n
g "int x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpente
r
fix
get_implied
_
max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n Carpenter
c
h
eck_overflow: lo
t
s of impro
v
e
me
n
ts
a
n
d also a
va
l
i
d
ation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpenter
fix crash
calling
g
e
t_type() on implicitly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Ca
r
pente
r
A
d
d
s
ma
t
ch_data/kern
e
l
.
no_return_
f
un
c
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
penter
f
unction hooks: get
r
i
d of co
n
ditional function ho
o
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpe
n
ter
add smatch_script
s
/new
_
bugs
.
s
h:
p
rints the bugs
i
n
trod
u
ced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
er
r
_
ptr_deref: update to
u
se
n
e
w
er a
p
i
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreac
h
able
cod
e
: enable b
y
d
efault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
show_unreachab
l
e
.
sh: a
d
d -k (k
e
rn
e
l
mode) -
b
(ign
o
re
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan
Carpenter
un
r
ea
c
hable code: w
o
r
k
aroun
d
g
cc work ar
o
unds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Carpenter
pri
n
t
an error m
e
ssage abou
t
unrea
c
hed initializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpen
t
er
c
h
e
c
k_stack
:
tweak the
o
u
tput a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carp
e
nter
New check_stack
.
c: warn if kernel
c
ode puts to
o
muc
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Carpen
t
e
r
Add register
_
project() to check_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
D
an
C
arpenter
u
pdate t
h
e
d
ocumentat
i
on a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Da
n
Carp
e
nt
e
r
check_me
m
o
ry
:
only load kernel
.
fre
e
s_argument when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
C
r
eate: smatch_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpenter
bai
l
if thing
s
a
r
e taking too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
nter
add smatch_scripts/filter_kern
e
l_der
e
f_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Carpen
t
er
c
h
eck_deref_check: do not complain in loop
p
re
co
n
d
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Carpent
e
r
tweak unreachable code messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed: handle signe
d
1 bit
v
a
l
u
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
a
r
penter
c
h
e
c
k_s
i
gned: don't
comp
l
ain
about unsigned int
x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpent
e
r
n
e
w function: type_unsigned
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
Carpent
e
r
p
a
r
tly replace che
c
k_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpen
t
er
m
o
dif
i
cation hook
s
: only a
l
low one hook per variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
int
r
o
duc
e
: set_default_modific
a
tion_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
cleanup: get rid of sm
a
tch_con
t
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carp
e
nter
check_null_deref: only th
e
kernel
c
a
res a
b
o
u
t failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpent
e
r
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
chec
k
_sign
e
d: cl
e
an ups
.
a
d
d
che
c
k for im
p
ossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
m
ake ev
e
r
y
thing use smatch
_
function
_
hasht
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
add
s
m
a
t
c
h
_function_hashtabl
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
an C
a
r
pente
r
Move e
v
eryth
i
ng to the
n
e
w
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 table implem
e
ntation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
func
t
ion_implies_hook: fix bug when a function has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Ca
r
p
en
t
e
r
che
c
k
_signed: wa
r
n on assigning neg
a
tive to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
ake smat
c
h
work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merge git
:
//git
.
kernel
.
org/pub/scm/d
e
vel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
rpenter
Move the checks out of smatch
.
c into check_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
silence some
s
parse
w
arni
n
gs: () => (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpe
n
t
er
intro
d
uce:
t
yp
e
_min() and type_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
enter
w
i
ne Wto
A
: fix crash
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
new file: smatch_scr
i
pt
s
/ge
n
_dma_funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_ifs
.
sh: Add the -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ch
e
ck_memory: eliminat
e
s
ome false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the
return value was getting c
u
t o
f
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signed: clarify er
r
or
m
essage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arp
e
n
t
e
r
wine_filehandles: if
th
e
file handle ge
t
s
r
eas
s
igned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
Help k
c
h
ecker and
w
i
ne_checker
.
sh find the smatch binar
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
get_
v
ariable_from_expr(): fix array display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
an Carpe
n
ter
delete_state():
f
ix a bug calling delete
state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
g
e
t_variable_
f
rom_
e
xpr(): u
s
e []
for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpen
t
er
f
ix "make instal
l
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpe
n
te
r
f
i
x
b
u
g i
n
p
rinting file nam
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
get_array_n
a
m
e
(
)
: r
e
turn the str
i
p
p
e
d value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
er
wine: pp_
i
nt
e
rnal_error()
doe
s
n't r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unused re
t
urn:
warn
i
n
g
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
e
n
ter
precedence: make test stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpe
n
ter
__USE
_
ISOC99: s
i
lence a gc
c
warnin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
check
_
d
ev_queue_xm
i
t
: make valid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an
C
arpe
n
te
r
check
_
signed: change
some er
r
or
:
messa
g
es to
wa
r
n:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpen
t
er
check
_
signed: fix and tur
n
on by def
a
ult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
e
nter
get_type():
f
ix ca
s
t hand
l
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next