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
extra: fix chunk handling a bit
2015-07-28
D
an Carpenter
extra: fi
x
chunk handling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Carpe
n
ter
validation
:
fix
a
test a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_ch
e
ck: silen
c
e some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
d
e
ref_check: r
e
m
ov
e
unneces
s
ary call to getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
rp
e
nter
fixup_
k
ern
e
l
.
sh:
f
i
x
the rtlwif
i
hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan
Carpenter
unconstan
t
_ma
c
ro
s
: add MAP_UN
I
NITIALIZ
E
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan
Carpenter
ptrl
i
st: re
a
di
n
g
deleted items in NEXT_PTR_LI
S
T
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
ent
e
r
ranges:
f
i
x ho
w
some ranges are
joined t
o
geth
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
r
a
nges: av
o
id a possible integer overflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
poi
n
t
er_math: ALIGN is no
t
bytes, but
o
ff
s
etof() an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an Car
p
enter
po
i
nter_math:
don't c
o
mplai
n
if a pointer math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
ointer_math: silence false a
ton of f
a
lse
positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rpenter
chunk
:
impr
o
ve expr_to_chunk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
he
l
p
e
r: i
m
p
rove
g
et_comp
l
icati
o
n_sc
o
r
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
h
e
lp
e
r: export get_co
m
p
l
ic
a
tion_
s
core()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
pent
e
r
type:
e
xport
i
s
_local_varia
b
le()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: change the
A
PI a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpen
t
er
e
x
t
ra: s
t
art trackin
g
"c
h
unks" instead of
j
u
st var
i
ables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Car
p
enter
math:
g
ive up if c
a
lculating a value is too complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
i
mplied:
t
urn off debug
m
essages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
a
rpenter
chec
k
_li
s
t
.
h: move
s
t
ored_cond
i
tion_
l
i
n
k
s
n
ext to sto
r
e
d
_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignore arra
y
s wit
h
ov
e
r a
1
000 elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan
Carp
e
nter
db/fixup_kernel
.
sh
:
hack
around slow r
t
lw
i
fi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpen
t
e
r
capp
e
d: use
FOR_EACH_MY_SM
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2:
a
dd skb_
n
etwork_header(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_data2: h
a
n
d
le pointers to
u
s
er data b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
user_d
a
ta: add k
m
ap_at
o
mic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_d
a
ta: s/kmem
d
u
p
_user/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
test
_
bit: add
set_bit
(
) and clear_bit() f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
check_deref: re
m
ove call to
getti
n
g_address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpente
r
estate: make clone_estate() take a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpenter
whit
e
spac
e
:
change
some spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
Carpenter
debug: add
s
ome tools for d
e
velop
i
ng t
h
e db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpent
e
r
buf_size: im
p
rove resizable
s
truct h
a
n
dl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carp
e
nter
db:
f
i
x
a bug in split r
e
t
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra:
i
ntroduce g
e
t_extra_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpenter
smatc
h
: ch
a
nge all remaining refere
n
c
e
s
from wa
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
an Carpent
e
r
kernel
.
ignored_macro
s
: add SNIC
_
BUG_ON(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Da
n
Carpenter
unrea
c
hable: ignore list_
f
o
r_eac
h
_en
t
ry_
c
ont
i
nue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpent
e
r
extra: h
a
ndle x = (u8)y; c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
i
m
p
lied
:
fix
a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
ty
p
e: handle
ty
p
eof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
m
a
th: han
d
le __
s
match_impl
i
ed(&foo->ba
r
) a little be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assigned_expr: st
o
r
e it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
func
t
ion_hooks: fix v
a
lidation/sm_compare15
.
c
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
lo
c
king: add new down_timeout() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
p
e
nte
r
smatch_addres
s
: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
C
arpenter
fixup_kernel
.
s
h
: ignore some
_
_vfs_write(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
fix
u
p
_
ker
n
el:
update
t
ype
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
de
b
ug: imp
r
o
v
e __sm
a
t
ch_
s
tates(
)
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpente
r
f
low: ignore parenthesis
i
n prev_expression_is_getting_add
r
ess()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpenter
unr
e
achable: i
g
nore netd
e
v_for_
e
ach_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n Carpenter
flow:
cleanup p
r
ev_expression_is_ge
t
ting_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow:
"&foo->
b
ar" is
not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n Carpe
n
t
e
r
smatch_add
r
ess: separate th
i
ngs out
i
nto
.
bss an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan
C
arpenter
*new*
c
heck_
t
est_bit: c
h
eck for test_b
i
t(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
typ
e
: s
p
e
ed up get_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Ca
r
penter
type: im
p
rove get_bino
p
_ty
p
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpent
e
r
flow: add
a
new e
x
pr->pa
r
ent struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_
k
ernel: har
d
code __spi_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Carpenter
fixup_kernel: k
m
allo
c
() can alloc
a
te m
o
re d
a
ta
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Car
p
enter
smatch
_
address: sort pointers into different rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n Carpenter
ex
t
ra: rem
o
ve some unused func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan C
a
rpent
e
r
smatch
.
h
: add the comparison hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
an Carpenter
ty
p
e_to_str: fix a c
r
ashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpen
t
er
ignore
_
side_effects: get_child_rcu() double
evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
implied: use co
m
pa
r
i
s
on informatio
n
f
o
r
impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
C
arpenter
sm
a
tch
.
h: move str
e
e_st
a
ck
declarat
i
o
n
from sm
a
tch_sli
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan C
a
r
penter
rosenberg: add
__builtin
_
memset
/
memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpente
r
user_data2:
h
andle returne
d
struct mem
b
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
a
r
p
ent
e
r
comparison:
u
p
date a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Car
p
enter
s
mdb
.
py:
u
p
date to refle
c
t L
I
M
IT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
unwind:
a
dd some n
u
ll check
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
type:
i
nclude
s
mat
c
h
_
slist
.
h to prevent
a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
extra:
d
on't set states to unknown at
t
he beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
extr
a
: don't
set true false s
t
ates if they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
penter
function_ho
o
ks
:
add a ha
c
k around in c
o
m
p
are_db_return_sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a c
o
mmen
t
ab
o
ut register
_
i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
param_limit: hand
l
e struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
states: white spa
c
e f
i
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpent
e
r
cond
i
ti
o
ns: ignore known/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpent
e
r
strings: record
s
tr
i
ng assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
stru
c
t_assignme
n
t:
s
av
e
a lot more information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit/fi
l
t
er: fix a type bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpent
e
r
comparison: handle canonical for loops with variabl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison:
u
nsign
e
d
c
a
n not be
l
ess than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
fl
o
w
:
s
et __cur_stm
t
and
_
_prev_stmt i
n
si
d
e for
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
com
p
a
r
ison:
m
erging equi
v
a
lent states is not u
n
defined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
comparison: fix an
i
nd
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks: fix up db_com
p
are_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n C
a
rp
e
nter
fun
c
t
i
on_hooks, debug: print
i
mposs
i
b
l
e r
e
turns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
helper: don't strip ca
s
ting in get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
l
i
n
ks: e
x
po
r
t merge_
l
ink_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
helper: m
a
ke ex
p
r_to_str() print forced c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
type: make type_to_str
(
) ret
u
rn a sn
a
m
e() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mo
d
ification
_
hoo
k
s: set a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
penter
user_data2: tag i
t
i
f
a function se
t
s parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
stac
k
: cl
e
an
u
p
a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpente
r
der
e
f_check: ignore a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: ma
k
e sva
l
_type_max() defa
u
lt t
o
"long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next