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
Dan Carpenter
deref: dere
f
eren
c
ing uninitialized warning
s
shoul
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpent
e
r
db/function_ptr
.
schema
:
add an index as a s
p
e
e
d u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-13
Dan
C
arpenter
struct_assignmen
t
:
move memset() han
d
lin
g
to struct_as
s
ignmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-13
Dan Car
p
enter
s
t
r
uct_assig
n
ment: handle str
u
ct assig
n
ment
s
to better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpen
t
er
flow:
glo
b
a
l
structs w
i
th
o
ut an
i
nitiali
z
e
r
are initial
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-10
Dan
C
a
rpenter
he
l
per: introduce get_param_num()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-06
Dan Ca
r
pe
n
ter
dma_on_s
t
ack: ign
o
re arra
y
s which a
r
e a parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Da
n
C
a
r
penter
s
mdb
.
p
y
: imp
r
ovemen
t
s
to
`
smdb
.
py b
u
f_s
i
ze` a
n
d
`
smdb
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Ca
r
penter
flow:
hide a bunch of
t
he unreachable wa
r
nings under
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Da
n
Carpenter
k
e
rnel
.
s
ilenced_functions: add some
m
or
e
"asm goto
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
D
a
n C
a
rpenter
extra:
assume indexes ar
e
in bounds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
flow
:
fix
s
truct in
i
tializat
i
on bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpenter
*new* check_array_condition
.
c: ar
r
ay
s
can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
buf_size: sto
r
e ranges in t
h
e datab
a
se
i
nstead of si
n
gle
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an C
a
rpent
e
r
strlen: remove some bl
a
nk li
n
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
C
arpen
t
er
unreachable code: don't war
n
about unreachab
l
e break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreachabl
e
code: d
o
n't warn abo
u
t empty statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: introduce _
_
s
mat
c
h_buf_size_rl() which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
debug:
a
dd
__smat
c
h_membe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
ke
r
nel, db: add hweight() functions to the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel, db: consider x = hton
l
(
1
0) and x = 10 equivalen
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpenter
introduce: smatc
h
_dat
a
/ke
r
nel
.
no_inline_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
D
an C
a
rpenter
*
new* ad
d
s
m
atc
h
_da
t
a/kernel
.
silen
c
ed_f
u
nctions to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan
Carpenter
c
o
mmon_f
u
nctions
.
c: handl
e
strlen() and strnlen() bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
rpenter
acc
e
ss_ok_math
:
re
s
trict
t
h
is check to --spammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
C
a
rpenter
*new* check_cast_assign
.
c: c
h
eck
c
ast
i
n
g
a smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Car
p
enter
check
_
debug: fix crash
i
ng bug on printing
non-
e
xista
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
enter
buf_size:
buffer allocations in
the s
a
me file are
not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Ca
r
penter
buf_size:
i
gno
r
e
unknown array si
z
es be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Carpenter
strlen: r
e
cord
s
tring
lengt
h
s
a
cros
s
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
strlen: record assigned
s
t
r
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
str
l
e
n
:
a
dd
a
c
omm
e
n
t and ren
a
m
e
som
e
th
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
str
l
e
n
:
ha
n
d
l
e
stri
n
g
literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
n
ter
debug: introduc
e
__smatch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpent
e
r
strlen: intro
d
uce get
_
implie
d
_
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
math: revert accidentally commit
t
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: r
e
ad a ran
g
e_list from the dat
a
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: stor
e
type_
s
ize in two tables the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make si
z
e_from_db(
)
wo
r
k again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
buf_size, strlen: separate buf_
s
i
z
e
and strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
overflow: use fuzzy_max to warn
a
bou
t
array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
math: fix
g
e
t
_
fuzzy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Car
p
e
nter
bu
f
_
s
i
z
e: represen
t
buf
f
e
r
size as a range
l
ist ins
t
ea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an
Ca
r
penter
buf_size
:
handle place
s
that dyna
m
ically al
o
cat
e
s
o
m
e
t
imes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpent
e
r
flow: introduce _
_
in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arp
e
nter
extra, mat
h
: rework how fuzzy max is
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carp
e
nt
e
r
bu
f
_
s
ize: handle devm_kmalloc() a
l
locations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
kernel
.
ignored_macros: add RT_
A
SSERT
a
n
d SKD_AS
S
E
RT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
s
m
db: im
p
rove "
w
here" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
e
r
ranges:
i
ntro
d
uce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
enter
help
e
r
:
w
o
rk around
crashing
b
ug i
n
get_
m
embe
r
_na
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local_value
s
: pu
l
l code in one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
ch
e
c
k
_signed
:
ignore thi
n
g
s
with negative number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
flo
w
: ig
n
o
r
e
structs and unions in set_unset_to
_
zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
p
e
nter
modificati
o
n_hooks:
d
elete a b
l
a
n
k
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse: intro
d
uce has_
i
n
c_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
type_val: fix
a
b
uild
warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Car
p
enter
type_val: act
u
ally run the c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
smatch: a couple crashing bugs on
invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an
C
arpe
n
ter
allow char
to be un
s
igned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
ar
p
enter
helpe
r
:
im
p
rove
i
s_error_re
t
urn
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
type_val:
i
ntro
d
uce
s
to
r
ing struct mem
b
er
l
imits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
data_sourc
e
: load where data c
o
m
es from
i
nto the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
gi
t
ignore: ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
a
r
penter
db
:
fixu
p
_kernel
.
sh: say t
h
at we only
h
a
v
e 64 C
P
Us
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
db: preserve unmerged states in t
h
e ->possible
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group functi
o
n pointe
r
return s
t
ates to
g
et
h
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Ca
r
penter
db:
f
i
xup_kernel
.
sh: ign
o
re tim
e
r
_list function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpente
r
db: fixu
p
_kernel
.
sh
:
remove some USER_D
A
T
A c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Car
p
e
n
ter
db: improve database debug
g
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Da
n
Carpenter
smatch
.
h: s
h
i
f
t
s
ome struct
m
embers around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flo
w
: clear
_
buffer:
r
evert part of c
o
mmit th
a
t us
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n C
a
r
pent
e
r
f
low: r
e
-writ
e
how
s
truct members are initial
i
zed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_clear
_
buffer: memcpy()
should set the destina
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
smatch_clear
_
buffer: make
a
f
un
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n C
a
rpenter
smat
c
h_data/k
e
r
ne
l
.
c
l
ears_ar
g
umen
t
: re
m
ove m
e
ms
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
Carpenter
fl
o
w: introdu
c
e o
u
t
side_of_funct
i
on() to fix
g
loba
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: k
e
r
n
el: ignore
i
40e_dbg_netdev
_
ops_write
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
penter
flo
w
: set
m
embe
r
s
to zero b
y
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n C
a
rpenter
db, extra, user_data: handle: *x = 1; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpe
n
ter
user
_
data: remove kmem
d
up_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
use
r
_
d
ata
:
make a
f
unction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
a
rpent
e
r
container_
o
f:
p
e
o
ple checking th
e
re
t
urn v
a
lue of
nla
_
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan
Carpe
n
te
r
helper:
f
i
x crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Ca
r
penter
u
ser
_
data
:
make a function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nter
m
a
th
:
e
x
port
g
e
t
_co
n
s
t_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: h
a
ndle bitwi
s
e OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpent
e
r
m
a
th: ha
n
dle
LEFT_SHIFT (a <<
b
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
m
a
th: remo
v
e an impossible condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix
-
-
no-dat
a
so
i
t
d
oesn
'
t spew databa
s
e errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: fix a crash parsing in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof
:
fix typo in error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
sizeof:
c
o
mplain if
c
ode does siz
e
of(
4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
C
a
r
p
ent
e
r
t
y
pe: let get_real_base_t
y
pe
(
) take NUL
L
p
arameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename add_returned_s
t
ate_callba
c
k() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosen
b
erg in
f
o
leaks: check __copy
_
to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
rosen
b
erg info leaks: use PARAM_CLEARED data
from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
ro
s
enberg info leaks: us
e
stripped
d
ata from copy
_
to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
rose
n
berg
info
leak
s
: make
c
h
eck_members_initialize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next