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
Da
n
Carpenter
f
l
ow: fix struct initialization
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpe
n
t
e
r
*new* ch
e
ck_array_co
n
dition
.
c: arrays can't be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
buf_size:
s
t
o
re
r
ange
s
in the da
t
abas
e
instead of single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
strlen: remove some bl
a
nk line
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
ter
unreachabl
e
code: don't war
n
about unreachabl
e
b
r
eak
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
e
r
unreach
a
ble
c
ode: don'
t
warn about empty statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
debug
:
introduce __smat
c
h
_
buf_size_rl() which i
s
more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpe
n
ter
debug: add __smatch_member
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
ke
r
n
e
l, db:
a
dd hweight() functions to
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n C
a
rpenter
kernel
,
db:
c
onsider x = htonl(10) and x = 10 equival
e
nt
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
i
ntr
o
duce: smatc
h
_data/kernel
.
no_i
n
line_fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Da
n
Carpenter
*new*
a
d
d sm
a
tch_data/kernel
.
silenced_function
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
comm
o
n_funct
i
ons
.
c: han
d
le s
t
rlen() and str
n
l
e
n() bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
access
_
ok
_
m
a
th: restrict this che
c
k to --sp
a
mmy
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*
n
ew* chec
k
_
ca
s
t_
a
ss
i
gn
.
c
: ch
e
c
k
cas
t
ing a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan C
a
rpen
t
er
check_debug: fix crashin
g
b
ug on print
i
ng
n
on-existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: buffer
a
lloc
a
tions in t
h
e sa
m
e file
a
re not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpen
t
er
buf_siz
e
: igno
r
e unk
n
own array size
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
s
tr
l
en
:
record strin
g
leng
t
h
s
across functio
n
cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen:
r
ec
o
r
d
a
ssigned st
r
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
t
rle
n
: add a
c
omme
n
t and rename some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
str
l
en: handle
string litera
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpent
e
r
debug: int
r
oduce __
s
match_strlen(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
strlen: in
t
r
oduce get_i
m
plied_st
r
len(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
math
:
revert ac
c
id
e
ntally
committed
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an
Carpe
n
ter
b
u
f_
s
ize
:
read a range_list from th
e
databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carp
e
nte
r
buf_size: store type_size in
two
ta
b
les the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
bu
f
_s
i
z
e: make size
_
from_db()
w
ork again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f_size
,
s
trlen: separat
e
b
uf
_
s
ize and strlen
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
o
verf
l
ow: use fuzzy_m
a
x to war
n
about
a
rra
y
overflo
w
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
m
ath
:
fix get_fuzzy_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
buf_s
i
ze: represent buff
e
r si
z
e
a
s
a
range
l
ist ins
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpenter
buf_size: handl
e
p
l
aces that dynamically
a
locate som
e
times
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
f
l
ow: intr
o
duce
__in_f
u
nctio
n
_
de
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpent
e
r
extra, math: rewo
r
k
how fuzzy max is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_siz
e
: handle devm_kmalloc(
)
a
l
locations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpen
t
er
kernel
.
igno
r
ed_macros
:
add RT_AS
S
ERT
a
nd SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpent
e
r
smdb: improve "where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges: introdu
c
e
rl_has_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper:
work around
c
rashing bug in
g
et_member_nam
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
l
o
c
al_values: pull cod
e
in on
e
i
n
de
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed
:
i
g
nor
e
things with negative number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
flow: ignore structs and
u
nions in set_unset_t
o
_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modifica
t
ion_hooks:
d
ele
t
e a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
r
e
curse: introduce has
_
i
n
c_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: fix a bu
i
ld warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpenter
type_val: actu
a
lly run
the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Car
p
ente
r
smatch
:
a
couple crashi
n
g bugs on inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an C
a
rpenter
allow
char to be
unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Ca
r
penter
helper: improve is_error_return
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_val: introduce stor
i
ng s
t
r
u
ct member limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
data_source: load where d
a
ta comes from into
t
he data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
gitignor
e
: ignore bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fixup_kernel
.
sh: s
a
y
that we only have
6
4 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
db
:
p
r
eserve
unmerged stat
e
s in the -
>
p
ossible better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
a
r
penter
d
b
:
group function pointe
r
r
e
turn stat
e
s t
o
g
e
ther
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpente
r
d
b
: order the ret
u
rn
_
sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpe
n
ter
db:
fixup_kernel
.
sh: igno
r
e timer_list functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
pent
e
r
d
b
: fixup
_
kernel
.
sh:
r
emo
v
e s
o
me USER_DATA
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpe
n
ter
db:
i
m
p
ro
v
e d
a
tab
a
s
e debug
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h: shift some
s
truc
t
me
m
be
r
s
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
a
n Carpenter
f
l
ow: clear
_
buffer: revert pa
r
t of
c
ommit that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
an Car
p
e
nt
e
r
flow:
r
e
-wri
t
e how
struct m
e
mbers
a
r
e initial
i
zed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpent
e
r
smatch_clear_buf
f
er: memcpy() should set t
h
e dest
i
nat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
a
t
c
h_clear_buffer: make a functi
o
n stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
s
matc
h
_data/kernel
.
clears_
a
rgument: remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpe
n
t
e
r
flow: intro
d
u
c
e
outside_of_
f
un
c
tion() t
o
fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel
:
igno
r
e i4
0
e_dbg
_
ne
t
d
ev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
fl
o
w:
set mem
b
ers to zero
b
y default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
db, extra, use
r
_data: handle:
*
x
= 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
pe
n
t
e
r
u
s
e
r_data: remove
k
m
emdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
u
s
er_dat
a
: 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
ain
e
r_
o
f: people
c
h
eck
i
ng the
r
e
turn value o
f
nla_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpe
n
ter
he
l
pe
r
:
fix c
r
ashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
D
a
n Carpenter
user_
d
ata: make a function
s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
Ca
r
penter
ma
t
h: exp
o
rt ge
t
_c
o
nst_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpente
r
math: handle bitwise OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carp
e
n
ter
math: handle LEFT_S
H
IFT (
a
<< b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
math: remove an impossible condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
F
i
x --no-data so i
t
doesn't spew d
a
ta
b
ase errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
C
arp
e
n
t
er
extra:
f
ix
a
crash par
s
ing i
n
valid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpente
r
sizeof:
f
ix typo
i
n
error mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carpe
n
t
e
r
sizeof: co
m
plain if code does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
type: let ge
t
_r
e
al_base_t
y
pe() take NULL parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan C
a
r
pe
n
ter
db:
r
ename add_returned_s
t
at
e
_call
b
a
c
k
(
) => add_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg i
n
fo le
a
k
s
:
check __copy_to_u
s
e
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
o
senberg
in
f
o leaks: use PARAM_CLEARED
data from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
ros
e
nberg info le
a
ks: use st
r
ipped
data fro
m
cop
y
_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
rose
n
b
erg info leaks: make chec
k
_
m
embers_ini
t
ialize
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an
C
arpenter
e
xt
r
a: handle "if (a & 0x1)" condi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
flow
:
fake assig
n
s bette
r
for
n
e
sted structs and array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Ca
r
penter
helper: get_member_nam
e
() cou
l
d st
o
re unions
(
sort o
f
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpent
e
r
user_data:
f
ix cra
s
h
i
ng bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
ente
r
math: improve
h
o
w
casts
a
re ha
n
d
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
t
h: in
t
r
oduce get_ab
s
ol
u
te_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
t
h: improve ho
w
bitwise A
N
Ds
a
re ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
Carpenter
ke
r
nel data/: upd
a
te
t
o
r
ecent linu
x
-
next (3
.
11-r
c
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
db: dec
l
are
strnlen() as returning
"0-s32max
[
<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
t
er
user_data: export is_user_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpe
n
te
r
user_d
a
ta: mark nto
h
l
(
) data as user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next