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: remove some dead code
2013-04-15
Da
n
Carpenter
extra:
remove some dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Car
p
enter
extra: small fi
x
for when
t
he d
a
tabase is disa
b
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
db
:
always split the return val
u
es if w
e
'
re no
t
using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
n
t
er
con
d
itions: use se
t
_extra_expr_mod
(
) to
c
h
a
nge extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpent
e
r
u
s
er_data: compat syscall pa
r
ame
t
ers are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
u
s
e
r_data: using a
u
ser su
p
p
lied offs
e
t
i
nt
o
a
n known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carp
e
nter
l
o
ckin
g
: add some
m
o
r
e
bh loc
k
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge bran
c
h 'rfc-attribut
e
-struct' of git://g
i
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Da
n
Carpenter
check_d
e
ref: disable
"potential
N
UL
L
d
e
ref
e
rence" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan
C
a
rpent
e
r
locking: add
l
ocal_bh_
d
isa
b
l
e
/en
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpen
t
e
r
lock
i
ng: handle
nu
l
l vs n
o
n-NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking
:
update valida
t
ion/ tests
t
o
the
new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
functio
n
_ptrs: "(*ptrs[0])(a,
b
)" is t
h
e sam
e
as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
function_ptrs: record whe
n
f
u
nc
t
i
o
n
p
o
inter is
s
ave
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
e
r
rosenberg: remove s
o
me st
r
ucts
w
hi
c
h
don't
ha
v
e h
o
les
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carpenter
rosenberg: check
for nla_pu
t
info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpente
r
f
l
ow: fake me
m
be
r
and element
a
s
signments
b
e
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpente
r
expressions: i
n
troduce array_
e
lemen
t
_expressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rp
e
nter
l
o
cking: take returns
values int
o
consideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
enter
check_kerne
l
: look harder for
t
he containe
r
_
o
f()
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Car
p
enter
implied: db: fix h
o
w
r
e
turns are broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
db: return_i
d
was set incor
r
ec
t
ly when
inline functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: fix how the r
e
t
urn valu
e
s are ca
s
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan C
a
rpente
r
helper
:
make
i
s_array() accept NULL po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: funct
i
on_ptrs: do be
t
ter at funct
i
o
n
ptr to
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carp
e
nter
fl
o
w: create fake
assignments for array
declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: expre
s
sion
s
: don't try updating
t
o
u
n
initi
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh: (struct m
I
SDN
c
hanne
l
)->send informa
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
db: fixup_kern
e
l
.
sh: record where ->notif
i
er_cal
l
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
flow: handle
inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
a
rpenter
db: function_ptrs: track poi
n
ter to pointer assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Carpe
n
ter
math: silence some buf
f
er
overfl
o
w false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b
: fixup
_
kernel
.
sh: ignore (
s
truct timer_list)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
ex
t
r
a
: Fix
s
egmentation fault in
m
atch_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
arpenter
db: look up all the fu
n
c
t
i
o
n
p
oint
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper:
allo
w
get
_
pa
r
am_num_from_sym() to be
u
sed
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_l
i
st: i
n
trodu
c
e list_has_s
t
ring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
enter
smatch_st
r
ing_list
.
c: separ
a
te string
_
li
s
t func
t
ions
.
.
.
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
Da
n
Carpenter
ann
o
tate
:
u
se it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
h
e
lper: ignore parens in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
overflow: silence
kernel false positiv
e
about __per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
kernel: recover modul
e
_init/exit() funct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
f
low:
pass the sy
m
_list to the END_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db
:
fixup_kernel
.
sh remo
v
e some more USE
R
_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
n
ter
db: s
p
eedup fil
l
_d
b
_caller_i
n
fo
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ex
t
ra: improve += an
d
-= han
d
l
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
sval: introduce sval_is_negat
i
ve_min(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
C
a
rpenter
sval: fi
x
sval_binop_overflows() t
o
accept
differ
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
in
t
roduce sma
t
ch_annotate
.
c: annotate some
commo
n
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
nter
db:
g
ive up if there are over 1000 returned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpe
n
ter
db: fix slow down caused by recursive
f
unc
t
ion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
buf
_
size: fa
l
s
e positive from
l
ar
g
e "i
m
plied" implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
t
er
helper
:
f
ix
expr_
t
o_str() for fu
n
ctio
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
C
a
r
pent
e
r
db: remov
e
mor
e
us
e
r
d
a
ta from start
_
xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Ca
r
p
enter
db: manually delete some USER_DATA markers
f
r
o
m the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Car
p
e
nter
extra: move vanilla assigns int
o
their own funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
range
s
: in cast_rl
(
)
sometime
s
it
'
s better to ju
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
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
d
b
: fix bug
h
andli
n
g ':' character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ma
t
h: Use fu
n
ction call inf
o
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
f
l
o
w
:
h
and
l
e POST_OPs correctl
y
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
extra:
t
ype bug handling for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpente
r
math: fix a
c
o
u
ple type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
locking: fix build prob
l
em
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpe
n
ter
us
e
r
_
d
ata: the p
o
int
e
r
r
e
turned from
cont
a
in
e
r_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carp
e
n
ter
db
:
update a de
b
u
g
messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
db: change the file
s
earch
e
d for stat
i
c fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
flow: fix a debug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n Carpenter
flow
:
s
ave and restore the big_expression_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpe
n
ter
con
d
itions: fix small signedness bug in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
C
arpent
e
r
locking: ignore parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
sta
c
k: turn
off by defa
u
l
t,
a
n
d
les
s
spa
m
my alway
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpen
t
e
r
signed: don't warn about
assi
g
nments
to boolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
local_values: not all the set v
a
lues make
it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Ca
r
pen
t
e
r
siz
e
of_par
a
m: igno
r
e
s
trncat
(
a
,
b
,
s
i
zeof(b
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle
_
_ftrace_b
a
d_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
p
enter
kern
e
l: hand
l
e fi
n
d_next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Car
p
enter
d
b
_info: save return values in in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
check_
k
e
r
nel: pre
s
erve ERR_PTR values p
a
ssed to
I
S
_
ERR_OR_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
e
r
check_
k
ernel: r
e
name
n
onnull to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
r
penter
Revert "kernel:
r
emov
e
s
o
m
e unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Carpenter
sizeof_
p
a
r
am: fix false positives
w
i
th s
t
r
l
cpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compare: handle some assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
C
a
rpenter
extra: shuffle match_assign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
extra: only get t
h
e types
one time in match_ass
i
g
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
function_ptr: move get_fnptr
_
name(
)
to smatch_functi
o
n_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
rpenter
db: fixup_ker
n
el
.
sh: discard caller_i
n
fo fro
m
->notifier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
db: fixup_kern
e
l
.
sh:
o
n
l
y
track the m
a
i
n
read/
w
rite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carpe
n
te
r
user_da
t
a:
t
rack user data across assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smatch_cappe
d
: ge
t
_impl
i
ed_max()
d
oes not im
p
lied
c
apped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
buf_size: export ge
t
_real_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
ex
t
ra: h
a
ndle
M
OD_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 call
e
r
information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
f
u
nction_ptrs: track paramet
e
rs a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
fu
n
ctio
n
_ptr
s
:
separate
i
n
t
o its own
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: ad
d
s
n
prin
t
f
t
o kernel
.
siz
e
of_param
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpe
n
ter
buf_size
:
fix a NULL derefe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
D
an C
a
r
p
e
n
ter
kernel:
re
m
ove some
u
nneeded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next