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
flow: hide a bunch of the unreachable warnings under the --spammy flag
2013-12-20
Dan Carpen
t
er
fl
o
w: h
i
d
e
a bunch of the un
r
e
achab
l
e warnings un
d
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
k
ernel
.
silenced_functi
o
ns: add some more
"
asm goto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan C
a
rpenter
ext
r
a: assume
i
nde
x
es are in bounds
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
C
arpent
e
r
*
n
ew* chec
k
_array_condi
t
i
on
.
c
: arrays can'
t
be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Car
p
enter
buf_siz
e
: st
o
re ranges in the database instead
o
f single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
ter
s
t
rlen: remove some
b
lank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unr
e
a
chab
l
e code:
don't warn about unreachable break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
unre
a
chab
l
e
c
ode: don't warn
about empt
y
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Ca
r
pen
t
er
debug: intro
d
uce
_
_
smatch_buf_size_rl(
)
which
is more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an
C
ar
p
e
nte
r
debug
:
ad
d
_
_smatch
_
member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
C
arpente
r
kernel, db
:
add hweight()
f
unc
t
ions to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpenter
kernel,
db
:
consider x =
htonl(10) a
n
d x = 10 equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
introduce: smatch_data/kernel
.
n
o
_
inline_fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpen
t
er
*ne
w
* add
s
match_data
/
kernel
.
s
i
lenc
e
d_funct
i
ons to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
c
ommon_fun
c
tions
.
c
: hand
l
e strlen()
a
nd strnl
e
n() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
an
Car
p
enter
access_ok_ma
t
h
: restrict this check to --spammy
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan
C
arpenter
*ne
w
* check_
c
a
s
t_assig
n
.
c: check
c
asti
n
g
a smalle
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan
C
a
r
p
e
nter
check_
d
ebug: fix crashi
n
g bug on printing non-existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpen
t
er
b
uf
_
size
:
buffer allocations in t
h
e same file ar
e
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Da
n
C
a
r
p
ent
e
r
buf_size: ignore un
k
nown ar
r
a
y
sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpe
n
ter
strlen: record string lengths ac
r
oss func
t
ion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
strlen: re
c
ord assigned strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
t
rlen:
a
dd a comment and rena
m
e so
m
e
thi
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
strlen: h
a
ndle string liter
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
debug: introdu
c
e _
_
s
m
atch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: in
t
r
o
duce get_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
r
p
ente
r
m
ath: rever
t
accidentally
c
om
m
i
tted
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_s
i
ze: read
a
r
a
nge_lis
t
from the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
ent
e
r
buf_
s
ize: store
t
ype_size in two table
s
the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make size_from_db() w
o
rk ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Ca
r
pe
n
t
e
r
buf_size, strlen: sep
a
r
ate buf_size and
s
t
rlen
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
overflow: use fuzzy_
m
ax to warn a
b
out array o
v
e
r
f
lows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
math: fix get_fuzzy_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
b
uf_size:
r
e
present buffer si
z
e
a
s
a
range list
i
n
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpen
t
e
r
buf_size: handle pl
a
ces that dynamica
l
ly alocate som
e
times
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpenter
flo
w
: intro
d
uce __in_
f
u
n
c
tion_
d
ef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
extra, math: rework
h
ow fuzzy max i
s
h
a
n
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
an
C
arpenter
buf_size: handle devm_kmalloc() allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
nter
kernel
.
ignor
e
d_macros:
a
dd RT
_
A
S
S
E
R
T and SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
s
mdb:
i
mprov
e
"where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpe
n
t
er
ranges: introduce
rl_
h
as_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
helpe
r
:
work around crashi
n
g bu
g
i
n get
_
mem
b
e
r
_n
a
m
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
r
pen
t
er
l
o
cal_v
a
lues: pull code i
n
one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
e
r
check_si
g
ned: ign
o
re t
h
ings with
n
e
gative
n
u
mber of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
f
l
ow
:
i
gnor
e
structs an
d
unions in set_u
n
s
et_t
o
_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
modi
f
icati
o
n
_hook
s
:
d
elete a
b
l
ank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpe
n
ter
recurse
:
introduce has_inc_dec
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
t
y
pe_val: fix a build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nte
r
t
ype_val:
a
ctual
l
y run the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
s
m
atch:
a
c
o
uple crashing bugs
o
n
i
nval
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
al
l
ow cha
r
to
be
u
ns
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
helper: improv
e
is_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
type_val: i
n
t
r
o
duce storing s
t
r
uct m
e
m
ber limit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
d
ata_source: load
w
here data comes from into the
d
ataba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
r
p
en
t
er
.
gitignore: ignore bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
d
b
: fixup_k
e
rnel
.
sh: say that we on
l
y have 64 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
en
t
er
db: preserve unme
r
g
ed sta
t
e
s in the
-
>possibl
e
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpen
t
er
d
b
: gro
u
p
function pointer
r
e
t
urn states toget
h
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpenter
d
b
:
order t
h
e
return_
s
ta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_
k
ern
e
l
.
sh: i
g
nore timer_l
i
st functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db
:
fixup
_
kernel
.
s
h
: remove some U
S
ER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db: improve
database debuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
s
match
.
h: sh
i
ft some
s
t
r
u
ct m
e
mb
e
r
s around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
an C
a
r
penter
flow: cl
e
ar_b
u
f
f
er: revert p
a
rt of commit that u
s
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
flow: re-write how struct members a
r
e initi
a
lized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
atch_clear_buffer: memcpy()
s
hould set the desti
n
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
sm
a
tc
h
_
clear_buffer: make a func
t
ion st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
an Carpente
r
sma
t
ch_
d
ata/kernel
.
clea
r
s_argument: remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flow:
i
nt
r
o
du
c
e out
s
ide_of_function()
t
o fi
x
globa
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan
C
arpenter
db:
k
ernel: ignore i40e_dbg_n
e
tdev_ops_w
r
ite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carp
e
n
ter
flow: set memb
e
rs to
z
ero by
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
pen
t
er
d
b, ex
t
ra,
use
r
_
data: ha
n
d
le: *x = 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpenter
user_dat
a
: remove kmemd
u
p_user(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpe
n
ter
u
ser_data:
m
ake a funct
i
on static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpen
t
er
c
ontainer_o
f
: people checking
the ret
u
rn
v
alue
o
f nl
a
_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix crashi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_data: make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
an Car
p
enter
math: export get_const
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
an
Ca
r
penter
ma
t
h: han
d
le
bitw
i
se OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: h
a
ndle LEFT_SHIFT (a
<< b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
enter
math: remo
v
e a
n
imposs
i
b
l
e c
o
nditio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
F
ix --no-data
s
o it doe
s
n't sp
e
w database e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
r
p
enter
extra: fix a crash parsing invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpenter
sizeof
:
fi
x
typo in error m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
an C
a
rpenter
siz
e
of:
c
o
mplain if c
o
de does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
type: let get_r
e
al_b
a
se_type() tak
e
N
U
LL parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan
Carp
e
nte
r
db:
r
ename add_returned_
s
tate
_
ca
l
lback
(
) => add_sp
l
it_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg in
f
o leaks:
c
heck
__copy
_
to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpe
n
ter
rosenbe
r
g info leaks: use PAR
A
M_CLEAR
E
D
d
a
t
a
fr
o
m th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpe
n
ter
rosenberg
i
nfo leaks: use stripped data fro
m
copy_
t
o_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
ros
e
nberg
i
n
fo
leaks: make c
h
e
c
k_me
m
b
e
r
s
_i
n
itia
l
ized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: handle
"if (a & 0x1)" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
e
nter
flow: fake as
s
ig
n
s better for nested st
r
ucts
a
nd
array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
help
e
r: get_me
m
ber
_
name() c
o
u
ld store unio
n
s
(
s
ort of
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
user_da
t
a: fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
math: impro
v
e
how casts are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpente
r
math: introdu
c
e get_ab
s
olute
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math
:
improve
h
ow bitwise A
N
Ds are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
kernel data/: upd
a
te to rec
e
nt linux-next (3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next