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_array_condition.c: arrays can't be NULL
2013-12-19
Dan
C
arpenter
*new* check_a
r
r
ay_condition
.
c: arrays can't be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
buf_size:
s
t
ore ranges in the d
a
tabase inste
a
d of
single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpente
r
strl
e
n: remo
v
e
some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an C
a
rpenter
u
n
r
e
a
chable code: don't warn about unreachable b
r
eak
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreacha
b
le code: don'
t
w
arn about empty statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
n
ter
debug:
i
ntrod
u
ce __s
m
a
t
c
h_buf_size_rl() which is m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: add __sm
a
tch_
m
em
b
er_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Ca
r
penter
kernel, db:
a
dd hwe
i
ght() functions to the data
b
ase
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 Carpente
r
int
r
oduce:
s
m
a
tch_data/kernel
.
n
o
_inline_fun
c
ti
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
D
a
n C
a
rpenter
*new* add
s
match_
d
ata/ker
n
el
.
sile
n
c
ed_functio
n
s to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
e
n
ter
common_functi
o
ns
.
c: handle strlen() a
n
d strnlen()
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
ac
c
ess_ok_math: restrict this
check to
--spammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
*new* ch
e
ck_cast_a
s
si
g
n
.
c
:
check c
a
sting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan
C
ar
p
e
nter
check_debug: fi
x
crashing bug o
n
printing non-e
x
istant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpe
n
ter
buf_size: buffer allocat
i
ons in t
h
e same file are
n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carpente
r
bu
f
_s
i
ze:
ig
n
ore unk
n
own
a
r
ray sizes b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
an
C
arpent
e
r
strl
e
n: record string length
s
acros
s
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
strlen: rec
o
rd assigned strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
n
te
r
strlen: add a comment
a
n
d renam
e
some thi
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: handle string literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
de
b
ug: i
n
t
roduc
e
_
_
smatch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
s
t
r
l
en: introduc
e
g
et_implied
_
s
t
r
len()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
math:
rever
t
ac
c
identa
l
ly commi
t
ted
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
en
t
er
buf_size: re
a
d a ra
n
ge_list from th
e
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
buf_size: store t
y
pe_si
z
e in two tables the same
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make size_fr
o
m_db() wo
r
k again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpent
e
r
bu
f
_size, strlen: s
e
parat
e
buf_siz
e
a
nd strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
ove
r
flow: use fuzzy_max to
war
n
a
b
out a
r
ray
o
verflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpent
e
r
math: fi
x
get_fuzzy_m
i
n/max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_size: repr
e
sent buffer s
i
ze as a
r
a
nge list instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
buf_size: handle places tha
t
dynamic
a
lly a
l
ocate sometimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpenter
flow:
i
n
troduce __in_funct
i
on_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
ex
t
r
a, m
a
th: rework
how
fuzz
y
max
i
s
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpenter
b
uf_size: handle devm_km
a
lloc() allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Ca
r
pe
n
ter
kerne
l
.
i
g
nored_macros: a
d
d RT_ASS
E
RT
a
nd SKD_AS
S
ERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Ca
r
penter
smdb: improve "whe
r
e" o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
p
enter
ranges: introduce
r
l_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
h
elper
:
w
o
rk arou
n
d crashing bug in get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
loc
a
l
_
values: pull code in
on
e
indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
check_
s
igned: ignore things with nega
t
ive
n
u
mber of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flo
w
:
i
gnore
s
t
ructs a
n
d unions in set_unset_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modif
i
cat
i
on_hooks:
d
elete a bla
n
k
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recur
s
e
: introduce ha
s
_inc
_
de
c
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
C
a
rpenter
t
ype
_
v
a
l:
f
ix a build war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
p
ent
e
r
t
ype_v
a
l: actual
l
y run t
h
e
c
ode
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch: a co
u
ple c
r
ashing bugs o
n
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Car
p
e
n
ter
allow cha
r
to be
u
n
s
igned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helper: impr
o
ve is_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_
v
al: introduc
e
storing str
u
c
t
m
e
m
ber
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_source: lo
a
d where data co
m
es from
i
nto
t
h
e
data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
.
gitigno
r
e: ignore ba
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
db: fixup_kernel
.
sh:
say that we
only have 64
C
PU
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rp
e
nt
e
r
db: preserve unmerge
d
states i
n
t
h
e
->possible
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group function poi
n
ter ret
u
r
n
st
a
t
e
s together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
t
er
db
:
order t
h
e return_state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n
Carpente
r
d
b
: fixup_kernel
.
sh
:
ignore timer_l
i
st funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpente
r
db: fixup_ker
n
el
.
sh: remove som
e
USER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
a
rp
e
nter
db:
i
mpro
v
e
database debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h: s
h
ift s
o
me struct m
e
mb
e
rs around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan C
a
rp
e
nter
flow: clear_bu
f
f
e
r: revert
p
art of
c
ommit that u
s
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpent
e
r
flow: re-
w
r
i
te how struct members are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch
_
clea
r
_buffer: memcpy() should set the des
t
ina
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n
Ca
r
p
e
n
te
r
smatch_clea
r
_
b
uffer: make a functio
n
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
r
p
en
t
er
s
match_d
a
ta/kernel
.
clears_argume
n
t: remo
v
e memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
D
a
n Carpent
e
r
f
low: introduce out
s
ide_of_function() to
f
ix glo
b
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db:
k
ernel: ignore
i40e_dbg
_
n
e
tdev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpen
t
er
f
l
ow: set members to z
e
ro by d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpen
t
er
db, extra, user_data: handle:
*
x = 1; retu
r
n x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arp
e
nter
user_data: remove
k
memdup_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Ca
r
penter
u
s
er_data:
make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
container_of: peo
p
le checking the return value of nla
_
data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n Carpent
e
r
helper: fix crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan
C
arpenter
us
e
r_data:
make a fu
n
ction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
ma
t
h: export get_
c
ons
t
_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
math: ha
n
dle bitwi
s
e OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carp
e
nter
math:
handle LE
F
T_SHIFT (a <<
b
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
pente
r
math: rem
o
v
e
an impossible cond
i
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan
C
arpenter
Fix
--
n
o-d
a
ta so it d
o
esn't spew
d
atabase errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carpen
t
e
r
e
x
tra: fix a crash parsin
g
i
n
valid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Ca
r
penter
sizeof: fix typo
in error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof: com
p
lain
if cod
e
do
e
s size
o
f(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpe
n
ter
type: let get
_
r
eal_base_type() take NULL paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename add_ret
u
rned
_
state_callback() => a
d
d_sp
l
i
t_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
rosenbe
r
g info leaks: check __copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
n
ter
rosenbe
r
g
info l
e
aks
:
us
e
PARA
M
_CLEARED d
a
ta from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
ar
p
e
n
ter
rose
n
ber
g
info leaks:
u
se s
t
ripped data f
r
om copy_to_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
rosenb
e
rg info leaks:
m
ake che
c
k_members_initia
l
iz
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
ext
r
a: han
d
le "if (a &
0
x
1
)" con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
fl
o
w
: fake
ass
i
gns bett
e
r for ne
s
ted s
t
ruc
t
s and arra
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
helpe
r
: get_m
e
m
b
er
_
nam
e
() cou
l
d s
t
ore un
i
ons (
s
o
r
t of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpent
e
r
u
s
er_data: fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
C
a
rpen
t
er
m
a
th: improve how casts are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
math: in
t
roduce
g
et_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
e
nter
math: improve how bitwise ANDs
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
kernel d
a
ta/:
u
p
date to
r
ecent l
i
nu
x
-
n
ext
(
3
.
1
1
-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
db:
d
eclare
strnlen(
)
as
r
eturni
n
g "0-
s
32max[<=p1]
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user
_
data: export i
s
_user_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
C
arpenter
user_data: mark ntohl() data as user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
user_da
t
a: improve
t
racking set vs passed in user dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next