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
user_data: compat syscall parameters are user data
2013-04-15
Da
n
Carpenter
user_
d
at
a
: compat syscall par
a
meters are
use
r
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carp
e
nt
e
r
user_
d
ata:
u
sing a user supplied offset into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
p
e
n
t
er
l
o
cking: add some more bh lock fu
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge branch '
r
fc-attribute-s
t
ruct' of git://g
i
t
.
kerne
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carpen
t
er
check_d
e
ref: dis
a
bl
e
"potential NULL dereferenc
e
" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
D
an Carpent
e
r
locking
:
a
d
d local_bh_disable/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpe
n
te
r
locking:
h
a
ndle null v
s
non-NULL
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
o
cking: updat
e
validati
o
n/ tests to the new warni
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
fu
n
c
t
ion_
p
t
rs: "(*ptrs[0])(a, b)"
is the sam
e
as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
fun
c
tion_ptrs
:
rec
o
rd
w
hen f
u
nction po
i
nter is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpent
e
r
rosenberg: remove some str
u
cts wh
i
c
h
d
o
n't have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg: check f
o
r nla_put info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
f
l
ow: fake
m
ember
a
n
d
element a
s
s
ignm
e
nts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpen
t
er
ex
p
ressi
o
ns: intr
o
duce array_element_express
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
o
cking: t
a
k
e
returns values into c
o
nsideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
chec
k
_ke
r
nel: look harder for the contai
n
er_of(
)
m
acro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
i
m
plied: db: fix how retur
n
s are b
r
oken
a
part
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
d
b: r
e
turn
_
id was
s
et inco
r
rectly
w
hen i
n
line functi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
f
ix how the
r
e
turn values are casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan
Car
p
enter
h
e
l
p
e
r: mak
e
is_array() accept N
U
LL poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db: function_ptrs: do better at funct
i
on ptr
to fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carp
e
n
te
r
flow: create fake assign
m
e
nt
s
for array declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpent
e
r
flo
w
: expressions: don't
t
ry updating t
o
unini
t
ial
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
d
b:
fixup_ker
n
el
.
sh: (st
r
uct mISD
N
channel)->
s
end
inform
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
r
pe
n
ter
db: f
i
xup_kern
e
l
.
sh: record where ->notifier_call
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
C
a
rpent
e
r
flow: ha
n
d
l
e inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
ar
p
enter
db: funct
i
o
n_p
t
rs: track pointer to pointer a
s
s
ignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
math:
s
i
l
e
nce some
b
uff
e
r overflow fa
l
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
db:
fixup_kernel
.
sh: ign
o
re
(
struct timer
_
l
i
s
t)-
>
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
enter
db:
l
ook up
a
l
l the function p
o
i
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpent
e
r
helper: allo
w
get_par
a
m_nu
m
_
from
_
sym() to
b
e
used
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
string_list:
introduc
e
list_ha
s
_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
smatch_string
_
list
.
c
:
separate stri
n
g_list
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only
lookup funct
i
o
n
pointers once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
annotate: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
ar
p
ente
r
helper: ig
n
ore parens in exp
r
_to_
v
ar()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpente
r
overfl
o
w: s
i
lence kernel false positiv
e
about __per_cpu_off
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
kernel:
r
e
c
over modul
e
_
i
nit/e
x
it() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pass the sym_list to
the END
_
FILE_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
d
b
: fixup_kernel
.
sh remove some
m
ore USER_DATA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
d
b: spee
d
up f
i
ll_db_ca
l
ler_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
extra: improve +=
a
n
d
-= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sv
a
l:
i
ntr
o
duce
s
v
a
l_
i
s_negati
v
e
_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
val: fix
s
v
al_binop_overflows()
t
o accept dif
f
erent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Car
p
en
t
er
introd
u
ce smatch_annotat
e
.
c:
ann
o
ta
t
e some
c
ommon f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: g
i
ve up if there are o
v
er 1000 returned states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slow down caused by
r
ecursive fu
n
ct
i
on call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
b
u
f_size: false positive from lar
g
e
"imp
l
i
e
d" impli
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
helper: f
i
x expr_to_str()
f
or funct
i
on
c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpenter
d
b
: remove more
u
ser data from sta
r
t_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carpent
e
r
d
b
:
manu
a
l
ly delete some US
E
R_DATA markers from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra: move va
n
illa
a
ssig
n
s in
t
o the
i
r
o
w
n
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
ranges:
i
n
c
a
st_rl() sometime
s
it
'
s better
t
o just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type bug
h
an
d
ling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpe
n
ter
db: fix
bug handling ':' char
a
ct
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpenter
math: Use function call
i
nforma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
flow: h
a
ndle POST_OPs cor
r
ec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
buf_s
i
ze
:
handle dma_alloc_attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
ex
t
ra: type bug ha
n
dlin
g
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
C
a
rpenter
math: fix a couple type
b
ugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpen
t
er
locki
n
g: fix build problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_data: the p
o
inter
r
etur
n
ed
f
rom container_o
f
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: updat
e
a debu
g
me
s
s
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
db:
change
t
he fil
e
s
e
arched for static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
f
l
ow:
f
i
x
a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
f
l
ow:
save
and r
e
st
o
re the
big_expr
e
s
s
ion_stack
w
h
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Ca
r
penter
conditions: fix
small signedness bu
g
in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpenter
loc
k
i
ng: ignore
p
a
r
e
nthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpente
r
stack: turn off by d
e
fault, an
d
le
s
s
s
pammy always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
signed: don't w
a
r
n about a
s
sign
m
e
nts
t
o
boo
l
e
an
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpent
e
r
local_values:
n
ot
a
ll the
set values make it to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sizeo
f
_p
a
r
am: ig
n
ore strncat(a, b,
s
izeof(b)
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
k
e
rnel: handle __f
t
ra
c
e
_ba
d
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
kernel: handle find_n
e
x
t_b
i
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
d
b_info:
save return values
i
n in
-
memory
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Car
p
enter
c
heck
_
ke
r
nel: preserve ERR_PT
R
values
p
assed to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
c
h
ec
k
_kernel
:
rename
n
onnu
l
l to valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Re
v
ert "kernel:
remove
so
m
e unneeded
c
o
d
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
size
o
f_p
a
ram: fix
f
alse p
o
sitives with strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpen
t
er
comp
a
re: handle some
a
s
s
i
g
n
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: shuffle m
a
tch_a
s
s
i
gn a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
extra: only
g
e
t
the types o
n
e time in match_a
s
sign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
func
t
ion_ptr:
m
ove get_f
n
ptr_name() to
s
m
atch_function_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
d
b: fi
x
up_kernel
.
sh: discard caller_info from ->no
t
ifier_c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
d
b
:
fixup_kernel
.
sh: only t
r
ack th
e
m
a
i
n read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_data: trac
k
u
ser
d
a
t
a
a
c
ross as
s
ignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pen
t
er
smatch
_
c
apped: get_im
p
lied_max() do
e
s not implied
c
apped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpent
e
r
buf_size: exp
o
r
t
get_real_ar
r
ay_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpen
t
er
extra: handle M
O
D_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't print
information caller informatio
n
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpent
e
r
fun
c
tion
_
ptrs: track parameters as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_
p
trs: s
e
parate in
t
o
i
ts own
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpe
n
ter
data: add snp
r
i
n
tf to kernel
.
sizeof_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpe
n
t
e
r
buf_size: fix a N
U
LL
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
an Carpente
r
kerne
l
: remove some u
n
need
e
d c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpent
e
r
buf_size: handle em
p
ty ar
r
a
y
s on t
h
e e
n
d of str
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan C
a
rpent
e
r
buf
_
s
ize: r
e
move s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
l
ocal_values:
s
t
or
e
possib
l
e values of stati
c
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
enter
flow
:
more inline fall
o
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
an
C
arpenter
d
b
: e
x
port mem_sql
(
)
so checks can use it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next