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
extra: assume indexes are in bounds
2013-12-20
Dan C
a
rpent
e
r
ext
r
a
: assume
i
ndex
e
s are
in bound
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
flow: fix struct initialization bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
*
n
e
w
* check
_
a
r
r
a
y_
c
ondition
.
c: arrays c
a
n't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
buf_si
z
e: store ran
g
es in th
e
database instead o
f
single
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
s
t
rlen
:
rem
o
ve some blank li
n
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
u
n
reachabl
e
c
o
de: don't warn abou
t
unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unr
e
a
cha
b
le
c
ode:
don't warn about
e
mpty
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
de
b
ug
:
i
nt
r
od
u
ce __smatch_buf_size_rl()
which
i
s
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
de
b
ug: add __s
m
atch_m
e
mber_nam
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel, db: add hwe
i
ght() func
t
i
ons
t
o
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
n
t
e
r
kern
e
l
,
db: consider x = htonl(10) and x =
1
0 e
q
u
i
valent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Ca
r
penter
intr
o
duce
:
smatch_data/kernel
.
no_inline_funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpenter
*new* add
s
ma
t
ch_da
t
a
/
kernel
.
s
i
lenc
e
d_functions to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n C
a
rpenter
common_functions
.
c: handle
s
trlen(
)
and strnlen() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
access_
o
k_math: r
e
strict this
c
heck to --spa
m
my
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*n
e
w* c
h
eck_cast_as
s
ign
.
c
:
check ca
s
ting a s
m
aller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan
C
arp
e
nter
check_de
b
ug: fix crashing bug on printing non-existan
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
an C
a
r
p
ente
r
b
uf_si
z
e: buffe
r
a
llocations in the same
f
ile are n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: ignore unknown array sizes b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Ca
r
pente
r
strlen: record string l
e
ngths acros
s
fu
n
ction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
enter
strlen: recor
d
as
s
i
g
ned stri
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
str
l
en: add a comment
a
n
d rename som
e
things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
strlen: h
a
ndle string liter
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: introduce __smat
c
h_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpen
t
er
strlen: introduce get_im
p
lied_st
r
len(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpente
r
m
a
th
:
re
v
ert a
c
cid
e
ntally
c
ommit
t
e
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_size: read a range_list fr
o
m
t
h
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf
_
size: store type_size i
n
two tables th
e
same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
b
uf_siz
e
: make size_from_db() w
o
r
k
a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
n
ter
b
uf_s
i
ze,
s
tr
l
en: s
e
parate
b
uf_siz
e
and str
l
e
n
i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
ove
r
fl
o
w
: use
fuzzy_
m
a
x to warn about array
o
verflo
w
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
t
e
r
mat
h
: fix get_fuzzy_min/m
a
x(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
ent
e
r
buf_siz
e
: represent buffer
size a
s
a
r
ange list
inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
n
t
er
buf_size: handle place
s
that dynam
i
cally al
o
cate some
t
imes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
f
l
ow: introduce __in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
e
x
tra
,
m
ath:
rework how fuzzy max i
s
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size: h
a
ndle d
e
vm_kmalloc() alloc
a
tions
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpent
e
r
kernel
.
igno
r
ed_
m
ac
r
os: add RT
_
ASSERT and
S
KD_AS
S
E
R
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Carpe
n
ter
smdb: imp
r
ove "where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges: introdu
c
e rl_h
a
s
_
sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helpe
r
:
w
ork around
c
r
a
shing
b
ug
i
n get_membe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpente
r
lo
c
al_val
u
es: pul
l
code
i
n
one i
n
d
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed: ignore
t
hings w
i
t
h negative numb
e
r of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
flow: ignore
structs an
d
unio
n
s
i
n set_
u
nset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modification_hoo
k
s:
d
elete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
r
ecurse: i
n
t
r
od
u
ce
h
as_inc_dec(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
C
a
rpen
t
er
type_val: fix a build warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
en
t
er
type_val: actually
r
un the c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpent
e
r
smatch: a couple c
r
ashing
bugs
o
n
inva
l
id
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
al
l
o
w
char to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
h
elper:
i
mprove i
s
_er
r
or_retu
r
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
typ
e
_val: int
r
oduce storing struct
m
ember l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_sour
c
e: load where da
t
a comes f
r
om into the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
.
g
i
t
i
gnore: ign
o
r
e
bak
.
smat
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
db: f
i
xup_kern
e
l
.
sh:
s
ay
t
hat we only ha
v
e 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rp
e
nter
db: preserve unmer
g
e
d stat
e
s
i
n th
e
->possibl
e
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
group function pointer return states t
o
ge
t
her
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
penter
db: order the
r
et
u
rn
_
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db
:
f
ixup_kerne
l
.
sh
:
ignore ti
m
er_list functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpenter
db: fi
x
up_kernel
.
s
h
: remo
v
e
some USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpen
t
er
db:
improve databa
s
e
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
Carpenter
smatch
.
h: shift some struct members aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Da
n
Ca
r
pen
t
er
f
low: c
l
ear_bu
f
fe
r
:
re
v
ert part of
commit
tha
t
uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
fl
o
w: re-
w
rite
how
struc
t
memb
e
rs
a
re initialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an Carpenter
smat
c
h_cl
e
ar_buffer: memcpy() should set th
e
destina
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
C
arpe
n
ter
sma
t
ch_clear_buffer: make a function s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
ch_data/ker
n
el
.
clea
r
s
_argument:
r
e
move memset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan
C
a
rpenter
flow: intr
o
duce outside_of_function() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Da
n
Carpenter
db: kernel: ignore i40e_dbg_netde
v
_ops_writ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
f
low: set members to zero by
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db,
extra
,
user_d
a
ta: handle
:
*x
=
1
; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpenter
us
e
r_data:
r
emove kme
m
dup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
C
ar
p
enter
user_data:
m
ake a function sta
t
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
c
on
t
ainer_
o
f
: people checking the retur
n
value of nla_
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix
crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpe
n
ter
user_dat
a
: make a fu
n
c
ti
o
n
s
tati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
Carp
e
nter
m
ath
:
e
x
port get
_
con
s
t_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: hand
l
e bitwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
p
enter
math: handle
L
E
F
T_
S
H
IFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Ca
r
penter
math
:
rem
o
ve an imp
o
ssible con
d
ition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpent
e
r
F
i
x --no-data
so it d
o
e
s
n't spew data
b
ase errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpen
t
e
r
extra:
fi
x
a crash
p
ars
i
ng
i
n
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
en
t
er
sizeof: fix typo
i
n error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: compl
a
in
i
f code does sizeo
f
(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
type: let get_real_base_ty
p
e()
t
a
ke NULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename add_ret
u
rned_sta
t
e_cal
l
bac
k
() =>
add
_
split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
ros
e
nberg info
l
eak
s
: check __copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an
Carpenter
r
ose
n
berg info leaks:
u
se PA
R
AM_C
L
E
ARED data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
r
pente
r
r
o
s
e
nb
e
rg in
f
o leaks: use s
t
rip
p
ed
d
ata from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpe
n
ter
ro
s
enberg i
n
fo leaks:
ma
k
e check_m
e
mbers_initiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
p
enter
extra: ha
n
dl
e
"if (a
&
0x
1
)" con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
pe
n
ter
flow
:
f
ake ass
i
gns bett
e
r for nested struct
s
and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Car
p
enter
help
e
r: ge
t
_member_name() cou
l
d
s
t
o
re uni
o
n
s
(s
o
rt of
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n C
a
rpenter
user_data: fix crashing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
math: improve how cast
s
are ha
n
dle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
math: introd
u
ce get
_
absolute_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
math
:
i
m
prove how bitwise ANDs
are h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
ke
r
n
e
l data/: upda
t
e to recent linux-
n
ext (3
.
11-
r
c1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an C
a
rpenter
db
:
declare strnlen() as returning "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
u
s
er
_
data:
export is_user_m
a
cro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next