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
validation: don't use uninitialized data
2015-08-14
Dan Carpente
r
vali
d
at
i
on: don't use uniniti
a
lized dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
D
an Ca
r
penter
m
o
difi
c
a
tion_hoo
k
: record
the modification expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
C
a
rpe
n
ter
smatc
h
: remove the "
l
o
o
p c
o
uld be replac
e
d wit
h
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Car
p
enter
b
u
f
_size: unbreak
t
his feature
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Car
p
enter
t
est_ker
n
e
l
.
sh: pri
n
t wher
e
t
he war
n
in
g
s are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
Carpe
n
t
er
buf_size,
db:
o
nly s
t
o
re type_s
i
ze
i
f it is a
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan
C
arpe
n
ter
stored_conditio
n
s, implied: u
s
e implications of previous
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpent
e
r
implied: re-
o
rder whe
r
e
we calcula
t
e implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpenter
o
v
erf
l
ow: silenc
e
g
libc
s
tr
c
mp false positives with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied, ranges: use type prom
o
tion for comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Ca
r
penter
ranges:
u
se
N
ULL instead of ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
D
a
n Ca
r
p
en
t
er
der
e
f_check, check_deref: only c
o
nsider pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
C
a
rpent
e
r
stor
e
d_co
n
dit
i
ons: ren
a
me match_m
o
dify() to matc
h
_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
an Ca
r
pent
e
r
math:
f
i
x
a
n
out of memory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Carpent
e
r
ma
t
h: return a
b
i
t
earlier
in
hand
l
e_binop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Carpenter
im
p
l
i
e
d
: we
ha
v
e to
make the false states match
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan C
a
rpenter
err_ptr: use th
e
a
ctual va
l
u
e
s
t
o
silence false
p
os
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
comparison:
fix a
n
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fixup
_
kernel
.
sh:
trac
k
kmalloced() v
s
.
text data
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
extra: don'
t
try to record th
e
state
for lit
e
rals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
flow:
a
d
d
a ->p
a
rent membe
r
to stat
e
ment struct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ranges:
d
on't allow s
o
many
inverted
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
typ
e
:
improve get_
m
e
mber_t
y
pe_f
r
om_ke
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpenter
extra: handle arrays bet
t
er us
i
n
g the c
h
unk
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Car
p
enter
t
y
pe
:
make type_to
_
str
(
) handle arrays better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
D
a
n
C
a
rpent
e
r
he
l
per
:
tiny cleanup
i
n ge
t
_complica
t
ion_sc
o
re()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
arpenter
implied: fix bug handling u
n
mat
c
hed implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
an Carpenter
ex
t
ra: fix chunk
han
d
ling
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
a
rpenter
validation: fix a test a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Car
p
enter
d
eref_che
c
k: silence so
m
e
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpe
n
ter
der
e
f_check: remo
v
e
un
n
ece
s
sa
r
y call to getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
f
i
xup_kernel
.
sh: fix t
h
e rtlwifi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unconst
a
nt_macros: a
d
d MAP_UNINITIALIZ
E
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
p
trlist
:
r
e
a
d
ing
d
elet
e
d
items in
NE
X
T_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges:
f
ix how some r
a
nges are joined
t
ogether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carpenter
ranges: avoid a possible
i
nteger overflow pr
o
blem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
p
ointer
_
math
:
ALIGN is not
b
y
t
es, b
u
t
offseto
f
()
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
pointer_math:
don't complain if
a
pointer mat
h
operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: silence
f
alse a ton of
false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpent
e
r
chunk:
im
p
ro
v
e expr_to_chunk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
an C
a
rpenter
helper: im
p
rove g
e
t_comp
l
i
c
a
t
ion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpe
n
ter
helpe
r
: expor
t
ge
t
_compl
i
cation_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Carpenter
t
y
pe: export is_local_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpenter
chun
k
: chan
g
e
the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
D
a
n
Carpenter
extra: sta
r
t
trac
k
ing "ch
u
nks
"
instead
o
f just variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math:
give up if calculating a val
u
e is
t
oo 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 debug me
s
sages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpenter
ch
e
ck_l
i
st
.
h
:
m
ove sto
r
ed_c
o
ndition_links
n
e
xt to stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flo
w
: ignore arrays with over a 1000
elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fix
u
p
_
kernel
.
sh: hack arou
n
d slow rtlwifi t
e
s
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
capped: use FOR_EACH_M
Y
_
SM
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
u
ser_data2: add skb_network_heade
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Ca
r
pen
t
e
r
u
ser_da
t
a2:
h
an
d
le p
o
inters to user data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
user_data: add kmap
_
atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_da
t
a: s/km
e
mdup_
u
ser/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
test_bit: add set
_
bit()
a
nd clear_bit() fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
check_deref:
r
emove call to getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan C
a
rpenter
es
t
ate: make clone_estate() take a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan
C
arpenter
whitesp
a
c
e
: change some spaces to ta
b
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
an Carpenter
deb
u
g: add some tools for developing the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carp
e
nter
buf_size
:
improv
e
r
e
sizable struct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
d
b
: fix a bug in split r
e
turn
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpen
t
er
extra: introduc
e
g
et_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
s
m
atch
:
c
h
ange all rem
a
ining references from war
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carp
e
n
t
er
k
ern
e
l
.
ignored_macros:
add SNIC_BUG_ON
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpenter
unreacha
b
le:
i
g
nore list_for_each_entry_con
t
inue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: handle x = (
u
8)
y
; c
o
rrect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Car
p
ente
r
impli
e
d:
f
i
x
a lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
typ
e
: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
m
ath:
h
andle __smatch_
i
mplied
(
&foo->b
a
r) a little be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
Carpenter
assigned_exp
r
: store i
t
l
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
functi
o
n_hooks: fix
validation/sm_compare15
.
c
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpe
n
ter
locking: add new d
o
wn
_
timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatc
h
_address:
fix compi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Ca
r
pen
t
er
fixup_ker
n
el
.
sh: i
g
nore some __vfs_wr
i
te()
cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
fixup_kern
e
l:
update ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
d
e
bug:
i
mprove
__smatch_s
t
ates()
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpen
t
e
r
f
l
ow: ignore parenthesis in prev_expression_is_getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n
C
arpenter
unrea
c
hable:
i
g
n
o
re net
d
e
v
_for_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan
Carpenter
fl
o
w
: cleanup p
r
ev
_
expression_is_getting_address()
.
.
.
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 derefe
r
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n Carpente
r
sm
a
tch_addr
e
ss: separate
thing
s
ou
t
into
.
bss
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Car
p
enter
*new* check_test_bit: chec
k
for
t
est_bit(B
I
T(0), &f
o
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
ent
e
r
typ
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: improve g
e
t_bin
o
p
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow
:
add a ne
w
e
x
pr->paren
t
struc
t
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan C
a
rpenter
fi
x
up_kern
e
l: hard co
d
e _
_
sp
i
_sync() r
e
turns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: k
m
alloc() can
a
lloca
t
e m
o
re data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n
Carpenter
smatch_add
r
ess:
sort pointers i
n
to different range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: re
m
o
ve some unused fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n
C
a
rpenter
smatch
.
h: add the co
m
p
a
r
ison h
o
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type
_
to_str
:
fix a crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
igno
r
e_sid
e
_effects: g
e
t
_
chil
d
_rc
u
() double evaluat
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
ter
implied: use compariso
n
info
r
m
a
ti
o
n for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
s
m
atch
.
h: m
o
ve stree_stack declaration from smatch_s
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan C
a
rpent
e
r
ro
s
enb
e
rg
:
add _
_
built
i
n_me
m
set/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
user_data2: ha
n
dle r
e
turned st
r
uct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
a
r
pen
t
er
c
o
mpa
r
ison:
u
pda
t
e
a co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
m
db
.
p
y: update to ref
l
ec
t
LIMIT
/
FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpenter
un
w
ind: add some
null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next