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
*new* check_resource_size(): prod people to use resource_size()
2010-02-17
Dan
Ca
r
penter
smatc
h
_
s
tates: white space c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
C
arpent
e
r
sm
a
tch
i
s supposed to be
u
sin
g
"long l
o
ng" ty
p
es
internal
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
new_bugs
.
s
h
:
better
filtering of
s
match
e
rrors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
handle stuff
l
i
ke
the
kern
e
l's WARN
_
ON() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
sm
a
tch_extra: foo = !!x; does not mod
i
f
y
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpenter
handle assignment
s
like:
foo =
!bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
chec
k
_ov
e
rflow: check for mem
s
et(
)
iss
u
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
a
ut
o
ma
t
ically gen
e
rate the l
i
st of
f
un
c
t
i
o
ns which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan C
a
rpen
t
er
*new* sma
t
ch_
s
cri
p
t
s
/summari
z
e_errs
.
sh: script f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Car
p
enter
kernel:
f
i
x x
f
s false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
c
heck_ove
r
flo
w
: hand
l
e: "in
t
*p = &a
r
r
a
y;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_overflow: f
i
x
bug in get_array
_
siz
e
_bytes
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
push some more stuff
on t
h
e
b
ig_expre
s
sion_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nt
e
r
check_overflow:
h
andle casts like ((char *
)
a
r
r
ay)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carpen
t
er
ch
e
ck_
o
verflow:
f
i
x
a
s
si
g
ning arrays t
o
point
e
rs of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpe
n
t
e
r
check_
o
v
e
rf
l
o
w
:
f
i
x
al
i
g
n
ment bug i
n
g
et_a
r
ray_size
_
bytes
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_ove
r
flow: prefer rec
e
nt assig
n
m
ents over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
A
d
d quotes around string lit
e
r
a
ls in
s
m
atch ou
t
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
C
a
r
p
ent
e
r
check_overflow: upda
t
e strcp
y
(
)
and strnc
p
y() c
h
e
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Ca
r
pente
r
ker
n
el
.
no_
r
eturn_
f
uncs: __
r
eiser
f
s_p
a
nic doe
s
n't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck_overflow: s
t
ore t
h
e
size in by
t
es in
s
tead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
penter
check_o
v
er
f
lo
w
:
don't c
o
mpl
a
in about if
(ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
smatch_flow: change how the big expres
s
ion st
a
c
k works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpent
e
r
check_overflow: rena
m
e
my_decl_id => my_s
i
z
e_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
ch
e
c
k
_overflow: whi
t
e space
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
e
c
k
_
overflow: use the _
e
xpr() h
o
oks inst
e
ad of d
o
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
check_o
v
e
r
f
l
ow: remove some
o
ld debug
g
i
ng co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_overfl
o
w: rename dest => arra
y
_
expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
ch
e
ck_overflow: get
_
initializer_byt
e
s() =
>
get_initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
enter
check_
o
ve
r
flow: op
t
i
o
n_spammy => op
t
i
on_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pente
r
check_
o
verflow
:
handle indexed array initializations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpen
t
er
chec
k
_overflow
:
fix endless lo
o
p
p
a
r
sing "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix get_impli
e
d_m
a
x()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpenter
check_ove
r
flow: lots of improvements and also a validation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash calli
n
g
get_type() on implicitly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n C
a
rp
e
nte
r
Add
smat
c
h_data/kernel
.
no_r
e
turn_
f
un
c
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
f
un
c
tion
h
ooks: get ri
d
of conditional
f
uncti
o
n hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
ar
p
ente
r
add smatch_scripts/new_bu
g
s
.
sh:
p
rints
the bugs introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpen
t
er
err_ptr_
d
e
r
ef:
update t
o
u
s
e newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
a
r
penter
unreachable code: enable by de
f
ault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpen
t
er
s
how_unre
a
chable
.
sh
:
add
-
k
(
kernel
m
ode) -b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
unreachable co
d
e: work around gcc work arounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Ca
r
penter
pr
i
nt an error me
s
sage about unre
a
ched initialize
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan
C
arpe
n
t
e
r
check_st
a
ck: tweak
th
e
output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
C
h
r
i
s
t
oph
e
r
Li
P
o
inter
d
on't inherent the
a
li
g
nmen
t
fr
o
m
b
ase typ
e
commit
|
commitdiff
|
tree
2010-02-08
Dan Carp
e
nter
New c
h
eck_stac
k
.
c: w
a
r
n if
k
ernel code
p
uts too m
u
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpe
n
ter
Add register_p
r
ojec
t
() to check_li
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carp
e
nte
r
update the docume
n
tatio
n
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
che
c
k_memor
y
: only loa
d
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:
s
match
_
project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
a
rpenter
bail if thi
n
gs are taking too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add smatch_sc
r
ipts/filter_k
e
rnel_deref_
c
heck
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Carpenter
check_
d
eref_
c
hec
k
:
d
o
n
ot
complain in
l
oop pre condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
twe
a
k unreachable
c
ode mess
a
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
an Carpenter
c
h
e
c
k
_si
g
ned: ha
n
dle sig
n
e
d
1
bit valu
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n
C
arpenter
check_signed:
don'
t
compla
i
n about uns
i
gned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new functio
n
: t
y
pe_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
Carp
e
nter
part
l
y
r
e
p
la
c
e check_null
_
dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
modification
hooks: only allow
o
ne hook pe
r
vari
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpen
t
er
introduce: s
e
t_
d
ef
a
ult_modifica
t
ion_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n C
a
rpe
n
ter
cleanup: get rid of sm
a
t
ch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpente
r
check_null_deref: only the kernel cares about faile
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan C
a
rpent
e
r
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpent
e
r
c
h
eck_
s
igned: clean ups
.
add ch
e
c
k for impos
s
ibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
ma
k
e everything use
s
matc
h
_function_ha
s
htabl
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nter
add
smatch_funct
i
o
n_hashta
b
le
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
Move every
t
hing to t
h
e ne
w
cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
an Carpente
r
add cwchash hash table im
p
lementation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bedichek
Novafora license g
r
a
nt using MIT license
.
commit
|
commitdiff
|
tree
2010-01-21
D
a
n C
a
r
penter
funct
i
on_implies_hoo
k
: fix bu
g
when a func
t
ion
h
as
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
check
_
signed:
w
ar
n
o
n
assigning
n
egative
to uns
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
enter
Make
s
matc
h
w
o
rk
a
g
a
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
C
a
rpenter
Me
r
ge git://
g
it
.
ker
n
el
.
org/pub/scm/deve
l
/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the checks o
u
t of sma
t
c
h
.
c
into chec
k
_l
i
st
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
s
ilen
c
e some sparse warnin
g
s:
() =>
(
void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
introdu
c
e:
type_min
(
)
a
nd ty
p
e_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpen
t
er
wine WtoA: fix
c
r
ashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new file
:
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
show_ifs
.
sh: Add th
e
-C o
p
ti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memory
:
eliminate
some
fal
s
e
p
ositi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the
return value was g
e
tti
n
g
cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
check_signed: clarif
y
error
me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpent
e
r
w
ine_
f
i
l
eh
a
ndle
s
:
if the f
i
le ha
n
d
l
e gets r
e
a
s
si
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carp
e
nter
Hel
p
kchecker and wine_checker
.
sh fin
d
t
h
e smatc
h
binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_var
i
able_f
r
om_expr(): fix
a
rray display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
d
e
lete_state(): fi
x
a bug
c
a
l
ling delete sta
t
e
i
n
side
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
ter
get_va
r
i
a
b
le_from_expr(): use [] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
f
i
x "
m
ake install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
e
n
te
r
fix
bu
g
i
n
printing file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n Ca
r
penter
ge
t
_array_name(): return the stripped v
a
lue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpenter
w
i
ne:
pp_internal_erro
r
() doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpenter
u
n
used
r
eturn: warni
n
g: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpenter
precedence:
make test stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpenter
__USE_ISOC99: s
i
lence a gcc w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpen
t
er
chec
k
_dev_queue
_
xmit: make valid_
u
se() sta
t
ic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Car
p
enter
check_
s
ig
n
e
d
:
change some error: messages to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
arpenter
che
c
k
_
si
g
ned: fix and
turn
on by
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
get_type
(
): fix cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
get_value(
)
: add initial
sup
p
or
t
for h
a
ndling
c
asts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
er
whitesp
a
ce: "switc
h
(
"
=> "switch (
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next