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
deref: dereferencing uninitialized warnings should be under --spammy
2014-01-21
Da
n
Carpe
n
ter
deref: dereferencin
g
uni
n
itialized warnings shoul
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Ca
r
pe
n
ter
db/function_ptr
.
s
c
hema: ad
d
an index as a sp
e
ed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-13
Dan
Carpen
t
e
r
s
truct_as
s
ig
n
ment: mov
e
mem
s
et(
)
handling
to struct_assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-13
Dan Carpenter
struct_assig
n
m
ent: handl
e
struct assignments to bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpenter
flow: global structs without an initializer ar
e
initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpenter
hel
p
er: introduce get_param_nu
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-06
Da
n
Carpen
t
er
dma_on_stack: igno
r
e arrays whi
c
h are a param
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
s
mdb
.
py: improvements
to `smdb
.
py buf_
s
ize` and
`smdb
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Car
p
enter
flow: hide a bunc
h
of
the
u
nreachable warnings under
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpen
t
er
kernel
.
s
i
lenced_functio
n
s: add s
o
m
e mo
r
e "asm goto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Ca
r
penter
ext
r
a
:
assume indexes are in bou
n
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rp
e
nter
flow: fix struct initializati
o
n bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
*new* che
c
k
_array_cond
i
t
i
o
n
.
c: ar
r
a
y
s ca
n
'
t
be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
buf_
s
ize: store ran
g
es in
t
he d
a
tabase
i
nstead of single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Ca
r
penter
strlen:
r
e
mo
v
e
some
b
lank li
n
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unre
a
c
h
abl
e
cod
e
: don't warn
about
unreachable break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
unr
e
ach
a
bl
e
code: don't warn about
empty statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
debug: intr
o
d
u
ce
_
_s
m
atch_buf_siz
e
_
rl()
which
i
s more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an C
a
rp
e
nter
d
ebu
g
:
add __smatch_mem
b
er
_
nam
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
kernel,
d
b: add hwe
i
ght()
f
u
nctions to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel,
d
b: consi
d
er x = htonl(1
0
) and x =
10
equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
in
t
roduce
:
smatch_da
t
a/kernel
.
n
o
_
i
n
line_fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
D
a
n
Carpent
e
r
*new* add
smat
c
h
_
d
a
t
a/kernel
.
sile
n
c
e
d_functio
n
s to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common_f
u
ncti
o
ns
.
c
:
h
andle strlen(
)
and strnlen
(
) better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
Ca
r
penter
a
cces
s
_
ok
_
math:
r
estrict this
c
heck
to -
-
spammy outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
Carpenter
*new*
c
h
eck_cast_assign
.
c: check casting a
s
maller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpente
r
check_debug: fix crashing bug
o
n pri
n
ting non-ex
i
st
a
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
nter
bu
f
_size:
b
uffer allocations in the
s
ame fil
e
are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
rpenter
bu
f
_size: ignore unkn
o
w
n
array sizes be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
e
n
te
r
strlen:
rec
o
rd str
i
ng lengths across function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
s
t
rlen: record assig
n
ed strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
penter
s
t
rlen: a
d
d a comm
e
nt and rename some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
s
trlen: handl
e
string li
t
e
ra
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
de
b
ug: intro
d
u
ce __sma
t
ch_strlen(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
s
t
r
len
:
i
nt
r
oduce
g
e
t_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
ma
t
h: rever
t
a
c
cidental
l
y
committed co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
a
rp
e
nter
buf_size:
read a
r
ange_li
s
t from the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
b
uf_size: store typ
e
_size in two tables the sa
m
e as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_si
z
e: make
size_from_db()
w
ork a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_size,
strlen: separ
a
t
e buf
_
size and strl
e
n i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use fuzzy_max to warn
a
bout array
o
verflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: fix get_fuzzy
_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_s
i
z
e
: represent buffer
size as a range list in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Car
p
en
t
er
buf_s
i
ze:
h
andle places tha
t
dyn
a
m
ically aloca
t
e sometimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpent
e
r
flow: introduce __i
n
_function_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math:
r
ewo
r
k
how fuzzy max is
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
Carpenter
bu
f
_size: handle
d
evm_kmallo
c
() a
l
locations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
pente
r
k
e
rnel
.
i
g
nored_macros: add RT_ASSERT a
n
d SKD_AS
S
E
RT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
e
r
smdb: impr
o
ve "where"
o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpente
r
ranges: in
t
roduce rl_
h
as_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: w
o
rk
around crashing bug
i
n get_member_
n
ame()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
r
p
e
nter
lo
c
al_value
s
:
pull
c
ode in one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
check
_
signed: ignore things with negative nu
m
ber of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
fl
o
w: i
g
nore s
t
ruct
s
a
n
d unions in set_unset_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
modi
f
ication_hoo
k
s
:
delete a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recur
s
e: introduce
has_i
n
c_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
typ
e
_val: fix a build warn
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
r
penter
type_v
a
l: actually ru
n
the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an
C
a
rpenter
s
m
atch: a co
u
pl
e
cra
s
hing
b
ugs on i
n
valid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carp
e
nter
allow c
h
ar to
b
e un
s
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
a
r
penter
h
el
p
er
:
impr
o
ve is_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
type_val: int
r
o
d
uce storing struct
m
e
m
b
er
limit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carp
e
nter
data_sou
r
ce
:
load where data
comes from into th
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
.
gi
t
i
gno
r
e: igno
r
e b
a
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpe
n
ter
db: fixup_kernel
.
sh: s
a
y that
w
e o
n
l
y
have 6
4
C
P
Us
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an
C
arpenter
db: preserve
unmerged states
i
n
the -
>
possib
l
e bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
db: group f
u
ncti
o
n point
e
r retu
r
n states together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: order
t
he return
_
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
d
b: fixup_kernel
.
sh: ignore ti
m
er_list functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Ca
r
pe
n
ter
db: fi
x
u
p_kernel
.
s
h: remov
e
some USER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n C
a
rpenter
db: imp
r
ove database
debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
an Car
p
enter
smatch
.
h
:
shift so
m
e struct
members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan
C
a
r
p
enter
flow:
c
lear_bu
f
f
er:
r
e
v
ert part of co
m
m
it tha
t
uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpenter
flow:
re-write how struct m
e
m
b
e
r
s
are initi
a
liz
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatc
h
_cl
e
ar_buffer:
m
emc
p
y() should set t
h
e destina
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
smatch_clear_bu
f
f
e
r:
make a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpe
n
ter
smatch_data/kernel
.
clears_a
r
gument: remove
m
ems
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpen
t
er
flow: introduce outside_
o
f_function() to fix gl
o
bal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpe
n
ter
db: k
e
rnel: i
g
nore i40e_dbg_netdev_ops_wri
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpe
n
t
er
flow: set me
m
bers to zero by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
an Car
p
e
nter
d
b, extra, user_data: handle: *x = 1;
re
t
urn x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpente
r
user_data: remove kmemdup_
u
ser()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
user
_
data: make a functio
n
stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
container_o
f
: people checking
t
he return val
u
e
o
f
n
l
a_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carp
e
nter
helper: f
i
x crashing 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
Dan Carpenter
m
a
th:
e
x
p
ort get
_
const
_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
math:
h
an
d
le b
i
twise
O
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
a
r
penter
math: hand
l
e LEFT_SHIFT
(a <<
b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpent
e
r
math: remove
an im
p
ossi
b
l
e
c
on
d
it
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
F
i
x
--no-data so
it do
e
sn't
s
pew
d
atabase e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: f
i
x a cra
s
h p
a
r
s
ing inval
i
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpenter
sizeof: fix typo
i
n erro
r
m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpenter
size
o
f: complain if
c
ode does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Ca
r
p
e
nter
type: let get_real_bas
e
_type() ta
k
e NULL parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
d
b: re
n
ame add
_
returne
d
_
s
tate_call
b
ack()
=
> add_spli
t
_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n C
a
rpen
t
er
rosenberg info leaks: check __copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info leaks:
use PARAM_
C
LEA
R
ED data fro
m
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpe
n
ter
rosenberg info leaks: use stripped data from copy_t
o
_u
s
er
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg inf
o
l
eaks: make check_members_in
i
tialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next