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: fixup_kernel.sh: ignore (struct timer_list)->function
2013-04-02
D
a
n
Car
p
en
t
er
db: fixup
_
k
e
rnel
.
sh: ignore (struct timer
_
list
)
->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
extra: Fix s
e
gmentati
o
n fault in mat
c
h_assi
g
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
d
b: lo
o
k up all the f
u
nction p
o
i
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n C
a
r
p
enter
helper:
al
l
ow get
_
param_
n
um_from_sym() to
b
e used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
st
r
ing_lis
t
: intr
o
duce list_ha
s
_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
smatch_str
i
ng_list
.
c: separate string_l
i
st
f
u
n
cti
o
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
db: only look
u
p functio
n
pointers once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
a
nn
o
tate:
use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
helper: ignore par
e
ns in expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpent
e
r
o
v
erflow: silenc
e
kernel false positive about __per_cpu_offse
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
kernel: r
e
cover
module_init
/
exit() fu
n
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
f
low:
p
a
s
s th
e
sym_list t
o
th
e
END_F
I
LE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fixup_kernel
.
sh r
e
m
ov
e
some more
U
SER_D
A
TA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
d
b
:
s
peed
u
p f
i
ll_db_caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
extra: improve +
=
and -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
s
v
a
l
: introduce sval_is_n
e
g
a
tive_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
v
al: fix sval_
b
inop_overflows() to accept different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introduce sm
a
tch_
a
nnotate
.
c:
a
nno
t
ate some common func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: giv
e
up if there are over 1000
r
eturned
sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
d
b
: fix slow
d
own caused by recursive f
u
nction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size: false positiv
e
from large
"impl
i
ed" impli
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
ter
he
l
per: fix e
x
pr_to_
s
tr() for fu
n
ction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rp
e
nter
db: r
e
move more user data from
s
tart_xmi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rp
e
nter
db:
m
anuall
y
d
e
lete
s
o
m
e USER_D
A
TA markers
f
rom
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra: move vanilla assigns into th
e
ir ow
n
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
C
a
r
penter
rang
e
s
: in cast
_
rl()
sometimes i
t
'
s better to j
u
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
e
xtra: 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
andlin
g
':
'
character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Ca
r
pe
n
ter
math: Us
e
function call in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
f
low
:
handl
e
P
OST_OPs
correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Car
p
enter
buf_size: han
d
le dma_alloc
_
attr
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
extra: type bug handling
f
o
r lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
math:
f
ix
a couple type
b
ugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arp
e
n
t
e
r
locking: fi
x
b
u
ild
problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
e
r
u
ser_data: the pointer returned from cont
a
iner
_
of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: upd
a
te
a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
p
e
nter
db: change the file searched for static functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
f
l
ow
:
fix
a
debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpe
n
t
e
r
f
l
ow
:
s
a
ve and restore t
h
e b
i
g
_expression_sta
c
k when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
c
o
nditions: f
i
x small
s
i
g
nedne
s
s bug in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n C
a
rpenter
l
o
c
king: ignore parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
s
ta
c
k:
t
urn off by de
f
ault, and
l
e
ss spammy al
w
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpen
t
e
r
sig
n
e
d: don't warn abou
t
assign
m
ents to b
o
olean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
lo
c
al_
v
a
l
ues: not all th
e
set values make it
to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
si
z
eof_param: ignore strn
c
at(a, b, sizeo
f
(b))
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
k
e
rnel: handle __ftra
c
e_bad_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an
Carpen
t
er
ker
n
el: hand
l
e find_nex
t
_
b
it()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
db
_
info:
s
ave return value
s
i
n
in-
m
emory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
chec
k
_
kernel: pr
e
serve ER
R
_PTR val
u
es passed to IS_ERR_O
R
_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
c
h
eck_kernel: rena
m
e nonnull to
v
a
lid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
Revert "k
e
rnel: remove some unneeded code
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
siz
e
of_p
a
ram: fix
false
positives wit
h
strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
D
an Carpenter
c
o
m
p
are:
handle some
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
extra: shuffle match_assign a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra:
o
nly get the
t
yp
e
s one time in
match_as
s
i
g
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
fun
c
ti
o
n_ptr: move g
e
t_fn
p
t
r_n
a
me
(
) to smatch_func
t
ion_
p
t
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carpenter
db: fi
x
up_kernel
.
sh:
d
isc
a
rd caller_info
f
rom ->notifier
_
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
db: fixup
_
kernel
.
s
h: only track the main read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carp
e
nter
user_data: track user data
a
cross a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpent
e
r
sm
a
tch
_
c
apped:
g
et_implied_max() doe
s
n
o
t
i
mplied capp
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
b
u
f
_si
z
e: expor
t
get_real_
a
r
r
ay_siz
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: han
d
le MOD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
d
b
:
don't pri
n
t infor
m
ation caller info
r
m
ation
f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Ca
r
pe
n
ter
function_ptr
s
: track p
a
ram
e
ters as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
unc
t
ion_ptrs: sepa
r
a
te into it
s
own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add
snprintf
to k
e
rn
e
l
.
sizeof_par
a
m
.
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
d
ere
f
e
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel: remove some unneeded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Carp
e
nter
buf_si
z
e: h
a
n
d
le
empty arrays on the end of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carp
e
nter
buf_size
:
remove some
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_values: store possible values
o
f
s
tat
i
c data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more inl
i
ne
fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpe
n
ter
db: export mem_s
q
l(
)
so checks can use
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpe
n
ter
n
o
_return:
a
n
other problem with inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges
:
fi
x
c
a
sting of invalid range list
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
extra, function_hooks
:
fix hand
l
ing o
f
cast
e
d
func
t
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
ent
e
r
Reve
r
t "db: don't create unus
e
d ta
b
les in the in-
m
emo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nt
e
r
d
b
:
don't use fu
n
ction poi
n
te
r
s for caller info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db: u
s
e
"
d
istinct" to avoid duplicate function
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db:
l
oad global function pointers i
n
t
o
t
h
e
d
b prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
e
nter
db: remove duplicate struct
p
ointers to fun
c
tio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
fix c
a
ll_imp
l
ies for the in-memory da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db, function_hoo
k
s:
query the db after
p
rocessing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpenter
db: stor
e
the value
o
f "x" when
you
c
all frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an
Carp
e
nter
db: pass pointe
d
at valu
e
s to
called fu
n
ct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db
:
reset th
e
in-me
m
o
r
y da
t
abase after every f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
:
add some debug statements for inserts into the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
ar
p
enter
db: use cal
l
_
i
d f
o
r th
e
i
n-memory
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db: add ca
l
l_id
to
call
_
implies, return_sta
t
es and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpen
t
er
db: rename func
t
ion_id in the caller_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db: do
n
't create unused tables in
t
h
e in-memory datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
:
don't print caller info f
o
r __built
i
n
f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db:
use cor
r
e
ct
v
a
r
iable in m
e
m
_
s
ql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpe
n
ter
extra: i
m
prove unsigned comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpenter
r
a
n
g
es
:
don't do unneede
d
allo
c
atio
n
s
in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges: intr
o
du
c
e
rl_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpente
r
db: use in-memory
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
d
b: mo
v
e an option_no_db check to run_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Carp
e
nter
flow, db
:
rename should_inline() to inlinable()
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an Carpenter
retur
n
s: add a check for __inl
i
ne
_
fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next