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
db: fix how the return values are casted
2013-04-08
Dan Carp
e
nter
db: f
i
x how
t
h
e return
v
alues
a
re
casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carp
e
nter
helper: make is_arra
y
() accept N
U
LL poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: f
u
nction_
p
trs: do bet
t
er at funct
i
on ptr
to
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Ca
r
pen
t
er
fl
o
w
:
c
r
eate fak
e
a
s
s
i
gnments for arra
y
de
c
la
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Ca
r
penter
f
low: expr
e
ssi
o
n
s: don't
try upda
t
i
n
g to unin
i
tialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
db: fixup_ke
r
nel
.
s
h
: (struct mI
S
DNchan
n
el)->send
information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Carpenter
db: fixu
p
_kernel
.
sh: record
w
here ->noti
f
i
e
r
_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Ca
r
penter
flow: hand
l
e inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: function_ptrs:
t
rack poi
n
ter
t
o po
i
nter assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpe
n
ter
math: silen
c
e som
e
buf
f
er overflow
f
alse po
s
itive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db
:
fixup_kernel
.
sh: ignore (struct timer_list)->functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon
J
a
n
c
extra: Fix
se
g
mentatio
n
fault in mat
c
h
_
assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
e
nter
db: look up
all t
h
e funct
i
on po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
he
l
p
e
r
:
allow
g
et_
p
aram_num_from_
s
ym() to be used
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
str
i
ng_list:
introduce
list_has_stri
n
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
smatch_s
t
ring_list
.
c: s
e
p
a
r
a
te strin
g
_
l
ist fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: only lookup functi
o
n po
i
nter
s
on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
rpenter
annotate: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
e
r
he
l
per: ignore par
e
ns in expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overflow: silence kern
e
l false posit
i
ve
about __per_cp
u
_
offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
ker
n
e
l
:
r
e
c
ove
r
module_init/exit() f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
fl
o
w: pa
s
s th
e
sym_list t
o
the END_
F
ILE
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
db
:
fixup_kernel
.
sh
r
emo
v
e s
o
me mor
e
USER_DAT
A
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
ter
db: speedup f
i
ll_db_c
a
ller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
nte
r
extra: improve
+
=
and -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: introduce sv
a
l_
i
s_negat
i
ve_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
C
arpente
r
sval: f
i
x sval_
b
inop_overflows() t
o
accep
t
different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introduce smatch_a
n
notat
e
.
c
:
a
n
notate som
e
common functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b:
give u
p
if the
r
e are over 1000 returned st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
db
:
fix slo
w
down
c
au
s
ed by recursive function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an
C
arpenter
buf
_
size:
f
alse posi
t
ive
f
ro
m
large
"implie
d
"
imp
l
i
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpenter
helper: fi
x
expr_t
o
_
s
tr() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carp
e
nter
db: re
m
o
ve more u
s
er data from star
t
_
x
mi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carp
e
nter
db:
manu
a
lly delete s
o
me USER_DATA m
a
rk
e
rs from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
D
a
n C
a
rpenter
extra:
mov
e
vanilla ass
i
gn
s
into their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
r
p
e
nter
ran
g
es: in c
a
st_rl()
s
ometimes it's better
to ju
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
e
xtra: type bu
g
handling
as
m
expr
e
ssion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
db: fix bug han
d
ling ':' character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: Use function
call
i
nformation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
flow
:
han
d
l
e POST
_
OPs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
buf_size: handl
e
dma_alloc_attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
e
x
tra: type bug handling
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math:
fix a cou
p
le
t
yp
e
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
locking:
f
ix
b
u
i
l
d problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rp
e
nter
user
_
da
t
a: the pointe
r
re
t
urned
from containe
r
_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: update a debu
g
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db
:
change the file search
e
d
f
or
s
tatic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: fix a debu
g
statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: s
a
ve an
d
re
s
tore the
b
i
g
_expr
e
ssi
o
n_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
Carp
e
nter
conditions: fi
x
s
m
al
l
signedness bug in
compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
lo
c
k
i
ng: igno
r
e pare
n
th
e
sis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpente
r
stack
:
turn of
f
by default, a
n
d less spammy
always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
t
e
r
s
i
gned: don't warn about assignments to boolean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
e
r
local_values: n
o
t all the set v
a
lues
make
i
t
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
s
i
zeof_param
:
ignore str
n
cat(a, b, sizeof
(
b))
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpe
n
ter
kerne
l
:
handle __ftrace_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
k
e
rnel:
h
andle find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
d
b
_info: s
a
ve return
values
i
n
i
n
-
memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
check
_
k
ernel
:
preserve ERR_PTR val
u
es pas
s
ed to IS_E
R
R_O
R
_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpent
e
r
check_kernel
:
rename no
n
n
u
ll to val
i
d_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
nter
R
e
vert "kerne
l
: remove so
m
e unn
e
e
d
ed co
d
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Car
p
enter
si
z
eof_
p
aram: fix fal
s
e
positives
wit
h
strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpente
r
comp
a
re:
handle s
o
me assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nt
e
r
extra:
s
h
u
ffl
e
mat
c
h_
a
s
s
i
gn a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpen
t
er
e
x
tra: only ge
t
the t
y
p
e
s one time in
ma
t
ch_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
fu
n
ction_pt
r
:
m
ove get_fnptr_
n
ame() to smatch_fun
c
tion_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
db
:
fixup_kern
e
l
.
sh: discard caller_info fr
o
m ->notifier_c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db: fixup_
k
e
rnel
.
sh: o
n
ly t
r
ac
k
the
ma
i
n r
e
ad/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
t
e
r
user_da
t
a: track
user data across assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smat
c
h_capped: get_implied_max(
)
does not imp
l
ie
d
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carp
e
nte
r
buf_si
z
e:
e
xport get_real_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: handle
M
OD_A
S
SIGN
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arp
e
nter
db
:
d
o
n't
p
rint inf
o
rmation caller infor
m
ation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpent
e
r
function
_
pt
r
s: tr
a
ck parameters
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an
C
arpente
r
function_ptrs: separate into its o
w
n file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add snprintf to
k
er
n
el
.
s
i
z
e
of_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
buf_size: fix
a
NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel: remov
e
som
e
unne
e
ded
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an Carp
e
nter
buf_size: handle em
p
ty arrays on the
e
nd of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an
C
ar
p
enter
buf
_
size
:
remo
v
e some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
ent
e
r
local_values: store possible values of static dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
er
flow: m
o
re inlin
e
f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Ca
r
penter
d
b
:
exp
o
rt mem_sql(
)
s
o
che
c
ks can use
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
n
o_retur
n
: anot
h
er problem wit
h
inline fun
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
nter
ra
n
ges: f
i
x
casting of
i
nvalid range
l
ists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
nter
e
x
tra
,
function_hooks: fix handli
n
g of casted functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpente
r
Rever
t
"db: d
o
n
'
t crea
t
e unused tables in the in-m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
d
b:
d
on
'
t use function pointers for caller in
f
o on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
u
se "
d
is
t
inct" to avoid duplicate functi
o
n p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b: load globa
l
functio
n
poin
t
ers into the db properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
C
arpenter
db
:
remov
e
d
uplicate struct
p
o
i
n
ters to functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n C
a
rpenter
d
b
:
fix
c
all_implies f
o
r
the i
n
-me
m
ory
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db, fun
c
tion_hoo
k
s: query the
d
b aft
e
r proc
e
ssing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the val
u
e of
"x" when y
o
u call fr
o
b(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
d
b: pass pointed
a
t val
u
es to call
e
d functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
d
b:
r
eset
t
he in-memory database after
e
very f
u
nct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpent
e
r
db: add s
o
m
e de
b
ug stateme
n
ts for inserts into
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
u
se call_id for the
in-m
e
mory
d
a
tab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db
:
add
call_id t
o
call_implies,
r
etur
n
_states and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
db: renam
e
f
unction_id in the caller_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next