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
flow: fix struct initialization bug
2013-12-19
Dan Carpenter
f
l
o
w
: fix struct
in
i
tializ
a
tion bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
*n
e
w
*
ch
e
ck_a
r
ray
_
condition
.
c: arrays
c
an'
t
be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
bu
f
_size: store range
s
in the database i
n
ste
a
d of single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
pen
t
er
strlen: r
e
m
o
v
e
some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unrea
c
hable
co
d
e
:
don
'
t warn
a
bout
u
n
reachable break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n C
a
r
p
e
nt
e
r
un
r
eachable code: don't warn about empty
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Car
p
enter
debug
:
in
t
roduce __smatch_buf_s
i
z
e_
r
l()
whic
h
is more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
debug: add __sma
t
ch_m
e
mbe
r
_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
kerne
l
,
d
b: add
h
weight() functions to
th
e
dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
kernel,
d
b: consider x = htonl(
1
0) and x = 10 equivalen
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
i
n
troduce: sma
t
ch_
d
a
t
a/kernel
.
no
_
inl
i
ne_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan
C
arp
e
nter
*new* add smatch_data
/
k
ernel
.
silenced_func
t
ions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
c
o
mmon
_
fun
c
ti
o
ns
.
c: hand
l
e strlen() and
strnlen() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
an
Carpenter
access_ok
_
math:
r
estrict this che
c
k to --spammy outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new* check_
c
a
s
t
_
a
ssign
.
c:
c
heck casting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n
Carpenter
c
h
eck_
d
ebug: fix crashing bug on printing
non-exi
s
tant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: buffer a
l
locations in the same
file
a
re not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan C
a
rpenter
b
uf
_
s
iz
e
:
ign
o
re
u
nkno
w
n arra
y
s
i
zes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
strlen
:
record string lengths across functio
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
t
rlen: re
c
or
d
a
s
signed stri
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: ad
d
a
comment
a
nd renam
e
some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
strl
e
n: handle string
l
i
ter
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug
:
introduce __smatch_s
t
rlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: in
t
rodu
c
e
g
et_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
m
a
th: r
e
v
e
rt accidentally
committed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: read a range_list from the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
bu
f
_si
z
e: store ty
p
e
_
si
z
e
in two tables the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_
s
ize: ma
k
e size_fr
o
m_
d
b
(
) work again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
buf_size, strlen:
s
e
p
a
r
a
t
e
buf_size an
d
strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
o
v
e
rflow: us
e
fuzzy_m
a
x to warn about a
r
ray overf
l
ows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
m
ath: fix get_fuzzy_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
buf_size: represent buffer size as a range list instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpent
e
r
bu
f
_size:
h
and
l
e places
that dynamically alocate sometimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
f
low: introduc
e
__in_f
u
n
c
tion_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math
:
rewor
k
how fuzz
y
max is hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpenter
buf_s
i
ze: han
d
l
e
devm_kmalloc
(
) allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
k
e
rne
l
.
i
g
nored_mac
r
os: add RT
_
ASSERT and SKD_AS
S
ERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
smdb: improve "
w
here" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges: introduce rl_has_s
v
al
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
h
e
lper: work aroun
d
cr
a
shing bug in get_member_name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Ca
r
p
e
n
ter
local_values: pull code in
o
ne indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pen
t
er
check_
s
i
g
n
ed: ig
n
ore things
w
ith negative number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ig
n
ore structs and uni
o
n
s
in
s
et_unset_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
r
penter
modifi
c
ation_
h
ooks: d
e
le
t
e a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse
:
i
n
troduce has
_
inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: fix a build
w
a
r
ni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
type_val: actually ru
n
the c
o
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Ca
r
penter
smatc
h
:
a coup
l
e crashi
n
g bugs o
n
in
v
alid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
al
l
ow
c
h
ar
to be unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helper: improve is_error_return(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
p
ent
e
r
type_val: introduce storing struct memb
e
r
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpe
n
ter
da
t
a_source: loa
d
where data c
o
mes from
into
the d
a
t
a
b
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Car
p
enter
.
gitignore:
i
g
n
ore bak
.
s
m
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: f
i
x
up_kernel
.
sh
:
say that we only have 6
4
CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: p
r
eserve unmerged s
t
ate
s
in the ->possible better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpente
r
db: gro
u
p func
t
i
o
n poin
t
er return stat
e
s t
o
gether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: orde
r
the return_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_kernel
.
sh: ignore
timer_list functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
nter
db: fixup_kernel
.
sh: re
m
ove
s
om
e
US
E
R_DATA
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n
Carpenter
db: improve data
b
a
s
e debugg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Da
n
Ca
r
p
enter
smatch
.
h: shift some str
u
ct member
s
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
f
l
o
w
:
clear_
b
u
f
fer: revert
p
art o
f
commi
t
t
h
at uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
f
low:
r
e
-
write how struct members are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
a
t
c
h
_
c
lea
r
_buffer
:
m
emcpy
(
) should set t
h
e
destinatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpenter
sm
a
tch_clear_buffer: make a f
u
n
ctio
n
sta
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
mat
c
h
_data/kernel
.
clears_arg
u
ment: remove m
e
mset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
f
low: intro
d
uce outside_of_function()
to fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Ca
r
pe
n
ter
db: k
e
rne
l
: ignore i40
e
_
dbg_ne
t
dev_ops
_
write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
flow: set membe
r
s
t
o
zero by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpen
t
er
db, extra, user_dat
a
: h
a
ndle: *x
=
1
;
r
e
t
urn x
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
ar
p
enter
user_data: remove kmemdup_
u
ser()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpenter
u
s
er_d
a
ta:
m
ake a function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n C
a
rpenter
con
t
ainer_of: people checking the ret
u
rn va
l
ue of nla_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n Carpen
t
er
h
e
l
per: f
i
x crashin
g
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carp
e
nter
u
s
er
_
data: make a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
a
rpenter
mat
h
: export get_c
o
nst_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
penter
m
a
t
h:
handle bi
t
wise
O
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
m
ath: handle LEFT_S
H
IFT (a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: remove an impossibl
e
c
o
ndition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
an Carpenter
Fix --no-dat
a
so it doesn't spew dat
a
base erro
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Ca
r
penter
extra
:
fix a cras
h
par
s
ing in
v
al
i
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
si
z
eof: f
i
x typo
in e
r
r
o
r
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Ca
r
p
e
n
ter
sizeof: co
m
plai
n
if code does si
z
eof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
rpenter
type:
let get_real_base_type(
)
t
ake NULL para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
d
b
: r
e
n
a
m
e add_r
e
t
urned_state_callback() =
>
ad
d
_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
r
o
senberg inf
o
l
e
a
ks
:
check __copy_to
_
us
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
rose
n
berg info le
a
ks
:
u
s
e PARAM_CLEARED data f
r
om the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
r
osenbe
r
g info lea
k
s: use stripped d
a
ta from copy_to
_
us
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
te
r
r
o
s
enbe
r
g
info leaks: ma
k
e c
h
eck_me
m
bers_initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
e
x
tra:
handle "if
(
a &
0
x1
)
" c
o
nd
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carp
e
nter
f
low: fake ass
i
gns better for nested
structs
and a
r
ray
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n C
a
rpenter
hel
p
er: get_member_name()
could st
o
re
unio
n
s
(
sort of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpenter
user_data:
f
ix crash
i
ng bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
math: improve
h
ow casts are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
math: introduce
get_abs
o
lute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
ma
t
h: impr
o
v
e
how bitwise A
N
Ds
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpen
t
er
kernel
d
a
t
a/: update to re
c
ent l
i
nux-ne
x
t (3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Ca
r
pe
n
ter
db: declare
s
trnlen() as returning "0-s32max[<=
p
1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
s
er_data: e
x
p
o
rt is
_
user_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user_d
a
ta: mar
k
ntohl() da
t
a
a
s user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next