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
flow: create fake assignments for array declarations
2013-04-03
Dan Carpenter
flow: crea
t
e fake assignments for array declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
flow: expres
s
ions: don
'
t try updating to u
n
initi
a
l
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carp
e
nter
db: fixup_kerne
l
.
sh: (
s
truc
t
mISDNchannel)
-
>s
e
nd i
n
for
m
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh: reco
r
d w
h
ere ->notifie
r
_call i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
ent
e
r
flow
:
handle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
pe
n
t
e
r
d
b
: function_ptrs: t
r
ack pointer to
p
ointer assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
ma
t
h: silence s
o
me buffer o
v
erflow false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b: fi
x
up_
k
e
rnel
.
sh: ignore (struct timer_
l
ist)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
extr
a
:
F
i
x s
e
g
men
t
atio
n
fault in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rp
e
n
t
er
db: look up all the function
p
o
i
nt
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: all
o
w ge
t
_param_num
_
f
r
om_sy
m
() to be used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpen
t
e
r
st
r
ing_
l
ist: in
t
r
o
duce l
i
st_
h
a
s_
s
trin
g
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
smatch_stri
n
g_list
.
c: separate
s
tri
n
g
_
l
ist
funct
i
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: onl
y
loo
k
up function poi
n
ter
s
on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ann
o
tat
e
: us
e
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper
:
ignore
p
arens i
n
expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
r
p
enter
overflow: silence kerne
l
false positive about __per
_
cpu
_
offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel:
r
ecover mo
d
ule_in
i
t/ex
i
t() functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pass the 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 Car
p
enter
db: fixup_kernel
.
s
h
remove
some more USER_DATA
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedu
p
fill_db_caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
er
extr
a
: improve += and -= hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval:
introduce s
v
al_is_ne
g
ative_min(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: fix s
v
al_bi
n
o
p_o
v
er
f
lows
(
) to acce
p
t different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
introduce smatch_a
n
notate
.
c:
a
nnotate some c
o
mmon funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
db: give u
p
if there are over 1000
r
eturned
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n C
a
rpent
e
r
db: fix sl
o
w down
caused by recursive
funct
i
on calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
C
arpenter
b
u
f_size:
f
alse positive
f
rom lar
g
e
"
i
mplied" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpenter
helpe
r
:
fix expr_to_str()
f
o
r function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carp
e
nter
db: re
m
ove more user data from start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rp
e
n
t
er
db: manually delete so
m
e
USER_DATA markers f
r
om
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Da
n
Carpente
r
e
x
tra: move vanill
a
assigns i
n
to their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
r
anges: in cast_rl() som
e
t
imes it's better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
p
e
nter
extra: type bug han
d
ling asm expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db: fix bu
g
h
a
ndling ':' char
a
cter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
ar
p
ent
e
r
math: Use function call informat
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
fl
o
w
:
han
d
le
P
OST_OPs
cor
r
ectl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
C
a
rpenter
buf_size: handle dma_
a
lloc_attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ext
r
a:
t
ype bug handl
i
ng 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 type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
e
nter
l
o
ck
i
ng: fix build problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
user_dat
a
: the
p
oi
n
ter re
t
urn
e
d
from co
n
tainer_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpente
r
d
b
: update
a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carpen
t
er
db: ch
a
nge the
fi
l
e searched for sta
t
ic
fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpente
r
f
l
ow: fix a debug st
a
te
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpe
n
ter
flow: sa
v
e and restor
e
the big_ex
p
ress
i
on_stack
w
h
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
con
d
itions: fix
sm
a
ll si
g
nedne
s
s
bug in compa
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
r
p
en
t
er
locking:
i
g
nore
p
a
r
enthe
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sta
c
k
:
turn off by d
e
f
a
u
lt, a
n
d less s
p
ammy a
l
ways
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
signed: don't warn ab
o
u
t ass
i
g
nment
s
to boolean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
ter
l
o
c
a
l
_
values: not all the set
v
alues make it t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpen
t
er
s
izeof_para
m
:
ignore strncat(a, b, sizeof(b)
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
en
t
e
r
kernel:
h
a
nd
l
e
__
f
trace_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
kernel: handle find_next_b
i
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpen
t
er
d
b_
i
nfo: save
return values
i
n
i
n
-m
e
m
ory da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Ca
r
penter
check_ke
r
nel: p
r
eser
v
e ERR_PTR
v
a
lues
passed to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
rpenter
check_ke
r
nel: re
n
ame nonnu
l
l to valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Re
v
er
t
"
kerne
l
: remove some unneeded code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpente
r
sizeo
f
_param: fix false posi
t
ives wi
t
h strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
D
a
n Carpent
e
r
c
ompare: handle so
m
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nter
extra: shuff
l
e m
a
tch_assign a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arp
e
nter
extra: onl
y
ge
t
t
he types one
time in match_assig
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
fun
c
tion_p
t
r
: move get_fnp
t
r_name()
to
s
m
at
c
h_f
u
nction_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
en
t
er
db: fix
u
p_kernel
.
sh: disca
r
d
c
aller_info fr
o
m
->n
o
tifier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpente
r
d
b:
fixup_kernel
.
sh:
only track
the m
a
in rea
d
/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_data:
t
ra
c
k
u
ser data
a
cro
s
s assign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
smatch_
c
apped: ge
t
_
implied
_
max()
does not implied ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
buf
_
size: export get_real_array_
s
ize()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
extr
a
: handle MOD_ASS
I
GN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don
'
t
pri
n
t informat
i
on ca
l
l
e
r information
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
en
t
er
fu
n
ction_ptr
s
: track param
e
ters
as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpe
n
t
er
functio
n
_ptr
s
:
separate into its own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
D
a
n Carpenter
d
a
ta
:
add s
n
printf
t
o kernel
.
si
z
eof_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 NUL
L
dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carp
e
nter
k
e
r
n
el:
r
emove som
e
unneeded cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_size: handle emp
t
y arr
a
ys on the end of s
t
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
b
u
f_size
:
remove some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpenter
local_v
a
lu
e
s: store poss
i
ble values of static data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more inline fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
d
b
: export mem_sql() so checks can use it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no_r
e
t
urn: anoth
e
r problem with
i
nline
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
r
a
nges: fix
c
asti
n
g
of in
v
al
i
d range
l
ists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Car
p
enter
extra, functi
o
n_hoo
k
s: f
i
x handling o
f
c
asted f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
Re
v
e
r
t "db:
don't
create u
n
used ta
b
les in the in-memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db: don't use
function point
e
rs for caller info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
C
a
rp
e
nter
db
:
use "distinct" 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: load globa
l
function p
o
inters in
t
o
the db prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
r
emov
e
d
u
plicate struct
poi
n
ters to f
u
nction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Car
p
en
t
er
db:
fix
c
all_implies for
the in-memory
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db, fun
c
tion_hooks: query
t
h
e
d
b
after processi
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: s
t
o
re the va
l
ue of
"x" when you cal
l
frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carp
e
nter
db: pass pointed
a
t va
l
ues to called
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpenter
db:
r
eset th
e
in-memory da
t
a
b
ase af
t
e
r
every function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db
:
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
a
rpenter
d
b
: use
call_id for the in-memory dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Ca
r
p
enter
db: add ca
l
l
_
i
d
t
o
call_implies, return_states
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: rename fun
c
tion_id in the
caller_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db: don't creat
e
u
nused tables i
n
the in-memory
d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpen
t
er
db
:
don't print caller i
n
f
o for __b
u
iltin functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db
:
use co
r
r
e
ct variable in mem_
s
q
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next