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
implied: re-order where we calculate implications
2015-08-10
Dan Ca
r
pente
r
im
p
lied: r
e
-
o
rder where we calculat
e
implicati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
D
a
n Ca
r
penter
over
f
low:
s
i
l
ence g
l
ibc strcmp fals
e
positives with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
imp
l
i
ed
,
r
a
n
g
es: use type promotio
n
f
or c
o
mparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carp
e
nter
ranges: us
e
NU
L
L instead
of zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan C
a
rpenter
de
r
ef_check, check_
d
eref: only consider pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
stored_c
o
ndit
i
ons: rename match
_
mo
d
if
y
() to match_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
C
a
rpenter
math: fix an o
u
t
of m
e
mory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n C
a
rpenter
math: r
e
turn a bi
t
earlie
r
in
handle_binop_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan
Carpenter
implied: we have to make
t
he f
a
l
se sta
t
es match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
err_ptr
:
u
se the ac
t
ual values to
silence false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Ca
r
penter
comparison:
fix a
n
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpe
n
ter
fix
u
p
_
kerne
l
.
s
h
: track kmalloced() vs
.
te
x
t da
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
enter
extra
:
do
n
't
try to r
e
cord the
s
t
ate for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpe
n
t
er
flo
w
:
a
dd a ->parent member to stat
e
ment st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpenter
r
a
nges: don't al
l
ow
so many inve
r
ted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ty
p
e: improve get_member_type_from_key(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra
:
handle arrays better using
t
he chun
k
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
C
arpenter
type: mak
e
type_to_s
t
r() handle ar
r
ays be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan C
a
rpenter
h
elper: tiny c
l
eanup in get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rpe
n
t
er
im
p
lied
:
f
ix bug
h
a
n
dling unma
t
ch
e
d
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpent
e
r
ext
r
a:
fix chunk handling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpen
t
er
v
a
lid
a
tion: fix a test
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_check: silence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
penter
d
eref_che
c
k: rem
o
ve unnecessary call to get
t
i
n
g
_
address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fix
u
p_kernel
.
sh: fix the r
t
lwifi hac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpen
t
er
u
n
consta
n
t_macros: add
MAP_U
N
INITIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n
Carpenter
ptrlist: reading deleted items
i
n
NE
X
T_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
enter
ranges: fix how some rang
e
s are
joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
ter
r
a
nges: avoid
a
possible
i
nteger overflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpent
e
r
pointer_math: ALIGN
i
s
not bytes, but off
s
etof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
n
t
er
p
ointer_mat
h
: don't complain if a
p
ointer math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpe
n
ter
po
i
nter_math:
s
ilence false
a
ton
o
f
false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n Carpenter
chunk: improve expr_to_
c
hunk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper:
im
p
rove get_compl
i
ca
t
ion
_
score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Da
n
C
a
r
p
enter
helper: e
x
p
o
r
t get_com
p
lic
a
t
i
on_sc
o
re()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
typ
e
: exp
o
rt is_
l
ocal_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
arp
e
n
ter
ch
u
nk: change the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan
Carpe
n
te
r
extra: start tr
a
cking "chun
k
s"
i
nst
e
ad of jus
t
vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Ca
r
penter
ma
t
h: give up if ca
l
c
ulating a value i
s
too comp
l
icated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
D
a
n
C
ar
p
enter
implied: turn o
f
f de
b
ug messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
check_list
.
h
:
mo
v
e s
t
o
r
ed_condition
_
l
i
n
ks
ne
x
t to stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: igno
r
e ar
r
ays with over a 1000 elem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan
C
arpe
n
ter
db
/
fixup_ker
n
el
.
sh: hack around slow rtlwifi
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
ca
p
ped: u
s
e FOR_EACH_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
u
s
er_data2: add sk
b
_network_hea
d
er
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
user_data2:
handl
e
poi
n
ters to
u
se
r
data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
r
p
e
n
ter
u
ser_d
a
ta: add k
m
ap
_
a
t
o
mic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
e
r_data: s/kmemdup_user/memdup_
u
ser/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
test_bit:
ad
d
set_bit(
)
and
cl
e
ar_bit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
check_d
e
ref:
r
emove call
to g
e
ttin
g
_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
pente
r
estate: m
a
ke cl
o
ne_estate()
t
ake a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
Ca
r
p
ente
r
w
h
itespace: change some s
p
aces to
tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Carpenter
debug
:
add
some tools for
d
e
v
elop
i
ng the
d
b parse
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pente
r
buf_si
z
e:
i
mprove
resiz
a
ble s
t
ruct hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
C
a
rpenter
db:
f
ix a bug in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra
:
int
r
oduce
ge
t
_extra_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
smatch:
c
hange
all remaining
refer
e
nces fr
o
m war
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpen
t
er
kernel
.
i
gnored
_
macros: add SN
I
C
_
BUG
_
ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
e
n
t
e
r
unreach
a
ble: ignore list_for_each_e
n
t
ry_
c
o
n
tin
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
ex
t
r
a
: handle x =
(
u8)y;
c
or
r
e
c
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpen
t
e
r
i
m
plied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: han
d
le typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
ma
t
h
:
han
d
le
_
_smatch_implied
(
&
foo->bar) a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
assign
e
d
_expr: store it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
f
u
nction_hooks: fix val
i
da
t
ion/sm_comp
a
re15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
lo
c
king
:
add new down_timeout() fu
n
ct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
sm
a
tch_address:
f
ix
c
ompile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpen
t
er
fixup_kern
e
l
.
sh: ignore some
__vfs_
w
r
i
te() ca
l
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arp
e
n
t
er
f
i
xup_kern
e
l:
update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Car
p
e
nter
d
ebug
:
improve __smatc
h
_stat
e
s() output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
flow: ignore parenthesis in prev_expression_is_g
e
tting_addr
e
ss()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpenter
unreachable: igno
r
e netdev_
f
or_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow:
clea
n
up prev
_
express
i
o
n_is_getting_address(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
fl
o
w
:
"
&
foo->
b
ar" is not
a
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
rpente
r
smatch
_
address: separate
t
hing
s
out into
.
bss a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*n
e
w
*
c
heck_test_bit:
c
heck f
o
r test_b
i
t
(
BIT(0), &f
o
o)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpenter
ty
p
e: speed up get_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpenter
type: imp
r
ove get_b
i
nop_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpente
r
f
l
ow: add a new expr->paren
t
st
r
u
c
t
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n
C
arpenter
fixup
_
kernel: h
a
rd code __spi_sync
(
)
r
eturns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
fix
u
p
_
kernel
:
kmalloc()
c
an
all
o
cate more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpent
e
r
smatch_address: sort
p
ointers
i
nto d
i
fferen
t
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
e
x
tra: remove some unu
s
ed functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpenter
s
match
.
h:
ad
d
the compari
s
on hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Da
n
Carpe
n
ter
ty
p
e_
t
o_s
t
r
: fi
x
a
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
D
an Carpent
e
r
ignore_
s
ide_e
f
fe
c
ts
:
get
_
child_
r
cu()
double
e
valuate
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
imp
l
ied: use comparison info
r
mation for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpenter
smatch
.
h: mov
e
str
e
e_stack declara
t
ion fro
m
smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Car
p
e
n
ter
r
o
s
e
n
berg:
add
_
_bui
l
t
in_memset
/
memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
n
ter
user_data2: handle
returned struct mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
com
p
arison: update a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
smdb
.
py: upd
a
te
t
o
reflect LIMIT/FILTER
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
u
nwind: add
s
ome null
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
t
ype: in
c
lude smatch_slist
.
h
to prevent a
s
egfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
d
on't set st
a
tes to unknown at
t
he beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Ca
r
pent
e
r
ex
t
ra: don
'
t set true false states if they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
func
t
i
o
n
_hook
s
: add a ha
c
k around in compare_db_retur
n
_sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
list: add a comment abou
t
regi
s
ter_impl
i
cati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
param_
l
imit: handle struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
states: white
s
pa
c
e fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next