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: ignore parenthesis in prev_expression_is_getting_address()
2015-05-22
Dan Carpen
t
er
flow: i
g
n
ore paren
t
h
e
sis in p
r
e
v
_expression_is_getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpente
r
u
n
reach
a
ble: ignore
n
etdev_for_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup
p
rev_expression_is_getting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Car
p
enter
flow: "&foo->bar" is not a derefere
n
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpe
n
ter
smatch_addre
s
s: se
p
arate thi
n
gs
o
u
t into
.
b
ss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan
C
arpenter
*
new*
c
heck_t
e
s
t_b
i
t
:
check
fo
r
test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpent
e
r
type: speed up get_t
y
pe(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpen
t
er
t
y
p
e
: i
m
prove ge
t
_binop_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Carpenter
fl
o
w: add a new expr->p
a
rent
stru
c
t member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
f
ixup_kernel: hard code __sp
i
_
s
ync() r
e
t
urns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
f
i
xup_k
e
rnel
:
kmalloc(
)
can
a
lloca
t
e mor
e
dat
a
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Ol
e
g Dr
o
kin
check_lo
c
ki
n
g
.
c: Fix ann
o
ying invisibl
e
re
a
d_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
s
match_address: sort pointers int
o
differ
e
nt ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
extra: r
e
move som
e
unus
e
d
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpen
t
er
smatch
.
h
:
add the comparison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
Carpenter
t
ype_to_str: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo
Y
ang
smatch
.
h
: add estate_
g
et_
s
ingle
_
v
a
lue() declaratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
Carpenter
ignore_side_effec
t
s: get_c
h
ild
_
rcu() double eval
u
a
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
implie
d
: use comparison i
n
formation fo
r
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h:
move stree_stack declaration fr
o
m
smatch_sl
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenberg:
a
d
d
__builtin_me
m
set/memc
p
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
user_data2
:
handle returned struc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
c
o
m
parison: update a comme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
arpenter
smdb
.
py:
update
t
o reflect
LIMI
T
/FILTER cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
u
n
wind: add some null chec
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
t
ype: inc
l
ude smatch_sli
s
t
.
h to prevent a
s
egfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpente
r
extra: don't set s
t
ates to unknow
n
a
t
the beginni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpent
e
r
ex
t
ra: don't set
t
rue false states
if th
e
y are
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
function_hooks: add a ha
c
k a
r
oun
d
in compare_d
b
_ret
u
rn
_
state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Car
p
enter
list: add a
comment a
b
out re
g
ister_impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Ca
r
p
enter
param_limit: handle struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
s
t
ates
:
wh
i
te space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
conditions: i
g
no
r
e known/impl
i
ed cond
i
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
strings: reco
r
d string as
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pent
e
r
struct_
a
ssignmen
t
: save a lot more
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
p
a
r
am_limit/filter: fix
a t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jegen
db:
A
vo
i
d deref
e
rencing null p
o
inte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
m
pa
r
ison:
ha
n
dle canonica
l
f
o
r
l
o
o
p
s
with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
en
t
e
r
compar
i
son:
u
ns
i
gned can not be l
e
ss than z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
flow: s
e
t
_
_cur_stmt a
n
d __prev_stmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
C
a
rpenter
comparison: merging equivalent states is not undefin
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
comparison: f
i
x an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
function_hooks: fix up db_compare
_
callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
r
p
enter
f
unc
t
ion_hooks, debug:
p
rint imp
o
ssible returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
ente
r
h
elper: don't
s
trip
c
a
s
tin
g
in get
_
array_offs
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: export merg
e
_
link_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rp
e
nte
r
helper: make expr_to_str
(
)
p
rint
forc
e
d casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
type:
make type
_
to_str() return a
s
name()
b
uffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
r
penter
m
o
d
ifi
c
ation_hooks:
s
et a v
a
ri
a
ble as
modified
w
hen
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpent
e
r
user_data2: tag it i
f
a funct
i
on sets p
a
r
am
e
t
e
rs
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack:
c
leanu
p
a
fu
n
ct
i
on pr
o
totype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
e
r
deref_
c
heck: igno
r
e arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
Carpenter
type:
m
ake sval_type_max() d
e
fault to "long lo
n
g"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type: don't
r
e
t
urn SYM
_
NOD
E
types from g
e
t_re
a
l
_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpenter
side_eff
e
ct
s
: the
i
terate_all_kind
s
() macro has
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpe
n
t
er
unreachable: don't compl
a
i
n about iterate
_
all_kin
d
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix
"
f
oo
+
= !ba
r
;
"
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib
:
handle -f
u
nsigned-char opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kernel
.
ignore_sid
e
_effects: ad
d
s
o
me macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
an Carpenter
indenting: allow
"break; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
u
s
er_data2: m
a
r
k
s
s
canf() output
as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
math, rl
:
fix handing di
v
ision i
n
volvi
n
g negat
i
ve numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
C
a
r
p
e
n
ter
sval: fix sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
p
rec
e
den
c
e: complain about "foo << bar - baz
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow
:
h
a
ndle struct initializatio
n
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpenter
estat
e
:
a
dd a NULL check
i
n estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
param_used
:
st
o
re whe
n
a pa
r
ameter is
used so we d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpenter
extra: i
g
nore more _
_
in_fa
k
e
_assign
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
compari
s
on: fix a crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpe
n
ter
type:
ad
d
an expr_signed() functio
n
t
hat matche
s
ex
p
r_un
s
i
g
ned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Car
p
ente
r
smdb
.
py: a
d
d fu
n
ctio
n
s to show fu
n
ctions implementi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
extra: h
a
ndle
t
em
p
orary shorthand point
e
rs bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
d
e
refere
n
ces_par
a
m:
l
o
ok
fo
r
pointers
u
s
ed as an
a
rray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
ch
e
ck_indenting
:
warn
a
bout missing curly br
a
ces an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpe
n
ter
param_c
l
eared: add a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpente
r
vali
d
ation
:
co
r
rect some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
A
a
r
o Koskinen
build: allow use of PKG_CON
F
IG to
o
v
e
rride pkg-
c
onfig
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arp
e
nter
db: bui
l
d i
n
dexes f
a
s
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix compile brea
k
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
ke
r
nel_printf: silence
som
e
false positiv
e
s
using smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
stri
n
gs: record w
h
ich string
s
are being use
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: turn on skb-
>
d
ata tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
db: re
n
ame FILTER_VALUE, LIMITED_VALUE
,
a
nd ADDED
_
VALU
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
r
p
enter
kernel_printf: silence som
e
"str
u
c
t
sockaddr " fals
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
C
a
rpente
r
ty
p
e:
add un
i
ons to type_
t
o_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpent
e
r
type_va
l
ue: speed up
loadin
g
the dat
a
ba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpen
t
er
*new* return_cast: com
p
lain about re
t
urn -EINV
A
L
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
f
o
rmat_stri
n
g: de
l
et
e
thi
s
b
e
cause check_k
e
r
nel_print
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carp
e
nter
fu
n
ction_hooks
:
add som
e
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
pe
n
t
e
r
extra: clean
u
p db_pa
r
a
m_a
d
d_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
ter
extra
:
se
p
arate PARAM_
L
IMIT and PARAM_
F
I
LTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
ter
function_hoo
k
s: don't take a
s
hortcut for "
n
eedless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
helper
:
introduce alloc_st
a
te_st
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
math:
handl
e
"if
(likely(1)
)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
er
m
ath
:
fix/cleanup do_
c
ompar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
capped: don't record
sing
l
e valu
e
s as cap
p
e
d
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: export get_st
a
tic_filter(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
e
r
user_
d
ata2
:
wrong p
a
rameter tagg
e
d
as
user dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
rosenberg
:
de
l
ete some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
e
r
rosenberg: strip away
s
ome c
a
sting (eliminat
e
s a fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next