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
kernel.silenced_functions: add some more "asm goto" functions
2013-12-20
D
an C
a
rpenter
k
e
rn
e
l
.
silenced_functions: add s
o
me more "asm got
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpe
n
ter
extra: ass
u
me indexes
a
re
in bounds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
flo
w
: fix struct initializa
t
ion bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*n
e
w*
c
heck_a
r
ray_co
n
dition
.
c
:
arrays can't be
N
U
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
bu
f
_si
z
e: store ranges in the d
a
tabase instead of single
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Ca
r
penter
strlen: remo
v
e some b
l
ank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreachable c
o
de: do
n
't warn about unrea
c
hable b
r
eak
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
unr
e
achabl
e
code: don't warn about empt
y
st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
debu
g
:
i
nt
r
oduce __smatch_
b
uf_size_rl(
)
w
hi
c
h
i
s more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
de
b
u
g: add __smatch_member
_
name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel, db: add hweight() fun
c
ti
o
ns to
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
ke
r
nel, db
:
consider
x = h
t
onl(1
0
) and
x
= 10
e
quivalent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
introd
u
ce: s
m
atc
h
_data/kernel
.
no
_
inline_funct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan C
a
rpe
n
ter
*new* ad
d
sm
a
tc
h
_data/ker
n
el
.
silenced_
f
u
n
ctio
n
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common_functions
.
c: handle st
r
len() and strnlen() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
access_ok_math: restrict this check t
o
--spam
m
y ou
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Carpenter
*n
e
w* check
_
cast_assign
.
c: chec
k
cas
t
ing a smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
D
an
C
a
rpe
n
ter
c
h
eck_debug:
fix
c
ra
s
h
i
ng bu
g
on prin
t
i
ng
n
on-existant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
rpenter
buf
_
size:
b
u
f
fer allocations
i
n the
s
ame file are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
C
arpenter
b
uf_size
:
ign
o
re unknown
array sizes be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
r
pen
t
er
strlen:
rec
o
rd string lengths across
f
uncti
o
n c
a
l
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
strlen: record assi
g
n
e
d s
t
rin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
strlen: ad
d
a com
m
e
n
t and rename some thi
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carp
e
nter
s
trlen: handle string l
i
ter
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
C
arpen
t
e
r
debu
g
:
introdu
c
e __smatch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpen
t
er
strlen: introduc
e
get_impl
i
e
d
_
s
t
rlen(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: revert
a
c
c
iden
t
ally com
m
itted code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_size: read a range_
l
ist from t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
:
store type
_
s
ize i
n
t
wo t
a
bles th
e
same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpente
r
bu
f
_size: make s
i
ze
_
from_
d
b() wo
r
k again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
pe
n
t
e
r
buf_size
,
str
l
en: separate buf_size
a
nd
strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
overflow: use
f
uzzy_ma
x
to warn about ar
r
a
y
overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: fix
g
et_fuzzy
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Ca
r
penter
buf_siz
e
: represent bu
f
fer size
a
s
a
ran
g
e
list inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
C
arpenter
b
uf_size: ha
n
dle
places that d
y
namically
alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
f
l
ow:
intr
o
du
c
e __in
_
function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
penter
ex
t
r
a, m
a
th: rewo
r
k how fuzzy
m
ax is h
a
ndle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nte
r
b
u
f_si
z
e: handle devm_km
a
lloc() allo
c
at
i
ons
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpenter
kernel
.
ignored_m
a
cros: ad
d
R
T
_
A
SSER
T
and SKD_ASSE
R
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
smdb:
i
mprove "
w
here" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpenter
r
a
nges: introduce
r
l_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: work around crashing bug in ge
t
_membe
r
_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Ca
r
p
e
nter
local_values: pull
code in one
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
check_sig
n
ed:
i
gnore things wit
h
neg
a
t
ive number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
p
e
nter
flow: i
g
no
r
e struc
t
s an
d
unions
in se
t
_unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modi
f
ication_hooks: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
rec
u
rse: introduce h
a
s_i
n
c_d
e
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
type_val:
fix a
build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
ty
p
e
_
val:
act
u
ally run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch: a
c
oupl
e
c
ra
s
hing
bugs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
all
o
w char to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helper: improve i
s
_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpent
e
r
type_val: introduce storing struct memb
e
r li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an C
a
rpente
r
data
_
so
u
rce: load where data comes from into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
git
i
g
n
ore:
ign
o
re b
a
k
.
sm
a
tch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
ente
r
db: f
i
xup_kerne
l
.
sh: say
t
hat we only have
6
4
CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
db:
p
rese
r
ve unme
r
ged s
t
ates in the
-
>possib
l
e better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group
f
u
nction
p
ointer return states togethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
db: or
d
e
r
the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db: fixup_k
e
rne
l
.
sh:
ignore timer_
l
ist f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpente
r
db
:
fixu
p
_k
e
rnel
.
s
h
: remove some USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
an C
a
rp
e
nter
db:
i
mprove databas
e
debu
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan C
a
rp
e
n
ter
s
m
atch
.
h: shift some struct m
e
m
bers aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Ca
r
penter
flo
w
: clear_buffer: rev
e
rt pa
r
t
o
f
commit that use
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an Carpente
r
flow:
r
e-write how struct members are
initial
i
zed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an Carpenter
smatch_
c
le
a
r_
b
uffer: memcpy()
should set th
e
destin
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
s
m
atch_clear_buffer: make a function stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
match_data/kern
e
l
.
cle
a
rs_argum
e
nt: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan C
a
rpenter
f
l
ow: introduce outside_of_f
u
n
c
tio
n
() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel:
ignor
e
i40e_db
g
_netdev
_
op
s
_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpenter
flow: set
member
s
to
ze
r
o by d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db, extra, user_data: handle: *
x
= 1; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpente
r
u
s
e
r
_
data: remov
e
kmemdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpe
n
ter
u
s
er_d
a
ta: ma
k
e a funct
i
o
n
stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
container_of: peopl
e
che
c
k
ing the
r
et
u
r
n
value of
nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpe
n
ter
helper: f
i
x cra
s
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
D
a
n Carpenter
user_data:
m
a
k
e
a
f
u
nction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nt
e
r
math: export get_const_value
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handle bi
t
wise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
Carpenter
m
at
h
:
handle LE
F
T
_SHIFT
(a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpen
t
er
math: remo
v
e an im
p
o
s
si
b
le cond
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carpenter
Fix --n
o
-
d
a
ta so it doesn't
s
pew
database err
o
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Ca
r
penter
extr
a
:
fix
a
cras
h
parsing inv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpen
t
e
r
sizeof: f
i
x
t
y
po in
e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
enter
sizeof: complain if co
d
e does s
i
zeof(
4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpente
r
type: let get_real_base_typ
e
() take NUL
L
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Da
n
Carpenter
db: rename ad
d
_re
t
ur
n
ed_state_callback() => add_split_retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
rosenber
g
info leaks: check __copy_to
_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
ros
e
nberg info leaks: use PARAM
_
CLEARED data fro
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
C
a
rpenter
r
osenberg info leak
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 Carpenter
rosenberg info leaks: make
c
heck_members_i
n
it
i
alized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpent
e
r
extra: handle "i
f
(a & 0x1)"
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an
C
arpenter
f
l
ow: fa
k
e as
s
igns better f
o
r
ne
s
te
d
s
t
r
ucts a
n
d array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Ca
r
penter
help
e
r: get_member_name()
cou
l
d
store
u
nion
s
(sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
u
s
e
r
_data: fix crashing b
u
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
r
p
e
n
ter
ma
t
h: im
p
rove h
o
w casts a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
m
a
th: introduce get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: improve how b
i
twis
e
ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
C
a
r
pen
t
er
kernel
d
ata/: u
p
date to r
e
cent linux
-
next (3
.
11-r
c
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
n
t
er
d
b: declare st
r
nlen() as returnin
g
"0-s32max[<
=
p
1
]
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next