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
estate: make clone_estate() take a NULL pointer
2015-06-30
Dan C
a
rpenter
e
state
:
m
a
ke cl
o
ne_estate()
tak
e
a NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
penter
w
h
ite
s
p
a
c
e: chan
g
e some spa
c
es to
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
an Car
p
enter
debug: ad
d
some tools
f
or devel
o
p
i
ng the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_size:
improve resi
z
able struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ra
s
mus Vi
l
l
e
m
oes
e
l
im
i
nate som
e
ca
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Car
p
enter
db: fix a bug in split retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rpenter
extra:
i
ntro
d
u
c
e
get_extra_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rpenter
smatch:
chan
g
e
all r
e
maining ref
e
r
ences from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
u
s Villemoes
prefi
x
smatch generated files
b
y
s
match_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
sh: clean up
.
c
.
smatc
h
files after ca
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemo
e
s
Documentation: make me le
s
s confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Villemoes
trace_p
a
r
a
ms
.
pl: fix ha
s
h/hash r
e
ference
confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpent
e
r
kernel
.
igno
r
e
d
_ma
c
ros
:
a
dd SNIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreachable: ignor
e
lis
t
_for
_
each_entry_
c
ontinu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: h
a
n
dle x =
(
u8)y; co
r
r
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
i
m
plied: fix
a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
typ
e
: handle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math: handle __smatch_impli
e
d(&foo->
b
ar) a l
i
ttle
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpen
t
er
assi
g
ned_expr:
store
it l
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
function_h
o
oks:
f
ix v
a
li
d
ation/sm_compare15
.
c handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpe
n
ter
l
ocking: add new
do
w
n_tim
e
o
ut() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Ca
r
penter
sm
a
tch_ad
d
ress: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fi
x
up_kerne
l
.
sh
:
i
gnore some __vfs_write
(
) calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kernel: up
d
ate types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Ma
k
efile: eliminate a l
l
vm-config bui
l
d
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug:
i
mprove
__smatch_states()
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
an
C
arpenter
f
l
ow: ignore parenthesis in
p
rev_e
x
pression_is_gett
i
n
g_address
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carp
e
n
ter
unreachable: ignore ne
t
dev_for
_
each_l
o
w
e
r_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n
Carpente
r
flow: cleanup prev_expr
e
ssion_is_gett
i
ng_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpente
r
f
l
ow: "&fo
o
->bar" is not
a
dere
f
eren
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
r
p
en
t
er
smatch_address: sepa
r
ate things out
i
n
to
.
b
s
s and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan C
a
rpenter
*
new* che
c
k_test_bit: che
c
k for tes
t
_bit
(
B
IT(0), &
f
oo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Carpenter
type: speed
u
p get_t
y
p
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Carpenter
type:
i
mprove get_binop
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow: add a new expr->p
a
rent
s
truct
memb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
fi
x
up_kern
e
l: hard code __spi_sync() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Carpenter
fixup
_
ker
n
el: k
m
a
lloc
(
)
ca
n
al
l
o
cate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Ole
g
Droki
n
c
h
eck_locki
n
g
.
c:
Fix anno
y
i
ng
i
n
vis
i
b
l
e
re
a
d
_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n
C
ar
p
enter
s
mat
c
h
_address: sort
pointers int
o
different ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpent
e
r
e
x
tra: remove som
e
u
n
used
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpen
t
er
smatch
.
h: a
d
d the
c
o
m
p
a
rison ho
o
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
C
a
r
p
e
nt
e
r
t
ype_to_str: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
sma
t
ch
.
h: ad
d
estate_get_single
_
v
a
l
ue() d
e
c
l
a
r
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
a
n Car
p
en
t
er
ignore_si
d
e
_
effects: get_c
h
ild_rcu(
)
double e
v
aluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
ter
imp
l
ied: use
comparison
i
nformation fo
r
imp
l
ica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpen
t
er
sm
a
tc
h
.
h:
mov
e
s
t
ree_s
t
a
ck d
e
claration from smatch_sl
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
r
o
s
enberg: add __built
i
n_memset/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
u
ser_data2: handle re
t
ur
n
ed struc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
compa
r
is
o
n
:
update a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
py: update to ref
l
ec
t
LIMI
T
/FILTER changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nter
unwind: add s
o
me
n
ull checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Car
p
e
n
t
e
r
type: incl
u
de smatch_slist
.
h to prevent a
se
g
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpen
t
er
extra: do
n
't
set states to unknown at the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
extra: don't set true false sta
t
es if the
y
are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function
_
hooks: a
d
d a hack around in compare_d
b
_re
t
u
r
n_sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
list:
a
dd a comment abou
t
r
egis
t
er_impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
param_l
i
mit: han
d
le
s
truct m
e
mber
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
t
e
r
states
:
wh
i
te space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
conditions:
i
gnore k
n
own/impl
i
ed conditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
strings: record
s
t
rin
g
as
s
ign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
struct_assignm
e
n
t:
s
a
v
e a lot more
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit/filt
e
r: fi
x
a t
y
pe
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Si
l
van Jegen
db: Avo
i
d dere
f
erencing null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
comp
a
rison:
h
andle
canoni
c
al for l
o
ops w
i
th variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
co
m
p
a
rison: unsigned can n
o
t be less t
h
an zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
fl
o
w: s
e
t __cur_st
m
t
and __prev_
s
tmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
c
om
p
arison:
m
e
rging
e
quivalent
states is not
undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
com
p
ar
i
son:
f
ix an
indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
function_hooks: f
i
x
up db_compare_ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
penter
function_hooks, debu
g
: p
r
int imp
o
ss
i
ble returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper:
do
n
'
t
stri
p
ca
s
ting in get_array_off
s
et()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: ex
p
o
r
t merge_link_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carp
e
nter
h
elper: make expr_
t
o_str() print forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
a
r
pe
n
ter
type:
m
a
k
e
t
ype_
t
o
_
str() return
a sname() buff
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_hooks:
s
et a variable
as
mod
i
fi
e
d when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
nter
us
e
r_
d
ata2: tag it if a function sets param
e
ters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
stack: cleanup a
function prototy
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check: ignore ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n Carpen
t
e
r
type: make sval_type_max()
default to "long
long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
enter
type: do
n
't
return
S
YM_NODE
types from
g
e
t
_rea
l
_
base_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side
_
ef
f
ects
:
the iterate_all_kinds
(
) macr
o
has
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nt
e
r
unr
e
ach
a
ble:
d
on't
c
omplain about it
e
rate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
D
an Carpente
r
flow: fix "foo += !bar;" assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n C
a
rpenter
lib
:
h
an
d
l
e
-
fu
n
sig
n
ed-char
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carp
e
nter
kerne
l
.
ignore
_
side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
arpente
r
ind
e
nting: allow "break;
case X
X
X:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpent
e
r
user_data
2
: mar
k
sscanf() output as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpenter
math
,
rl: fi
x
han
d
ing division involvin
g
negative
n
umbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
sval: fix sval_binop
_
o
v
erflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpe
n
ter
p
recedence: complain
about "fo
o
<< bar -
baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
a
n C
a
rpenter
flow: handl
e
s
truct initial
i
za
t
ion bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
esta
t
e: add a N
U
LL check
in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
ter
param_
u
sed:
store when
a
parameter is used so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
e
r
extra:
i
gnore more __in_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
co
m
pa
r
ison: fi
x
a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: add an exp
r
_s
i
g
ned()
functi
o
n that matches expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
m
db
.
py: add functions to
sh
o
w
f
unctions implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
extra: han
d
le te
m
porary shortha
n
d p
o
inters
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dereferenc
e
s_param: look for pointers used as
a
n
array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpe
n
ter
check_indentin
g
:
warn about missing curly bra
c
es and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next