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
Merge branch 'rfc-attribute-struct' of git://git.kernel.org/pub/scm/devel/sparse...
2013-04-12
Da
n
C
arpe
n
t
er
Merge
branch 'rfc
-
a
ttribute-s
t
ruct' of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpe
n
ter
che
c
k
_
dere
f
: d
i
sable "potentia
l
NULL deref
e
re
n
ce" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpe
n
te
r
locking:
add loca
l
_bh_di
s
able/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan
C
ar
p
enter
locking: handle null vs non-
N
ULL
r
e
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
locking: upda
t
e
validation/ tests to the
n
ew warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an C
a
rpenter
f
unction_ptrs: "(*ptrs[
0
])(
a
, b)" i
s
th
e
s
a
me as
"p
t
rs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
function_ptrs
:
record wh
e
n function
pointer is
saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
n
t
er
rosen
b
e
r
g
: remove some
s
tructs which don
'
t have
h
o
les
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosen
b
erg: check for
n
la_pu
t
info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
flow: fak
e
m
emb
e
r and element assignments
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
expressions: introduce array_element
_
expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
e
nte
r
lockin
g
: take re
t
urns values into con
s
ideratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
check_kern
e
l: look
h
ar
d
er fo
r
t
h
e
containe
r
_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
implied: d
b
: fix how r
e
turns
are
broken a
p
art
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
db: return_id
w
as set incorrect
l
y when inli
n
e fu
n
ctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
db: fix
h
ow the return values are casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
help
e
r: ma
k
e is_array() accep
t
NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
db: function_
p
tr
s
: do better at function ptr to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
e
r
flow: create fa
k
e assignments for array d
e
clarat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
t
e
r
fl
o
w: expressions: don't try updating to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
db:
fixup_kern
e
l
.
sh: (struct mISDNchannel)-
>
send
i
nformation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
te
r
db: fixup_kernel
.
s
h
: record where
->notifie
r
_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
flow: han
d
le inlines b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Ca
r
pent
e
r
db: function_ptrs: tr
a
ck pointer to pointer assi
g
nment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
math
:
si
l
enc
e
s
o
me buffer overflo
w
f
a
lse
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carpenter
db: fixup_kernel
.
sh
:
ignore (s
t
ruc
t
t
imer_list)->functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: look up all
the
f
unction pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper:
a
llow get_param_nu
m
_from_sym
(
)
to be used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpen
t
er
s
t
ring_list: introd
u
c
e list_has
_
strin
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
smatch_string_list
.
c:
s
ep
a
rate string_list fun
c
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only lookup f
u
nction point
e
rs
o
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotate: use
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Car
p
enter
helper
:
ignore parens in expr_t
o
_
v
ar()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
ove
r
fl
o
w: s
i
len
c
e ke
r
nel fa
l
se positive abo
u
t
_
_per_cp
u
_of
f
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
kernel: reco
v
er
module_ini
t
/exit() f
u
n
c
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carp
e
nter
flo
w
: pass th
e
sym_list to the END_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
nter
db: fixup_k
e
rn
e
l
.
sh remove s
o
m
e
more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
d
b
: speedup
fill_db_caller_in
f
o
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: imp
r
ove += an
d
-=
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Car
p
en
t
er
sval: intr
o
duc
e
sval_is_negative_mi
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sv
a
l: fix
s
val_
b
i
n
op
_
overflows() to acc
e
p
t
d
i
ffere
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pe
n
ter
i
ntroduce smatch_anno
t
ate
.
c: an
n
otate some common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
C
arpenter
db: give
u
p if there are
o
v
e
r 1000 ret
u
rned state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slo
w
do
w
n cause
d
by rec
u
r
sive fu
n
ction c
a
l
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpenter
bu
f
_si
z
e: false p
o
si
t
ive fro
m
l
a
rg
e
"impl
i
ed" im
p
lied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpe
n
ter
h
elper: fix exp
r
_to_str() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carpenter
db
:
rem
o
ve more u
s
er dat
a
from start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
db: manually delete
s
om
e
USER_DA
T
A
m
a
r
kers from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra:
m
ove vanilla assi
g
ns
into their ow
n
f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
ranges: in cast_rl() so
m
eti
m
es
i
t's bet
t
er
t
o just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra:
typ
e
bug
handling asm expr
e
ssions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
db:
f
ix bug
handling ':' char
a
cter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: Use function call information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an C
a
rpent
e
r
flow: handle PO
S
T_OPs correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
buf_size: handle
d
ma_
a
lloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
extra:
type bug h
a
n
d
l
i
ng for loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Car
p
enter
ma
t
h:
f
ix a coupl
e
t
ype bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
rpent
e
r
l
ocking
:
f
i
x build prob
l
em
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_data: th
e
pointer retur
n
e
d
from c
o
ntain
e
r_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
r
penter
db:
u
p
date a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
a
r
p
e
nter
db:
c
ha
n
ge the file se
a
r
c
h
e
d for static
f
uncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
fl
o
w: fix a debug st
a
tement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpe
n
ter
f
l
ow: save
and restore the
b
i
g
_
exp
r
ession_stack w
h
en
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
condi
t
i
on
s
: fix
small
signedness bu
g
i
n
co
m
pares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
locking: ignore par
e
nthesi
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
ter
stack: tur
n
off
b
y
d
efault, and less spammy
a
l
ways
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Ca
r
penter
s
igned
:
don't warn ab
o
ut a
s
signments to
b
o
olean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
local_value
s
: no
t
all the set values ma
k
e it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rp
e
nter
siz
e
of_param: ignore strncat(a, b, sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
a
rpen
t
er
k
er
n
el: handl
e
__ftrace_bad_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
ke
r
nel: handl
e
find_next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
db_info: sav
e
r
etu
r
n valu
e
s i
n
in
-
memo
r
y
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
er
check_kern
e
l: pres
e
rve 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
Dan Carpenter
check_kernel: renam
e
nonnull to vali
d
_p
t
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Revert
"ker
n
el: remove so
m
e un
n
eeded co
d
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpe
n
ter
sizeof_p
a
ram: fix
fal
s
e
posit
i
ves wit
h
strl
c
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
D
a
n Carpenter
c
ompare:
handle s
o
m
e
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
extra: shuffle match_assign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
e
xt
r
a
: only get the types one time in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
function_
p
tr: move
g
et_f
n
ptr_name() to smatc
h
_fun
c
ti
o
n
_
ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
db:
f
ixup_ke
r
nel
.
sh:
d
iscard caller_info from -
>
notifier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pent
e
r
d
b: fi
x
up_ke
r
n
e
l
.
sh: onl
y
track the
m
ain read/wr
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
p
e
nt
e
r
u
s
e
r_data: track
user data across assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smatch_cappe
d
: get_implied
_
m
ax() doe
s
n
ot implied cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
b
uf_si
z
e
:
export get_r
e
al_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra:
h
andle MOD_ASSIG
N
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't print i
n
formation
c
a
ll
e
r
i
nformati
o
n for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpe
n
ter
function_ptrs: tr
a
c
k
para
m
ete
r
s as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carp
e
n
t
e
r
function_ptrs
:
separat
e
into its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpen
t
e
r
d
at
a
:
a
d
d
s
n
printf to ker
n
e
l
.
sizeof_p
a
ram
.
r
e
move
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
buf_size: fix a NULL dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel:
r
e
move
some unnee
d
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
b
uf_siz
e
: handle empty
arra
y
s on the end of
s
tructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Carpenter
buf_size
:
r
emove
s
ome dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
enter
local_values: st
o
re poss
i
b
le values of static data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flo
w
: mo
r
e in
l
in
e
f
all out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan C
a
rpen
t
er
db: ex
p
ort me
m
_sql() so checks
can use i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no_return: another pro
b
lem with inl
i
ne fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
r
anges:
f
ix cast
i
ng of invalid range
l
ists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
e
x
t
ra,
function_hooks: fix
handl
i
ng of casted fu
n
ct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next