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
unreachable code: don't warn about empty statements
2013-12-19
Dan Carpen
t
er
unre
a
chable code:
d
o
n't warn about
e
m
pty
statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
d
ebug
:
intr
o
duce __sma
t
ch_buf_size_
r
l
() which is mor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
t
er
de
b
ug: add
_
_smatch_memb
e
r_n
a
me(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
e
rnel, d
b
: add
h
weight() fun
c
tions to the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
kerne
l
, db: consider x = htonl(10)
and
x = 10 e
q
uivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
i
ntroduce: smatc
h
_
d
ata/k
e
rnel
.
no_inline_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Da
n
Ca
r
penter
*new*
a
dd
s
match_
d
ata/kernel
.
sil
e
nced_functions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
Carpenter
common_functions
.
c: handle strlen()
and strnlen()
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpente
r
acce
s
s_ok_ma
t
h: restrict this c
h
ec
k
t
o --spammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new*
c
heck_
c
ast_assign
.
c: check castin
g
a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpen
t
er
c
heck
_
debug:
f
ix c
r
ash
i
ng bug
on printing
n
on-exist
a
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpe
n
ter
buf_size: buff
e
r
allocations in the
s
ame file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Ca
r
pe
n
t
er
buf_size
:
ignore unkn
o
wn array sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
Carpenter
strlen
:
record
s
tring lengths across function
c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
strlen: recor
d
assigned strin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
strlen: add a comme
n
t and rename som
e
thin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: handle str
i
ng liter
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
de
b
ug:
i
ntroduc
e
__
s
m
a
tch
_
strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
strlen: intro
d
uce get_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
math:
r
evert accidentally co
m
mitted c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
buf_size
:
read a
r
ange_list
from the d
a
t
abas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
buf_size: store type
_
size in two tables t
h
e
s
ame as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_
s
ize: make size
_
from_db() work
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
buf_size, strlen: s
e
parate buf_
s
i
z
e and strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
ove
r
flo
w
: u
s
e fuzzy_max
t
o
w
arn about array overflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
rpenter
math: fix get_fu
z
zy_min
/
m
ax
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f
_
size: r
e
p
resent buf
f
er siz
e
a
s
a
range lis
t
i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
u
f_si
z
e: handle p
l
aces
t
hat dynamical
l
y alo
c
ate someti
m
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
flow: introduce __in_
f
unction_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
e
r
extra
,
math
:
rework ho
w
fuzzy ma
x
is ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan C
a
rpen
t
er
buf_size: handle devm_kmalloc() allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
ke
r
nel
.
ign
o
red_m
a
cros
:
ad
d
RT_ASSERT and S
K
D
_
A
S
S
E
RT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
a
r
penter
smdb: improve "where
"
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
rang
e
s: intro
d
uce rl_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpenter
helper: work around
c
rashing b
u
g in get_member_
n
ame
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local
_
values
:
pull code in
o
ne indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
check_signe
d
: i
g
nore thing
s
with negative
number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpenter
flow: ignore s
t
ructs and unions in set_unse
t
_to_zer
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
rpente
r
modi
f
ica
t
ion_hooks:
de
l
ete a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
r
e
curse: in
t
roduce ha
s
_inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpenter
type_val: fix a build
w
arning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
type_v
a
l
:
actu
a
lly r
u
n the
c
ode
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpent
e
r
smatch: a couple c
r
ashing
b
u
g
s on
in
v
al
i
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow cha
r
to b
e
unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carp
e
nter
helper:
i
m
pro
v
e is_error_re
t
urn(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
ty
p
e_val: i
n
t
roduce s
t
oring str
u
ct mem
b
er limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
dat
a
_source: loa
d
where da
t
a comes from into
t
he database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpe
n
ter
.
giti
g
n
ore: ignore
b
ak
.
sma
t
ch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an C
a
r
penter
d
b
: f
i
xup_kernel
.
sh
:
say
t
h
a
t we only ha
v
e 64 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an
C
ar
p
e
n
t
e
r
db: preserve unmerged states in th
e
->possible better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpent
e
r
db:
group function
p
oint
e
r return states
t
ogether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
arp
e
nter
db: order the r
e
t
ur
n
_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
p
enter
db: fixup_kerne
l
.
sh:
i
gn
o
re timer_list
func
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpente
r
db: fixup_kernel
.
sh:
remove some USE
R
_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpe
n
ter
db: improve database debuggin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
a
n
Carpenter
smat
c
h
.
h: shift some st
r
uc
t
members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
a
n C
a
rpenter
f
low
:
clea
r
_buffer: revert par
t
o
f c
o
m
m
it that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpent
e
r
flow: re
-
w
r
ite how
s
truct m
e
mbers are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
smatch_clear
_
buf
f
e
r:
me
m
c
py
(
) shoul
d
s
e
t the d
e
stina
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
ch_cl
e
ar_b
u
ffe
r
: make a func
t
ion s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
a
rpenter
sm
a
tch_dat
a
/kernel
.
clears_argument: re
m
ove memset
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
D
an Carpenter
flow: i
n
troduc
e
o
u
tside_of_func
t
ion() to fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db:
kernel: ign
o
re i40e_
d
bg_ne
t
de
v
_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
flow: set m
e
mbers
t
o z
e
ro by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
db, extra, use
r
_data: handle: *x =
1; r
e
turn x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_data: r
e
m
o
ve k
m
emdup_user(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpe
n
te
r
user_data: make a funct
i
on static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
e
n
t
e
r
container_of: peopl
e
checking the
retur
n
va
l
ue of nl
a
_dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
an Carpente
r
helper: fix crashing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_data: make a fun
c
tio
n
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math
:
e
xport get_con
s
t
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
an Carpenter
math: han
d
l
e
bitwis
e
O
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handle LEFT_SHIFT (a
<
< b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rp
e
nter
math: remo
v
e an impos
s
ible c
o
n
ditio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
an Carpe
n
ter
Fix --no-
d
ata so it
do
e
sn't spew
d
atabase
err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpen
t
er
extra: fix a
crash parsing inv
a
lid co
d
e
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 Ca
r
p
e
n
ter
s
izeof: com
p
lain if
cod
e
d
o
es size
o
f
(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
C
a
r
p
enter
type: let get_real_base_type()
tak
e
NULL
p
a
r
a
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Car
p
enter
db: rename a
d
d_r
e
t
u
rned_stat
e
_c
a
llback() => add_split_r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosen
b
er
g
i
nfo leaks: check __c
o
py_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosen
b
erg info leaks: use PARAM_CLEARED data
from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info
l
eaks: use
s
tri
p
ped data
from c
o
py_t
o
_use
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
ent
e
r
rosenb
e
r
g info le
a
ks: make check_mem
b
ers_initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
extra
:
handle "if (a
&
0x1)" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
flow: fak
e
assi
g
ns
b
etter
f
or nested structs and
array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
he
l
per: get_me
m
ber_name(
)
coul
d
sto
r
e unions (sor
t
of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carp
e
nter
u
ser
_
data: f
i
x cr
a
shing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpent
e
r
mat
h
: improve h
o
w ca
s
ts
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
C
arpente
r
m
ath:
i
n
tro
d
uc
e
get_
a
bso
l
ut
e
_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
math: im
p
rove how b
i
twise
AN
D
s ar
e
hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pente
r
k
e
rnel dat
a
/: update to
r
ecent linu
x
-next (3
.
1
1
-
rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpent
e
r
db
:
decla
r
e strnlen
(
)
as re
t
u
r
ning "0-s32max[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpente
r
user
_
data
:
export is_user_ma
c
ro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpe
n
ter
u
se
r
_da
t
a
: m
a
rk ntoh
l
(
)
data as
user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
user_data: impr
o
ve tracking set
v
s pass
e
d in user
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpent
e
r
impl
i
e
d: remove so
m
e un
u
sed cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan Carpente
r
c
heck_ove
r
flow: silenc
e
so
m
e "not all
o
ca
t
i
n
g eno
u
gh
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
co
m
parison: white sp
a
ce cl
e
anup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan
C
arpenter
e
xt
r
a: handl
e
b
i
nop
compar
i
sons better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next