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
extra: assume indexes are in bounds
2013-12-20
D
an Car
p
e
nter
extra: assume inde
x
es are in
b
o
unds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpe
n
ter
fl
o
w: fix struct initialization bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpente
r
*
n
ew* check_
a
rray_
c
ondition
.
c:
a
rrays can'
t
be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
buf
_
size
:
store r
a
nges
i
n the
database instead of sin
g
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
r
penter
s
t
rlen
:
r
e
move som
e
blank li
n
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
unreacha
b
le code: do
n
't war
n
abou
t
un
r
eacha
b
le break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
ter
unreachable code:
don't w
a
rn about em
p
ty statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
debug: introduce __sm
a
tch_
b
uf_siz
e
_rl()
w
hich is
m
ore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpenter
debu
g
: add __s
m
atch_member_na
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
r
penter
kernel, db: add hw
e
ight() functions
to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpe
n
ter
kernel, db: consi
d
er
x = h
t
onl(1
0
) and
x = 10 equ
i
vale
n
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Car
p
enter
introduce: smatch
_
data/kernel
.
no_inline_funct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan C
a
r
p
enter
*new* add smatch_d
a
ta/kernel
.
silenced_funct
i
ons to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpe
n
ter
comm
o
n_function
s
.
c:
handle strle
n
() and strnl
e
n() b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
ente
r
a
c
cess_ok_math: restrict thi
s
c
h
eck to --spammy
o
ut
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpente
r
*new* check_cast_ass
i
gn
.
c: check casting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n
Ca
r
pent
e
r
check_debug: fix crashin
g
bug
o
n pri
n
ting non-e
x
istant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
arp
e
nte
r
buf_size: buffer all
o
c
a
tions in
t
he s
a
m
e
file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n C
a
rpe
n
t
e
r
buf_size: ignore unknown array size
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpen
t
er
st
r
l
e
n: record string
lengths acros
s
f
u
n
ction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen
:
r
eco
r
d assi
g
ned
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
s
t
rlen: add a comme
n
t and rename some th
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nte
r
s
t
rlen: handle str
i
ng literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: introd
u
ce __
s
mat
c
h
_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
s
t
r
l
en:
i
ntroduce g
e
t_im
p
lied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
m
a
th: revert accidental
l
y committed
c
o
de
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 Carpenter
buf_si
z
e
: store type_s
i
ze i
n
two
t
ables the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf
_
size: make size_from
_
db()
w
ork again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size, strlen: separate bu
f
_size an
d
strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
n
t
er
o
v
erflow: use fuzzy_max to
w
ar
n
abo
u
t array
o
verflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
math: f
i
x
get_
f
uzzy_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
buf_size:
r
epresent buffer size as a range
l
ist in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Car
p
e
n
ter
buf_size: h
a
n
d
le
p
laces that
dy
n
am
i
c
ally alocate some
t
imes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpente
r
flow: introduce _
_
in_f
u
nction_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
extra, math: rework how
f
uzzy max is hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
bu
f
_si
z
e
: handle d
e
vm_km
a
lloc() alloca
t
ions
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
kernel
.
ignored_macros: ad
d
R
T_ASSERT an
d
S
K
D_ASS
E
RT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpente
r
smdb: improve
"where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges:
in
t
roduce
rl_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper
:
work arou
n
d cr
a
shing bug in get
_
member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
loca
l
_value
s
: pul
l
c
o
d
e
in one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pe
n
ter
check_sign
e
d:
i
gnore thin
g
s with neg
a
tive number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
f
low
:
i
gno
r
e structs and unions i
n
set_unse
t
_to_z
e
ro
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
mo
d
ification_hooks: delete a bla
n
k
l
in
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Car
p
enter
rec
u
rse:
i
ntroduce has_
i
n
c_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
en
t
er
type_val:
f
i
x a
b
uild warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: actually
run th
e
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
s
m
a
tch: a cou
p
l
e crashi
n
g bugs on i
n
va
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
allow char to be unsig
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
helper
:
impr
o
ve i
s
_
e
rr
o
r_
r
eturn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
typ
e
_v
a
l: introduce storing
s
truct member limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carp
e
nter
d
a
ta_source: l
o
ad wh
e
r
e data comes from int
o
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Ca
r
p
e
nter
.
gitigno
r
e: ign
o
r
e
ba
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b
:
fi
x
up_kernel
.
sh:
say that we on
l
y have 64
C
PUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
d
b
: preserve unmerge
d
st
a
tes in the ->
p
oss
i
b
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db: grou
p
funct
i
o
n pointer
return
states toget
h
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db:
o
rder the
r
eturn_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixu
p
_k
e
rnel
.
sh: ig
n
or
e
timer_list functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
d
b: fixup_kernel
.
sh: remove some U
S
ER_DATA ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpenter
d
b: improve database debu
g
ging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
an
C
arpenter
smat
c
h
.
h: shift some str
u
c
t members aroun
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan
Ca
r
pen
t
er
flow: clear_buf
f
er: revert part of
c
ommi
t
that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
flow: re-write h
o
w struct mem
b
e
r
s
a
re
i
nitialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
a
r
p
e
nter
s
m
at
c
h_cl
e
ar
_
buffer: m
e
mcpy() should
set
the destin
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
smatch_
c
l
ear_buffer: make a function stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_data/k
e
rnel
.
clears_argum
e
nt: remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flow:
introduc
e
outside
_
of_functi
o
n() t
o
fi
x
global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: ke
r
n
e
l: ignore i40e_dbg_netdev_ops_w
r
ite
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
flow: set members to ze
r
o
by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
d
b
, extra,
user_data: handle: *x = 1;
return x;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_data: re
m
o
ve kmemdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpenter
user_data: make a function s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
C
arp
e
nter
co
n
tainer_of:
people checking the return value of
n
la_d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
an Carpenter
helper: fix
c
r
ashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpente
r
user_dat
a
: make a function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
th: e
x
por
t
get_con
s
t_va
l
ue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: handle bitwise OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
an Carpenter
m
at
h
: handle LEFT_SHIFT
(
a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carp
e
nter
mat
h
: remove an i
m
possible condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan C
a
rpenter
Fix --no-data so it doe
s
n't
sp
e
w databas
e
error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpent
e
r
extra: fix a
crash
p
arsing inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: fix
typo in error
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpen
t
er
sizeof: comp
l
ain if
c
o
de does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
enter
t
ype
:
let
g
et
_
real_base_t
y
pe
(
) take NU
L
L
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Ca
r
penter
db:
r
ename
a
dd_returned_s
t
ate_callback()
=> add_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosen
b
e
rg i
n
f
o
leak
s
: check _
_
co
p
y_
t
o_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
p
enter
rose
n
b
erg
i
nfo
leaks: use PA
R
AM_CLEARED data from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
t
e
r
rosenberg
i
nfo
l
eaks: use stripped data from
copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
rosenberg info
leaks:
m
ake check_members_initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Ca
r
pen
t
er
extra:
handl
e
"if
(
a & 0x1
)
" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpent
e
r
flow: fake assigns better
for nest
e
d s
t
ructs
a
nd a
r
r
a
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
helper: get
_
member_nam
e
() could store uni
o
ns (sort
of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
user_dat
a
:
fix
crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
math: improve
ho
w
c
a
st
s
are ha
n
dle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
t
h: introduce get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
math: impr
o
ve how
bitwise ANDs
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
rpe
n
ter
ke
r
nel data/: update to recent linux
-
next (3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
db
:
declare strnlen
(
) as returning "0-s32max[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an
C
arpenter
user_data: export i
s
_
user_m
a
cro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next