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_proc_create() check for world writable proc files
2010-03-04
D
a
n
C
a
rpenter
smatch_flow: clean up
.
merge co
m
mon code in ha
n
d
l
e_pre_loo
p
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
im
p
rove impli
e
d_
c
ondit
i
on_true() fo
r
pre and
p
o
st ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpente
r
while co
u
n
tdown loops: handle loops where the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpent
e
r
handle for
loops where we don
'
t
know t
h
e
uppe
r
lim
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
s
m
atch_flow: handling pre
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an
C
arpenter
extra: compa
r
ing
s
omet
h
ing to zero d
o
esn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nter
c
h
e
ck_overflow: relax
r
ules on if
(
ptr < &array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
extra: ha
n
dle
loops like
while(
i
--)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
clean up: mer
g
e a cou
p
l
e functio
n
fo
r
handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Carpenter
fix handling of (2 <=
x) comparisons wher
e
the variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpen
t
er
check_signed: dis
a
ble mos
t
of
the n
e
w wa
r
nin
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpen
t
er
get_
t
ype() fix cra
s
h
on getting pointer type
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpente
r
get_value(
)
m
ore int t
o
l
ong long mo
p
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_typ
e
()
fix
pointer
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fi
x
get_va
l
ue(
)
for ((uns
i
gned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_ma
x
(
)
: hand
l
e
unsigned l
o
n
g long
.
(sort
o
f)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
get rid
of --rare opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
p
e
n
t
er
rename get_singl
e
_val
u
e_from_range(
)
=
>
get
_
single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
f
or
l
o
ops: add a special case for "for(i = 0; i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpe
n
ter
check_
s
i
gned: ch
e
ck i
n
t
types
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
smatch
.
c: use strncpy() instead o
f
strcpy
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
debug: rename __smatch_pr
i
nt_value()
=
> __s
m
atch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
t
er
chec
k
_
signed: expr->o
p
is typ
e
int not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Intro
d
uce get_fu
z
zy_
m
in()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
precedence: cut down a
few false p
o
sitives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpen
t
er
*new* che
c
k
_
le
1
6: p
r
int
a
n
er
r
or
for double
c
pu_t
o
_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an
C
arp
e
nter
*new*
c
heck_m
o
d_timer: print
a
n warning if
someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan
C
arpente
r
s
t
rip_expr
(
): remove
f
orce casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
k
p
atch
.
sh: figu
r
e
the ema
i
l
a
dd
r
ess
out automatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pent
e
r
*ne
w
* smatc
h
_scripts/kpatch
.
sh: script
f
or
mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
Print
f
ewe
r
mes
s
age
s
a
bout unre
a
c
h
ed co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
smatch_conditions: small cleanups and add debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
fix W
A
RN_ON handli
n
g some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
an
C
a
rpenter
smatch
_
templ
a
te:
s
m
all change
s
to comm
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
Carpe
n
t
e
r
clean
u
p the makefile
a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n
C
a
r
p
e
n
t
e
r
handle a
s
s
ignments
like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
penter
smatch_states: whi
t
e s
p
ace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch
is
s
u
p
posed to be using "long long" types int
e
r
n
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
n
e
w_bu
g
s
.
sh: better filt
e
ring of smatch erro
r
s fro
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpe
n
ter
handle stuff like the kernel's
WARN_ON() mac
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
smat
c
h_extra:
f
oo = !!x; does no
t
m
odify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpenter
hand
l
e
a
ssignments
like: fo
o
= !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
check_
o
verflow: chec
k
f
or memset() issu
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
au
t
omatically generate t
h
e list of functions
w
hich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*ne
w
* smatch_scripts/summarize_errs
.
sh: sc
r
i
p
t for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n
C
a
r
penter
k
ernel:
f
ix xfs f
a
lse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Car
p
e
nter
ch
e
ck_over
f
l
o
w: h
a
ndle: "int *p =
&
arr
a
y;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Car
p
e
nter
check
_
overflow:
f
ix bug i
n
get_
a
rr
a
y_
s
ize_byt
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
n
t
er
push some more
s
tuff on
t
he big
_
expressio
n
_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpe
n
ter
ch
e
ck_overfl
o
w: handle c
a
s
t
s like ((char
*)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Ca
r
pen
t
er
check_overflow: fix
a
ssignin
g
a
r
r
ay
s
to
pointers of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_overflow:
fix alig
n
ment bug in get_array_siz
e
_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
chec
k
_overflo
w
:
prefer
r
e
cent assignments over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpent
e
r
Add quo
t
e
s
around string lite
r
a
l
s
in sm
a
tch output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
verflo
w
: up
d
ate strcpy() and strncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
kernel
.
no_return_fu
n
cs: __
r
eiserfs_
p
anic doesn't r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_overflow: store the size in b
y
t
es i
n
stead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
che
c
k_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
smatc
h
_flow: ch
a
n
ge how the big expression
st
a
ck works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
chec
k
_over
f
low: rename my_d
e
cl_
i
d => my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_overflow: white sp
a
ce c
h
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check
_
overflow:
u
se the _e
x
pr(
)
hooks
instea
d
of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_overflow: remove some
old debug
g
i
ng
co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carp
e
nte
r
c
hec
k
_
o
verflow: rename dest => array_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
ar
p
e
nte
r
check_ov
e
rf
l
ow
:
get_
i
niti
a
li
z
er
_
byt
e
s() =
>
get
_
initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpe
n
ter
c
heck_overflow: option_spammy => option_
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_
o
verflow: han
d
le inde
x
ed ar
r
ay
initializati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
pe
n
ter
check_overflow:
fix endle
s
s loo
p
par
s
ing "int x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an C
a
rpent
e
r
fix g
e
t_imp
l
ied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpe
n
ter
check_overflow: lot
s
of improvements and also
a
valida
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carp
e
nter
fix c
r
a
s
h calli
n
g get_t
y
pe() on
i
mplic
i
t
ly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpente
r
A
d
d smatch
_
data/kernel
.
n
o
_return_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
func
t
i
on hook
s
: get rid of conditional function hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carp
e
nt
e
r
add smatch_scripts/
n
ew_
b
ugs
.
sh: prints the bugs introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nt
e
r
err_
p
tr_de
r
ef:
update to
use newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreachable code: enable by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
show
_
un
r
ea
c
hab
l
e
.
s
h
: add -k (kernel mode) -b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carp
e
nte
r
unr
e
acha
b
l
e
code: work arou
n
d gcc
wo
r
k
a
r
ounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan C
a
r
pent
e
r
print an error messa
g
e about
u
nre
a
c
h
ed initializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan
C
arpenter
check_stack
:
tw
e
a
k
t
he output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Ne
w
che
c
k_stack
.
c:
warn
if kerne
l
code p
u
ts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Add regi
s
ter_p
r
oject()
t
o
c
h
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Da
n
Car
p
enter
updat
e
the documentation a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
D
a
n Carpenter
check_me
m
ory:
o
nly load kernel
.
frees_argument when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpenter
C
re
a
te: smatch_pr
o
ject
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
nter
bail if
t
hi
n
gs a
r
e takin
g
too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpenter
add smatch_scripts/f
i
lter_kernel_d
e
ref_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpent
e
r
check_deref_
c
heck: do n
o
t complain in loop pre conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan
C
arpe
n
ter
tweak unreachable c
o
de messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpe
n
t
e
r
check_signed: handle
s
i
g
ned 1 bit values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
ch
e
ck_
s
i
gned:
d
on
'
t
comp
l
ain about
uns
i
gned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new fun
c
tion: type_unsigned(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
p
artly r
e
place ch
e
ck_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpen
t
er
m
odifica
t
i
o
n
hooks:
o
n
ly allow one
h
ook p
e
r variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
C
a
rpenter
i
n
tro
d
uc
e
: set_default_
m
o
d
ification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cle
a
nup: get rid of
s
ma
t
ch_co
n
tainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_
n
ull_
d
eref: only the kernel c
a
r
es a
b
o
u
t
fai
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpente
r
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpen
t
e
r
check_sig
n
e
d
: c
l
ean up
s
.
add ch
e
ck for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
make
everything use s
m
atch_functio
n
_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next