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 Car
p
e
n
ter
flow: fix struct initializat
i
on bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*new* check_
a
rray_co
n
diti
o
n
.
c: array
s
can't be NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
C
arpenter
b
uf_
s
iz
e
: store ranges in the database instea
d
of
single
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpen
t
e
r
strl
e
n
:
remove so
m
e bl
a
nk
l
ines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
unr
e
ac
h
able code
:
don't warn
a
bout unreachab
l
e break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
p
ente
r
unreachabl
e
code: don't warn
a
bo
u
t
e
mpty s
t
at
e
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
debug: in
t
roduce __smatch_buf_size_rl()
w
hich is mo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
d
e
b
u
g: add __smat
c
h
_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
ar
p
enter
kernel, db: add hweight(
)
funct
i
ons to
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
ern
e
l, db: consider x = htonl
(
10) and x = 1
0
equiv
a
lent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpenter
intro
d
u
c
e: sm
a
t
ch_data/kernel
.
n
o
_inli
n
e
_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan
C
a
r
penter
*new* add s
m
atch_data/kernel
.
sil
e
n
c
ed_fun
c
t
i
ons to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
rpent
e
r
comm
o
n_functions
.
c: handl
e
strle
n
(
)
and strnlen() bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpenter
access
_
ok_math: restrict
t
h
is ch
e
ck to -
-
spammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new* check_cas
t
_assig
n
.
c:
c
h
eck casting a sma
l
l
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n Carpent
e
r
che
c
k_debug: fix crash
i
ng bug o
n
printing non-existant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
Carpenter
b
uf_size: buffer alloca
t
i
ons in the same
file a
r
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Da
n
Carpenter
bu
f
_si
z
e: i
g
no
r
e unkno
w
n
array sizes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
r
pent
e
r
st
r
le
n
:
record strin
g
lengths a
c
ro
s
s functi
o
n c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
str
l
en: record assigned strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
strlen: add
a
comm
e
nt and re
n
ame some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Ca
r
penter
strlen: handle
s
t
r
ing liter
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
deb
u
g
:
introduce __smatch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
str
l
en: int
r
oduce
g
e
t_implied_
s
trlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math
:
revert accidentally comm
i
t
t
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
buf_size: read a
range_li
s
t from the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
bu
f
_size: s
t
ore
type_size in
t
wo table
s
the same a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
arpenter
buf_size: make size
_
from_db() work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_si
z
e,
strlen: se
p
ar
a
te buf_si
z
e and
s
t
r
l
en i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
o
v
erflow: use
f
uzzy_max
to warn about array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
math: fix
g
et_fuzzy
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f
_
size: represent buffer si
z
e as a r
a
nge
l
i
st instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
buf_siz
e
: h
a
n
d
le places
tha
t
dyna
m
ically alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
flow:
i
ntroduce __i
n
_f
u
nc
t
io
n
_
d
ef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpenter
extra, mat
h
:
r
ewor
k
how fuz
z
y
max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
C
a
rpent
e
r
buf_size: handl
e
devm_kmalloc() allocation
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
kernel
.
ignored_macros: add RT_ASSE
R
T
and SKD
_
ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
C
arpenter
smdb: improve "where" out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Ca
r
penter
rang
e
s: in
t
roduce rl_has_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
helper: wo
r
k aroun
d
crashin
g
bug in get
_
member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
C
arpenter
local_va
l
ues
:
pull
c
o
d
e
in
one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpen
t
er
check_signed: ignore thin
g
s with n
e
gative
n
umb
e
r
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
f
l
ow: ignore str
u
cts
a
nd
u
nions in
se
t
_unset_to
_
zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
modifica
t
ion_hooks: delete a blank
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pen
t
er
recurse:
in
t
roduce has_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
type_val: fix a buil
d
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
C
arpenter
type_val: act
u
a
l
l
y
run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
C
arpente
r
smatc
h
: a
c
ouple
crashing bug
s
on in
v
alid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpente
r
allow cha
r
to b
e
unsi
g
ned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
help
e
r: impr
o
ve is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
ent
e
r
t
ype_val
:
introduce storin
g
struct m
e
mb
e
r
limit
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_s
o
urce: load wher
e
data comes from into the
d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
.
g
itignore: i
g
nore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
n
ter
db: fixup_kernel
.
sh: say
that we only have
64 CPU
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Car
p
ente
r
db
:
preser
v
e unmerged
s
tates in the ->poss
i
b
le bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
e
nter
db: group func
t
ion
p
o
i
nter return st
a
tes together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b
: order th
e
retu
r
n
_
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpe
n
ter
db:
fixup_kernel
.
sh:
ignore time
r
_list
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpenter
db
:
fixup_ker
n
el
.
sh
:
remove some USER_
D
AT
A
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db:
i
m
p
rove databas
e
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Car
p
ent
e
r
smatch
.
h: shift some str
u
ct
m
embers around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow: c
l
ear_buff
e
r: re
v
ert part
of comm
i
t
tha
t
uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
r
pen
t
er
flow: re-
w
rite ho
w
s
t
ruct members are
initia
l
ized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
smatch_cl
e
ar_b
u
ffer: memc
p
y()
should set the destinati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
smat
c
h_clear_buff
e
r: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
smatc
h
_data/ker
n
el
.
clear
s
_argument: remove memse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
C
arpent
e
r
f
low: introduce outsid
e
_of_functio
n
() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan
C
arp
e
nter
db:
k
ernel: ignore i40e_dbg_net
d
ev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
f
l
o
w
: set members to zero
b
y
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db,
e
xt
r
a
,
user_data
:
handle: *x =
1; ret
u
rn x
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
user_da
t
a: rem
o
ve kmemdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Ca
r
penter
us
e
r
_
data: make a fu
n
ction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
c
onta
i
ner_of: people checkin
g
the
r
eturn
value of nla_dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan C
a
rpenter
user_data
:
mak
e
a
fu
n
ction
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
m
ath: expor
t
get_const_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpente
r
m
a
th: han
d
le b
i
tw
i
se OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
t
h: han
d
le
LEFT_
S
HIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: remove an
i
mpos
s
ible conditi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan
C
arpenter
Fix --no-data so it
doesn't spew database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpente
r
ex
t
ra: f
i
x a crash p
a
rsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Car
p
enter
s
i
zeo
f
: fix ty
p
o in
e
rror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpe
n
ter
s
izeof:
complain if code does
s
izeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpente
r
type: let get_rea
l
_
base_type()
t
a
k
e NULL
p
a
rameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: r
e
na
m
e add_returned_state_ca
l
lback() => add_
s
p
l
it_retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
nter
rosenberg info l
e
aks: check __c
o
py_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an C
a
rpenter
r
o
s
enb
e
r
g info leaks: use PARAM_CL
E
ARED 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 lea
k
s: use
s
tripped data from copy
_
to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
rosenberg info leaks:
m
ake
c
heck_memb
e
rs_initi
a
liz
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
extra: handle "
i
f
(
a
& 0x1)"
c
o
ndi
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
flow: fake assigns better
for nested structs and
array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpent
e
r
h
e
l
p
er: ge
t
_me
m
ber_name() could store unions
(
sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: fix crashing bu
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
math: improve how ca
s
ts
are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
m
ath: introduce get
_
absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
mat
h
:
i
mprove
how
bitwis
e
ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
k
ern
e
l data/
:
update to
rece
n
t linux-next (3
.
11-
r
c1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
p
e
nter
db: declar
e
strnlen() as returning
"0
-
s3
2
max[<=p1
]
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
us
e
r_
d
ata: e
x
port i
s
_user_m
a
cro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user_
d
ata: mark n
t
ohl() data
a
s user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next