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: add a comment
2013-04-12
Dan C
a
rpenter
Merge branch
'
rfc-attribute-struct'
of git:
/
/git
.
k
ernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carp
e
nt
e
r
c
heck_deref: disable "pot
e
ntial NULL dereference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpen
t
e
r
locking:
a
dd l
o
cal_bh_disable
/
ena
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
an Car
p
enter
locking: handle n
u
ll v
s
no
n
-
N
ULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
locking: update valid
a
tion/ tes
t
s to th
e
n
e
w
w
arning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
function_ptrs: "
(
*ptrs[0
]
)
(
a
, b)" is the same a
s
"ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
fu
n
ction_ptrs: r
e
cord whe
n
func
t
ion point
e
r is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carp
e
nter
rosenb
e
r
g
: remove some struct
s
which do
n
't have hole
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenbe
r
g: check for nla_put info leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flo
w
: fake member a
n
d
ele
m
en
t
assignmen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
e
x
pressions: introduce
a
rray_element
_
expre
s
sion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
lo
c
kin
g
:
t
ak
e
re
t
urns
v
a
lues into consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
ch
e
c
k_kernel
:
look harder for
t
he contain
e
r
_
of() macr
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
i
mpl
i
e
d: db: fix how returns
a
r
e
b
r
oken a
p
art
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
penter
d
b
:
return_id was set incor
r
ectly wh
e
n inline
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
arpenter
db: fix
h
ow
t
he return values are cas
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Ca
r
penter
helper: m
a
k
e i
s
_array() acc
e
p
t NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Carpenter
db: fun
c
tio
n
_ptrs: do better at function p
t
r
to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow:
create fake assignm
e
nts for
a
rray
declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
flow:
e
xpressions: don
'
t
t
ry updati
n
g to uninitial
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: f
i
xup_kernel
.
sh
:
(
struct mIS
D
Nchannel)->send info
r
m
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh:
r
ecord where ->notifier_
c
al
l
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Car
p
enter
flow: ha
n
d
le
inlines bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fu
n
ction_ptrs: track pointer to pointer assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
penter
m
ath: si
l
ence some buffer overflow fals
e
p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
rpenter
db: fix
u
p_k
e
rnel
.
sh: ignore (
s
t
ruct timer_list)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
:
l
o
ok up all t
h
e functi
o
n poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helpe
r
:
al
l
ow
get_param_num_from_sym()
t
o
be u
s
e
d i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_lis
t
:
i
n
t
roduce list
_
has_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
smatch_string_
l
i
st
.
c: se
p
arate stri
n
g_list
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
d
b: only
lookup function pointers on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
annotate:
use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
ente
r
helper
:
ign
o
re parens
i
n
expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
ov
e
rflow: silence kernel fal
s
e positive
about
_
_per_cpu_off
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpe
n
ter
ke
r
nel: re
c
ov
e
r module_init/e
x
it() f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
r
pe
n
ter
flo
w
:
pass the sym_list to
t
h
e END_FILE
_
H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
fix
u
p_kernel
.
sh remove so
m
e more USER_DAT
A
t
a
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
enter
db:
speedup fill
_
d
b
_call
e
r_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ex
t
ra: improve += a
n
d -= handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: introduce sval_is_negative_m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
s
va
l
: fix s
v
al
_
b
i
n
op_overflo
w
s()
to acce
p
t dif
f
erent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
in
t
roduce smatch_annotate
.
c:
annotate some common
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpent
e
r
db:
g
ive up if there
a
r
e
ove
r
1000
r
etur
n
ed st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
db: fix s
l
ow down caus
e
d by recurs
i
v
e functi
o
n
c
all
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
bu
f
_size
:
false
posi
t
ive from large
"impl
i
ed" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Ca
r
penter
helper: fix exp
r
_to_str()
f
or f
u
nction
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Ca
r
penter
db
:
remove more user data
from start_xm
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
db: manually
d
el
e
te some USER_DA
T
A
m
arkers from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
D
an
Carpenter
extra: move va
n
illa
a
ssi
g
ns int
o
th
e
i
r
o
w
n function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpente
r
ra
n
ges: in cast
_
r
l
(
) someti
m
e
s
it's better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
ex
t
ra
:
type bug handling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db:
fix bug handling ':'
character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
r
pente
r
math: Use functio
n
cal
l
informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpenter
flo
w
:
handle
P
OST_OP
s
cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
buf_size:
h
andl
e
dm
a
_alloc_att
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
extra
:
ty
p
e bug han
d
ling for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
math: fi
x
a couple type bu
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
lo
c
king: fi
x
build prob
l
em
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
user
_
data: the pointer
r
e
turned from
container
_
of
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
db: update
a
debug
m
ess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
a
rpenter
db:
change the file s
e
ar
c
he
d
f
or static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
ar
p
enter
flo
w
:
f
ix a debug state
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carp
e
nter
flow: save and
r
es
t
or
e
the big_expressi
o
n_sta
c
k when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an
Carpenter
conditi
o
ns: fix small signednes
s
b
u
g in com
p
a
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ignore
p
arenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
stack: tur
n
off by
default,
a
nd less spammy always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
signed: don'
t
w
arn about assignme
n
ts to boo
l
ean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
r
pe
n
ter
lo
c
al_values
:
n
o
t al
l
t
he set values make it to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
C
arpenter
s
izeof_par
a
m
: ign
o
re strncat(a, b, si
z
eof(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
kerne
l
: ha
n
d
l
e __f
t
race_
b
ad_typ
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
C
arpenter
k
e
r
ne
l
: h
a
ndle
f
ind_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
t
e
r
db_info: save retu
r
n values
i
n in
-
memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
er
check_
k
ernel: preser
v
e ERR_PTR values pass
e
d to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpent
e
r
c
h
eck_kernel
:
r
en
a
me nonnul
l
to valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n Ca
r
p
enter
R
ev
e
rt "kernel: r
e
mov
e
some un
n
e
e
ded code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
rp
e
nter
size
o
f_param:
fix false
po
s
itives
with s
t
rl
c
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carp
e
nter
compare:
han
d
le some
a
ssi
g
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
p
enter
extra
:
shuffle match_assi
g
n a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
ext
r
a: only get the ty
p
es o
n
e
time in match
_
a
ssign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_pt
r
: mov
e
get_fnptr_
n
a
me() to
s
m
a
tch_function_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
db: fixup_kernel
.
sh: discard
c
aller_info from ->notifier_
c
a
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
d
b: fixup_ker
n
e
l
.
sh: only track the main read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
u
ser
_
data:
track user data acro
s
s assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
smatch_capped
:
get_
i
mplied_max() does no
t
i
mplied capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
b
u
f_size: e
x
po
r
t get_r
e
al_
a
rray_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
extra: handle MOD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't print informati
o
n caller informa
t
ion for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
function_ptrs: track p
a
rameter
s
as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
func
t
ion_pt
r
s: se
p
a
r
a
te into its own
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add snprintf to
kernel
.
sizeof_param
.
remov
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
arpenter
b
uf_size
:
fix
a
NULL dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
a
rpenter
ker
n
el: remove some u
n
n
ee
d
ed c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an Carpenter
buf_size
:
handle emp
t
y arrays on the end of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan C
a
rpente
r
b
uf_
s
iz
e
: remo
v
e some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
l
ocal_values: s
t
ore possible
v
alues
o
f
static data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
enter
flow:
m
ore
inli
n
e fall
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
nter
db: expo
r
t mem_s
q
l() so checks can use it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no
_
retur
n
: another problem
with inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
ranges: fix cas
t
in
g
o
f invalid range lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
an Carpe
n
ter
extra,
f
unction
_
hook
s
: fix h
a
nd
l
ing of ca
s
ted function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next