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 unreachable break statements
2013-12-19
Dan Carpenter
u
n
re
a
chable c
o
de: don't
warn ab
o
ut unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpent
e
r
unreachabl
e
c
ode: d
o
n't warn
a
bout em
p
t
y statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
debu
g
:
i
ntroduce
_
_smatch
_
buf_size_rl() which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpe
n
ter
debug:
a
d
d
_
_
s
m
a
t
ch_member_na
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
nter
k
e
rnel, db: ad
d
hweight()
f
uncti
o
ns to the d
a
tab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
k
ernel
,
db:
c
onsi
d
e
r x = htonl(10) and x = 10 eq
u
ivalent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
introduce: smat
c
h_data/kernel
.
no_inline_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpenter
*new* add smatch_d
a
ta/kernel
.
s
i
lenced_functions
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n Carpent
e
r
co
m
mon_functions
.
c: handle
s
t
rlen() and
s
trnle
n
() be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
rpenter
access_ok_ma
t
h: restrict this ch
e
ck to --spam
m
y
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*
n
ew* check_cast_ass
i
gn
.
c: check casting a smal
l
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Ca
r
p
e
nte
r
c
hec
k
_deb
u
g
: fix crashing bu
g
on pr
i
nting
non
-
existant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Ca
r
penter
buf_size: buffer allo
c
ations in the same file are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size:
ignore unknown array siz
e
s
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
enter
strle
n
: record string leng
t
hs across functi
o
n calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
strlen:
re
c
ord assigned strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
e
n
t
e
r
strlen
:
a
dd a comment
and rename some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: handle stri
n
g literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
debug: introduce __sm
a
tch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
s
t
rlen
:
introduce get_implied_
s
t
rlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpen
t
er
math: revert accidentally
committed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_size:
r
ea
d
a range_list
from the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpent
e
r
b
u
f
_size:
s
tore type_
s
iz
e
in two t
a
bles the s
a
me
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an
C
arpenter
buf
_
s
ize: make si
z
e_fro
m
_db() work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
buf_size,
s
t
rl
e
n: sep
a
rate buf_size
a
n
d strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
overflow: use fuzzy_max to warn ab
o
ut array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
math: fix get_fuzzy
_
min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
b
uf_siz
e
: r
e
present buffer
size as
a
ra
n
ge l
i
st instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size: hand
l
e places that dynamica
l
ly alo
c
a
te
s
o
metimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpenter
f
lo
w
:
i
ntroduc
e
__in_
f
unct
i
o
n
_
d
ef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpent
e
r
extra
,
math
:
rework
h
o
w
fuzzy max is h
a
nd
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
buf_size: handle devm_kmalloc()
allocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
C
a
rpenter
ker
n
el
.
ign
o
red_macros: add RT_
A
S
S
ERT and S
K
D_A
S
SERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
smdb: improve
"
where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
r
penter
ranges: introduce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpenter
hel
p
er: work aroun
d
cras
h
ing bu
g
in get_membe
r
_
n
ame()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Ca
r
p
e
nter
local_values: pull cod
e
in o
n
e
i
ndent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed: ignore things w
i
th negative number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
f
low: igno
r
e structs
and unions in set
_
unset_to
_
ze
r
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
modificat
i
on_ho
o
k
s: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
recur
s
e
:
i
ntr
o
duce has_inc_dec
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpente
r
type_val: fix a build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type
_
val: actually
run the c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
r
p
ent
e
r
sm
a
t
c
h
:
a
couple crashing bugs on in
v
alid
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow char t
o
be un
s
igned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
helper: imp
r
ove is_erro
r
_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
type_val:
introduce
s
toring stru
c
t
m
ember
l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
dat
a
_source: load
w
he
r
e data comes from into
t
he databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carp
e
n
ter
.
gitignore: ig
n
or
e
bak
.
sm
a
tc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
db:
fixup_kernel
.
sh:
say
t
hat we
o
nly ha
v
e 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
db
:
preserve unmer
g
ed
st
a
tes in the ->possible bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: grou
p
fu
n
ction pointer
return states t
o
geth
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: order the r
e
turn_st
a
te
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
penter
db:
fixu
p
_ke
r
nel
.
sh: ig
n
o
r
e time
r
_list functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup
_
kernel
.
sh: re
m
ove some USER_DAT
A
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
an
Carpenter
db: impr
o
ve databa
s
e debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Car
p
enter
smatch
.
h
:
s
hift some stru
c
t members around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow: clear_buffer: revert part of com
m
it that
us
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpent
e
r
f
l
o
w: re-write how
struct
members are
ini
t
ia
l
ized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
smat
c
h_clear_buff
e
r:
m
emcpy()
s
hould set the destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
smatch_c
l
e
a
r_buffer:
m
ake a fu
n
ction stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
a
t
c
h
_
da
t
a/kernel
.
clea
r
s_ar
g
umen
t
: rem
o
ve memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
f
low: introduce outs
i
de_of_function() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpent
e
r
db: ke
r
nel: ign
o
r
e
i40e_dbg_netdev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
pe
n
ter
fl
o
w: set m
e
mbers
t
o zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db, extra, us
e
r_
d
at
a
: handle: *x = 1; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
u
ser_d
a
t
a
:
r
emove kmemdup_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpe
n
ter
user_data
:
make
a
f
unction stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
con
t
a
i
ne
r
_of:
p
eople checking th
e
return value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpent
e
r
h
e
l
p
er: fix c
r
ashing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan C
a
r
p
en
t
er
u
s
er_d
a
t
a: make a func
t
i
o
n
s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: export ge
t
_c
o
nst_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
ent
e
r
m
a
t
h
: handle
b
i
t
w
ise
OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpent
e
r
mat
h
: handle LEFT_SHIFT
(a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
C
a
rpenter
math
:
r
emove an impossible cond
i
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpen
t
er
Fix --no-
d
ata so it doesn't spe
w
da
t
abase errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
extra: fix
a cra
s
h parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n C
a
rp
e
nte
r
size
o
f: fix typo in
e
rror m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: compl
a
in
i
f code does sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
t
ype: let get
_
r
eal_base_type() take NULL p
a
ram
e
ter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carp
e
nter
db: rena
m
e
add_retur
n
ed_state_callback() => add_
s
plit_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosen
b
e
r
g info leaks: che
c
k __
c
opy_to_user(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
ros
e
nberg info
lea
k
s: use P
A
R
A
M_CLE
A
RED data from
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carp
e
nter
rosen
b
e
r
g info
l
eaks: use stripp
e
d data from co
p
y_to_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
osenberg info leaks: make check_members_initiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
ext
r
a: handle
"if (a & 0
x
1)" condit
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
flow: fake assigns bett
e
r f
o
r nested str
u
cts and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpe
n
t
e
r
h
e
lper: get_member_name() could store unions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
u
ser_data:
fix cras
h
i
ng bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Car
p
enter
math: impr
o
ve
how casts are hand
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
rpenter
math:
i
ntroduce get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math
:
improv
e
how bi
t
wise AN
D
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpe
n
ter
kernel d
a
ta/: u
p
date
to rec
e
nt l
i
nux-n
e
xt
(
3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
ent
e
r
db: declare
strnlen() as r
e
turning "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_d
a
ta
:
exp
o
r
t is_user_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_
d
ata: mark nt
o
h
l() data as u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
ser_
d
a
ta: i
m
prove tracking set vs pass
e
d in user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
implied: remove som
e
unu
s
ed cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
D
an
Carpenter
check_ove
r
f
lo
w
: silence
s
ome "not allocating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Da
n
C
arpen
t
er
co
m
par
i
son: white space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next