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
overflow: silence glibc strcmp false positives with string literal
2015-08-08
D
a
n Carp
e
nter
overfl
o
w: silence gli
b
c
s
t
r
c
m
p false posit
i
ves with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpe
n
ter
i
mplied, range
s
: use
type pro
m
otion f
o
r co
m
p
a
risons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
D
an Carpenter
ra
n
ges:
u
se NULL instead of zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Car
p
en
t
er
deref_che
c
k,
c
heck_d
e
ref: only consider po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
sto
r
ed_co
n
diti
o
ns:
r
ename match_modify() to m
a
tch_li
n
k
_
modif
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n C
a
rpenter
math: f
i
x an out
o
f
m
e
m
ory i
s
su
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
math: ret
u
rn a bit earlier in handl
e
_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
implied
:
we hav
e
to ma
k
e
t
h
e false s
t
ates match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Carpenter
err_ptr: use the actual values to s
i
l
e
nce fals
e
pos
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
pe
n
ter
c
ompariso
n
:
f
i
x an oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n C
a
rpenter
fixup_kernel
.
sh:
track kmalloced() vs
.
text data bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
pe
n
ter
e
xtra: do
n
't try
t
o rec
o
rd
the state for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpent
e
r
flow
:
add a ->parent member t
o
statement structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpenter
ranges:
don't all
o
w so many inver
t
e
d
r
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpe
n
ter
type: improv
e
get_me
m
ber_t
y
pe_fr
o
m_
k
ey
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
extra:
h
andle arrays better using the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpente
r
type: make type_to_st
r
()
handle a
r
r
a
ys bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
D
an Car
p
enter
h
e
lper: tiny cle
a
nup in get
_
c
o
mplicati
o
n
_
s
c
ore()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carp
e
nt
e
r
i
mplied: fix bug
h
andling u
n
matched implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpen
t
er
extra: f
i
x
chunk
handling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
an Carpenter
vali
d
atio
n
: fix a test a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
deref_check: silence so
m
e false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
deref_check:
remove unnecessary call to
g
e
t
ti
n
g_ad
d
ress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
p
e
n
t
er
fixup_ker
n
el
.
sh: fi
x
the rtlwifi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan C
a
rpenter
uncon
s
t
a
nt_macros: add MA
P
_UNIN
I
TIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist: r
e
ading
d
eleted
it
e
ms in NEXT_
P
TR
_
LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carp
e
nter
ranges:
f
ix how some ranges are
j
o
i
ned together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Ca
r
penter
ranges: avoid
a possib
l
e
i
nt
e
ger o
v
erf
l
ow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an Carpente
r
point
e
r_math: A
L
IGN is not
b
ytes, but
offsetof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpent
e
r
po
i
nter_math: don't co
m
plain i
f
a pointer math opera
t
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
point
e
r
_
m
at
h
: s
i
le
n
ce fa
l
s
e
a ton of false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Ca
r
pen
t
er
chunk: imp
r
o
ve
e
xpr_to_c
h
unk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpente
r
helper:
i
m
p
rove get_complication_sco
r
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helpe
r
: export get_
c
ompli
c
ation_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
t
ype: export is_local_var
i
a
b
l
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
C
a
rpenter
chunk
:
c
h
an
g
e the API a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
D
a
n Carp
e
nter
extra:
s
t
art tracking "chunks" instead of just va
r
ia
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
mat
h
:
g
i
v
e
up if calculatin
g
a val
u
e is too complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
i
m
plied
:
turn off d
e
bug messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Car
p
enter
check_li
s
t
.
h: mov
e
stored_condition_links
n
ext to stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow:
ignore a
r
rays with o
v
e
r
a 1000 elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
D
an Carpenter
db/fi
x
u
p
_
kernel
.
s
h:
h
ack around s
l
ow rtlw
i
f
i
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
cappe
d
: u
s
e FOR_EACH_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpen
t
e
r
u
ser
_
da
t
a
2
: add skb_
n
etwo
r
k_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpen
t
er
user_data2: handl
e
p
o
i
nters
to user d
a
ta
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpe
n
ter
u
s
er
_
da
t
a: ad
d
kmap_atomi
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Car
p
enter
use
r
_data: s/kmemdup_use
r
/m
e
mdup_us
e
r/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
test_bit: a
d
d set_bi
t
() and clear_bit(
)
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
check_de
r
ef: remove call to getting_addre
s
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
C
arpente
r
estate:
make clone_es
t
ate() take a NULL
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpen
t
er
whitespace: change some spaces to
tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
Car
p
e
n
te
r
debug: add so
m
e to
o
ls for developing the db p
a
r
s
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
Carpenter
buf_size:
i
m
pr
o
ve resizabl
e
struct h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us Villemoes
eliminate some ca
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug in spli
t
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Carpenter
extra: int
r
oduce get_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpenter
s
match: ch
a
nge all re
m
ain
i
ng refe
r
e
nces from war
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Vi
l
lemo
e
s
prefix smatch ge
n
erated
files by
s
match_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Ville
m
oes
test_kernel
.
sh: clean up
.
c
.
sma
t
c
h
files aft
e
r c
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Documentation: make
me
les
s
c
onf
u
se
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_pa
r
am
s
.
pl: fi
x
h
ash/hash reference confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpente
r
ke
r
nel
.
i
g
nor
e
d_macros: add SN
I
C_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
penter
unreacha
b
le: ignore
l
ist
_
for_e
a
c
h
_entry
_
continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: handle x = (u8)y;
c
orrectly
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 Carpente
r
ty
p
e: handle t
y
peof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
m
ath: hand
l
e __smatch_implied(&foo-
>
bar) a little b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
assigned_
e
x
p
r: store
it
l
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
f
unction_
h
ook
s
: fi
x
validati
o
n/sm_compare15
.
c
handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking: add new down_timeout() fun
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
smatch_addre
s
s:
fix c
o
mpile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixu
p
_kernel
.
sh:
ig
n
ore so
m
e __vfs_w
r
ite() ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
an Carpenter
fixup_
k
e
rnel: updat
e
ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
F
i
ro Yang
Makefile:
e
liminate a l
l
v
m-confi
g
build
war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carp
e
nter
de
b
ug: improve __sma
t
ch_
s
tates()
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
flow: ignore parenthesis i
n
prev_
e
xpressi
o
n_is
_
ge
t
t
ing_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpenter
unreachable:
i
gnore netdev_fo
r
_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
f
low:
cleanup
p
rev_expre
s
sio
n
_
is_getting_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&foo-
>
bar"
i
s
not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
smatch
_
address: separate things out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Ca
r
p
ente
r
*new* check_test_bit: ch
e
ck fo
r
test_
b
it(BIT(0)
,
&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpen
t
er
type
:
s
p
eed
up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Ca
r
p
enter
t
ype: improve
get_binop_typ
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
a
r
p
enter
flow: add a
new expr->parent stru
c
t member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpente
r
fixup_
k
ernel: hard
c
o
de __spi_sync() ret
u
rns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
fixup_kernel:
kmalloc() c
a
n al
l
ocate mo
r
e data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg
D
rokin
check_locking
.
c:
F
ix annoying invisible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan
C
arpenter
sm
a
tch_
a
d
d
ress: so
r
t pointers into different ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
e
x
tra: remove
s
o
me unused functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatc
h
.
h: add the
comparis
o
n
hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
enter
t
y
pe_to_
s
t
r
:
f
ix a cra
s
hing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
F
i
r
o
Yang
smatch
.
h: add e
s
ta
t
e_get_single_value() decla
r
a
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan C
a
rpenter
ignore_side_e
f
fect
s
: g
e
t_chil
d
_
r
c
u
() double e
v
alua
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
Carpente
r
implied: u
s
e comparison information for im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
smatc
h
.
h
: m
o
ve stree_stac
k
declaration from
s
match
_
slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpent
e
r
rosenberg:
a
dd __builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
e
r
user_data2: handle returned struct
me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
c
o
m
p
arison:
u
pdate a co
m
m
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
sm
d
b
.
py: update to
r
eflect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpente
r
unwind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next