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: make param_filter set_extra_mod()
2013-04-17
Dan Carpent
e
r
extra:
m
ake param_filter
s
et_
e
xtr
a
_m
o
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
rose
n
berg
:
remove
p
ahole depe
n
dency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carp
e
nter
p
arse: ad
d
a
big hack to t
r
ac
k
packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
*
n
ew*
s
mat
c
h_clear_buffer
.
c:
h
andle memset() type functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rp
e
n
t
er
param_l
i
mit/filte
r
: ignor
e
whole ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an
Carpenter
ranges
:
an
emp
t
y
range is not a who
l
e range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: remo
v
e som
e
dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
pe
n
ter
extra: smal
l
fix for
w
hen
t
he database is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
db: always split the return values i
f
we
'
r
e
not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
conditio
n
s: use set_extr
a
_expr_mod
(
) to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
e
n
ter
user_data:
c
ompat sy
s
ca
l
l parameters
a
re
u
ser dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
pente
r
u
ser_data: using a user
supplie
d
offs
e
t into an
known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpen
t
er
l
o
cking:
a
d
d
some more bh lock
f
uncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Da
n
C
arpenter
Merge branch 'rfc-att
r
ibu
t
e
-
s
t
ruct'
of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpenter
check_deref: disab
l
e
"
potential NULL derefer
e
nce" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Carpenter
locking: add loca
l
_bh_disable/en
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Carpenter
locking
:
handle null vs n
o
n-N
U
LL return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
lockin
g
:
upd
a
te
validation/
tests to t
h
e new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
n
t
er
func
t
ion_ptrs: "(*
p
trs[0])
(
a, b)" is the same
as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
function
_
ptrs
:
record when function poi
n
ter is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg: remove some structs which don't hav
e
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpent
e
r
rosenb
e
rg: check f
o
r
nla
_
pu
t
info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flo
w
:
f
ake member
an
d
element assignmen
t
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
expressions: intro
d
uce
a
r
ray_element_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
rpenter
locking: take
returns values into
c
o
nsideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
c
heck_kernel: look harder for the c
o
ntainer_of()
macr
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
i
m
p
l
ied: db: fix how ret
u
r
n
s are brok
e
n apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
db:
r
e
tur
n
_id
was set incorrectly w
h
en
inline functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
f
ix how the return values a
r
e casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpente
r
helper: make is_array()
accept NU
L
L
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db:
f
unct
i
on
_
ptrs:
d
o
b
et
t
er at func
t
i
o
n pt
r
t
o
func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
a
rpent
e
r
f
low: create
f
ake
ass
i
gnments for
a
rray declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Car
p
ent
e
r
f
low: expre
s
sions: don't try
u
pdating to
uni
n
itialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpe
n
t
er
db:
f
ixup_kernel
.
sh: (struct m
I
SD
N
chan
n
el)->send
i
nformation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpent
e
r
db
:
fixup_kernel
.
sh: record
w
here ->notifier_ca
l
l is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
rpe
n
ter
flow: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an
C
arpenter
d
b
: f
u
nc
t
ion_ptrs: track p
o
i
n
t
e
r
to pointe
r
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an
Carpenter
math: silence
some
buffer overf
l
o
w
false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Carpente
r
db: fixup_kernel
.
sh: igno
r
e (struc
t
timer_list)->fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
S
z
ymon Janc
e
x
t
r
a: Fix segmentation
f
ault
i
n
match_
a
ssig
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db: l
o
ok up
all the func
t
ion pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
helper: allow get_param_num_fr
o
m_sym() to b
e
used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
string_list:
i
n
trod
u
ce
l
i
st_has_
s
tring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
sm
a
t
c
h_
s
tring_list
.
c: sepa
r
a
te s
t
ring_li
s
t
fu
n
c
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carp
e
nter
d
b: only lookup
function pointers o
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
annotate
:
use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n C
a
rpenter
he
l
per: ignore
p
arens in expr_to
_
va
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
over
f
low:
silence kernel false positive abou
t
_
_
per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
k
ernel: recover
modul
e
_init/exit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
flow: pa
s
s
the sym_list to the END_
F
ILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
n
t
er
db:
fixup
_
kernel
.
sh remove so
m
e more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
speedup fill_d
b
_calle
r
_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nte
r
ext
r
a: i
m
prov
e
+= and -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: in
t
roduce sval_is_n
e
gative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sva
l
:
fix sval_bin
o
p_overflo
w
s() to accept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nt
e
r
in
t
roduce smatch_
a
nnotate
.
c: annot
a
te some common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: gi
v
e
u
p
i
f t
h
e
r
e are
over 1000 retur
n
ed states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpente
r
db: fix slow down caused by r
e
cursi
v
e function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carp
e
nter
buf_si
z
e: false
p
ositive from la
r
ge "impl
i
ed
"
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Ca
r
pen
t
e
r
hel
p
er
:
fix exp
r
_to_str()
f
o
r function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
db:
remove
m
o
r
e
user data fr
o
m sta
r
t_x
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carp
e
n
ter
db: manually
delete some U
S
E
R
_
D
ATA mark
e
rs
fro
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Da
n
Carpenter
extra: move vanilla assi
g
ns
i
nto t
h
eir ow
n
f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Car
p
enter
rang
e
s: in
c
ast
_
rl
(
) someti
m
es it's better to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
extra: type bug handling asm e
x
pressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
db
:
fix
b
ug h
a
ndling '
:
'
c
h
a
racter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
math:
U
se fun
c
tion call i
n
form
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpent
e
r
flow: handle PO
S
T_OPs c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
buf_size: handle dma_alloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
e
xt
r
a: t
y
pe bug han
d
ling for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: fix
a couple type bu
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
C
arpenter
l
o
cking: fix b
u
ild problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
r
penter
user_data: the pointer retu
r
ned from
container_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: up
d
ate a de
b
ug
m
essa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
pente
r
db:
change the
file searched f
o
r static functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
flow: fix a
deb
u
g state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpe
n
ter
f
l
ow: save an
d
r
e
store
t
he
b
ig
_
e
x
p
r
essio
n
_stack
w
hen
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
n
ter
c
o
nditio
n
s: fix
s
mall
s
i
gnedness bug in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking:
i
g
n
ore parenthe
s
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpent
e
r
stack: t
u
rn of
f
by
de
f
a
ult, and l
e
s
s spammy
always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
signed: do
n
't warn ab
o
u
t a
s
signments to boo
l
ea
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
local
_
v
alues: no
t
a
l
l
t
he set values
m
ak
e
i
t
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpent
e
r
siz
e
of_param: ig
n
ore strn
c
at(
a
, b, sizeo
f
(b
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
kernel: handle __ftrace_bad_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
ker
n
el: handle find_next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpenter
db_info
:
save
r
eturn values
i
n in-
m
em
o
ry databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
check_kerne
l
: preserve ERR_PTR values pas
s
ed
t
o IS_ERR_OR_NU
L
L()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Carpenter
chec
k
_kernel: rename n
o
nnull t
o
valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Reve
r
t "ker
n
el: remove som
e
unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n Carpenter
sizeof_
p
aram: fix fal
s
e p
o
sitives
with strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carp
e
nter
c
om
p
ar
e
: handle some assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Car
p
enter
extra: shuffle match_ass
i
gn a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
extra: only get th
e
types one
t
ime in ma
t
ch_as
s
ig
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
fu
n
c
t
i
on_ptr: move
g
et_fnpt
r
_name() to sm
a
tch_funct
i
on_pt
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db
:
fixup_kernel
.
sh: discard caller_info from ->notifier_cal
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
db: fi
x
up_kernel
.
s
h: only track
t
he main read/wri
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_
d
a
ta: track u
s
er dat
a
a
cross assig
n
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smatch_c
a
p
p
ed
:
get_imp
l
i
e
d_max() does not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
bu
f
_size:
e
x
port get_real_array
_
s
iz
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
extra: h
a
ndl
e
MOD_ASSIGN bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next