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
deref_check: remove unnecessary call to getting_address()
2015-07-27
Da
n
Carpenter
deref_check: remove unnecessary call to getting_address
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
an Car
p
enter
fi
x
up_ker
n
el
.
sh: fix
t
he rt
l
wif
i
hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carp
e
n
ter
unconstant_macro
s
: add MAP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan C
a
rpe
n
ter
ptrlist: read
i
ng deleted
it
e
m
s in NEXT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
ra
n
g
e
s:
f
ix how
some r
a
nges are jo
i
ne
d
togethe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carp
e
nter
ra
n
ge
s
: a
v
oid a possible integer overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
poin
t
er_math: A
L
IGN is not bytes, but
o
ff
s
et
o
f()
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
Carpenter
poi
n
ter_math: don't complain if a
p
ointer
math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
p
ointer_ma
t
h: silence fals
e
a
t
o
n
of
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chunk: improve ex
p
r_to_chunk_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rpent
e
r
helpe
r
:
improve get_compli
c
atio
n
_sco
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Ca
r
pe
n
ter
help
e
r: export get_
c
ompl
i
cation_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpente
r
t
y
pe: export
is_local_va
r
iable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpe
n
ter
ch
u
n
k
:
c
h
a
nge the
A
PI a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan
C
arpenter
ext
r
a
:
s
tart tracking
"chunks" inste
a
d of just
v
ar
i
able
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math:
g
i
ve up
if
c
a
lculat
i
n
g
a
value is too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Ca
r
penter
i
m
plied: turn
off deb
u
g
m
ess
a
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
c
heck_li
s
t
.
h: move st
o
red_condition_li
n
k
s ne
x
t
to stored
_
con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n
Carpenter
flow: ignore arrays with over
a
100
0
el
e
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan
Car
p
ente
r
db/fixu
p
_kernel
.
sh: hack arou
n
d
s
l
ow
rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
capped: use FO
R
_
E
ACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: add skb_
n
e
t
work
_
header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arp
e
nter
user_dat
a
2:
handle point
e
rs to u
s
er d
a
ta b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
r
p
enter
u
ser_data:
a
dd
k
map_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Car
p
enter
user_d
a
t
a: s/km
e
mdup_user/memdu
p
_
use
r
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
C
arpenter
test_bit: add
set_bit() and cle
a
r
_
bit() f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
Carpenter
check_de
r
ef: remove call to g
e
t
t
ing
_
address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate:
make clone_e
s
tate() take
a
NUL
L
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan
Car
p
e
nter
whitesp
a
ce: change som
e
sp
a
ces
t
o
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Ca
r
p
e
nter
debug: add some too
l
s for developing th
e
d
b
parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
buf_
s
ize: improve
resizable stru
c
t ha
n
dl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
d
b
:
f
i
x a bug i
n
spli
t
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
e
x
t
ra: introduce get_extra_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
sm
a
tch: chang
e
all
remai
n
i
ng references from
w
a
r
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Ca
r
penter
k
ernel
.
i
g
nored
_
macros:
add
S
NIC_BUG
_
ON
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Ca
r
penter
unre
a
c
h
able
:
ignore list_for_each_en
t
ry_cont
i
nu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
p
e
nte
r
extra: han
d
le x = (
u
8
)
y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
implied: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
type: handle typeo
f
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpente
r
math: handle _
_
smatch_implied(&foo
-
>ba
r
) a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
Carpenter
a
s
s
i
gn
e
d_expr: store i
t
late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
function_hoo
k
s: f
i
x valid
a
t
i
o
n/sm_co
m
par
e
15
.
c
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an
C
arpenter
locking: add new down_
t
im
e
out() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
smat
c
h_address: fi
x
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
pe
n
t
e
r
fixup_
k
ernel
.
sh: ig
n
o
r
e
s
o
me __v
f
s
_
wr
i
te() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpent
e
r
f
ixup_kernel: update
typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
C
arpent
e
r
d
e
b
ug: improve
_
_smatch_states()
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carp
e
nter
flow: i
g
n
ore
p
ar
e
n
thesis in prev_expression_is_getting_addr
e
ss(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpenter
u
nreachable: ignore n
e
tdev_for_e
a
c
h
_
lower_dev(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan
Carpenter
f
l
ow: cleanup pr
e
v_expr
e
ssion_is_getting_addres
s
()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
penter
flow: "
&
f
o
o
->bar" is not a der
e
fere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
a
rpen
t
er
sm
a
tc
h
_
a
d
d
ress: separate thin
g
s ou
t
into
.
b
ss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*
new* check_test_
b
i
t
:
c
heck for
t
est_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
ty
p
e: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type: impro
v
e get_binop_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Carpente
r
fl
o
w: add a
n
ew ex
p
r->parent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n Carpenter
fixup_kernel: hard c
o
de __sp
i
_syn
c
(
) r
e
turns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpent
e
r
fixup_kernel: kmall
o
c() ca
n
allo
c
ate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpen
t
er
smatch_add
r
ess: sort poin
t
ers
i
nt
o
diff
e
r
ent r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
extra: remove som
e
unus
e
d fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Car
p
enter
smatch
.
h: add the
c
omparison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
C
arpenter
type_to_str
:
fix a crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Ca
r
p
enter
ignore
_
si
d
e_effect
s
:
ge
t
_c
h
i
l
d_rcu() do
u
ble e
v
al
u
ates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpente
r
implied: use
c
o
mpari
s
on information for implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h: m
o
ve stree_stack
decl
a
r
ation from sma
t
ch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan C
a
rpenter
ros
e
nberg: add __builtin_memset/memcp
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_data2: handle returned s
t
r
uct
m
e
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
comparison: up
d
ate a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
smd
b
.
py: upd
a
te t
o
reflect LIMIT/FILTER ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwin
d
:
add s
o
me null ch
e
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
type: include
s
mat
c
h_slist
.
h to prevent a se
g
f
au
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
ext
r
a: don't set
st
a
t
es to unknown at the beginni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
x
tra: don't set
t
rue fals
e
states i
f
they ar
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nt
e
r
func
t
ion_hooks: add a
h
ack ar
o
un
d
in compar
e
_db_
r
et
u
rn_s
t
a
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nter
list: add a comment about
r
egister_im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
p
a
ram_limit: hand
l
e struct
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
states: w
h
ite s
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
c
onditions: ignor
e
known/imp
l
ied conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
st
r
ings: record
s
t
r
i
n
g
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
t
er
s
t
r
u
ct_assignment:
s
a
v
e
a
lot mo
r
e information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
param_limit/f
i
l
t
er: fi
x
a type
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
enter
comparison: ha
n
d
le canonica
l
for loo
p
s
w
it
h
vari
a
bl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
t
er
com
p
arison: unsi
g
ned can not
be less tha
n
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an
C
a
rp
e
nter
flow:
set __c
u
r_stmt and __
p
rev_stmt
i
nside fo
r
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpe
n
ter
co
m
p
a
rison: merging equivalent
states is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
co
m
p
a
r
is
o
n: fix an
inden
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
functio
n
_hook
s
:
f
ix up db_
c
omp
a
re_callba
c
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
pente
r
function_hoo
k
s, de
b
ug
:
print i
m
possible re
t
urn
s
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpen
t
e
r
helper:
d
on
'
t
s
trip c
a
s
t
i
n
g in get_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
arpenter
links: export merge_link_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpen
t
er
helper: mak
e
expr_t
o
_str() print
forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
typ
e
: make type_to
_
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_hoo
k
s
: set a variable as modi
f
ied when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
u
s
er
_
data2: tag it
i
f a
f
unction sets par
a
meters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
s
t
ack: c
l
eanup a fun
c
t
i
on prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
ref_chec
k
: ignore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
enter
type: make sval_type_max() default
to "
l
on
g
long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpe
n
t
er
type
:
don'
t
return SYM_N
O
DE types from ge
t
_real_base_t
y
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpenter
side_e
f
fec
t
s
: the iterate_all
_
k
in
d
s() m
a
cro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rp
e
nter
unreachable: don'
t
complain ab
o
ut iterat
e
_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next