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
buf_size, strlen: move strlen() handling to smatch_strlen.c
2015-08-17
Da
n
Carp
e
nte
r
buf_s
i
ze,
strlen:
m
o
ve s
t
r
l
e
n()
h
andli
n
g to sma
t
c
h_strle
n
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Ca
r
penter
extra: track ar
r
ay va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
stored_co
n
ditons: s
t
ore the chunk
as well as the var_sy
m
_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
D
an
Carpent
e
r
ranges: add a missing cast in add_ra
n
g
e
_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
D
an
C
arpenter
validat
i
on: don't use
uninitialized data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
mod
i
f
i
c
a
tion_
h
ook: record the
m
o
d
ification expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
Su
d
i
p Mukherje
e
kchecke
r
: b
u
i
ld alr
e
ady b
u
ilt directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
smatch:
r
e
m
ove t
h
e "loop
coul
d
be replaced
w
i
t
h if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpenter
buf_size: unbreak this
f
e
a
ture
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Ca
r
penter
t
e
s
t_ker
n
el
.
sh:
p
rint where the warnings ar
e
saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n
Ca
r
penter
buf_s
i
z
e, db: only
s
tore ty
p
e_size if it
is a poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
st
o
r
e
d_condit
i
o
n
s, implied: use
implications
o
f
previous
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpent
e
r
implied: re-order where we calculate implica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpent
e
r
overf
l
o
w:
silenc
e
glibc strcmp
f
alse positives with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
i
m
plied, ranges: use
t
y
pe
p
romoti
o
n
for
comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpent
e
r
ranges: use NULL in
s
t
e
a
d of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Da
n
Carp
e
n
t
er
deref_check, che
c
k_deref: only conside
r
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpent
e
r
stored_co
n
d
i
tions: rename matc
h
_
m
odify() to m
a
t
c
h_link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Carpenter
mat
h
: fix an out of memory
i
ssue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
math: return a bit earlier in handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpent
e
r
imp
l
i
ed: we have to m
a
k
e
the fa
l
se states
m
atch as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carp
e
n
t
e
r
err_
p
tr
:
u
s
e
the actual
v
a
lues to silence
f
als
e
p
osit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
com
p
aris
o
n
: fix an
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
fixup_kernel
.
sh: track kmalloced()
vs
.
te
x
t data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
e
xtra: don'
t
try to
r
eco
r
d the state
f
or litera
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpente
r
f
l
o
w
:
add a -
>
parent
me
m
ber
t
o statement
s
truct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
ra
n
ges: don't
allow so many inverted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
type: impr
o
ve get_member_type_from_
k
ey()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpen
t
er
extr
a
:
hand
l
e arrays better using
t
he chunk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Carpe
n
t
er
type: make type_to
_
s
t
r
(
)
h
andle arrays
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
an C
a
rpen
t
er
helpe
r
: tiny cl
e
anu
p
in get_comp
l
ication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carp
e
n
t
er
impli
e
d: f
i
x bug
handlin
g
unma
t
ch
e
d imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
ex
t
ra: fix chunk hand
l
ing a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n Carpen
t
er
validation: fix a t
e
st a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
rpenter
de
r
ef_
c
heck: silence so
m
e
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
der
e
f
_check: remove unne
c
essary call
t
o
ge
t
ting_ad
d
re
s
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
r
p
enter
fixu
p
_kernel
.
sh: fix
t
he rtlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpent
e
r
uncons
t
ant_macros: add MAP_UNIN
I
TIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carp
e
nter
ptrlist: reading deleted items in N
E
XT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
range
s
:
fix h
o
w some range
s
a
r
e
joine
d
together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
ranges
:
avoid a possible
i
nt
e
ge
r
overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
poi
n
ter_m
a
th: ALIGN is not bytes,
but offsetof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: don't
c
o
m
plain if a pointer math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
en
t
e
r
p
o
inter_math:
s
ilence f
a
lse a ton of fa
l
se positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
enter
chun
k
: im
p
r
ove expr_to_chun
k
_
sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpen
t
er
h
e
l
p
er:
improve get_complication_sc
o
re(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: export
g
et_complicati
o
n_
s
co
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Car
p
enter
t
y
pe: export is_local
_
v
ariable
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpe
n
ter
chunk: change the API a
b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: start tra
c
king
"
chunks" in
s
tead of jus
t
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: gi
v
e up if calcula
t
i
n
g a value
i
s too comp
l
i
c
ate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
an Carpenter
implied: tur
n
o
f
f debug
messa
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
c
h
eck_list
.
h: move stored_cond
i
tion_lin
k
s next to
st
o
red_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an
Carpente
r
flow: ignore
arr
a
ys with
o
v
er a 1000 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
an Carpen
t
er
db/fixup_kernel
.
sh: hack around slow r
t
lwifi t
e
s
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
C
arpenter
c
a
ppe
d
: use FOR
_
EACH_MY_SM
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
user_da
t
a2:
a
dd skb_netwo
r
k_header(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_dat
a
2: hand
l
e pointers to user
d
ata
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
ent
e
r
user_data
:
add
k
map_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user_data: s/kmemdup_u
s
er/memdu
p
_
u
ser/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an
Carpenter
test_bit: add s
e
t_bit()
a
n
d
clear_
b
it() function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
check_deref: remove call to g
e
tting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
esta
t
e
: m
a
ke clone_est
a
te()
ta
k
e
a N
U
L
L pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan
Carpe
n
ter
w
h
i
t
espace: cha
n
ge some spaces to ta
b
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debu
g
: add s
o
me too
l
s for
developing the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan C
a
r
p
e
n
te
r
buf_size: impro
v
e r
e
s
iz
a
b
l
e struc
t
handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
eliminate s
o
me cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpenter
db: fix a
bu
g
i
n s
p
lit
r
etu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
pen
t
er
extra: introduce get_extra_st
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpen
t
er
smatch: change all remaining references
f
r
om war
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemo
e
s
prefix smatch generated fi
l
es b
y
smat
c
h_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
test
_
ker
n
e
l
.
sh: clean
up
.
c
.
smatch
files after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vill
e
moes
Docu
m
entation: make me less confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
as
m
us
Villemoes
trace_para
m
s
.
pl: fix hash/hash referenc
e
c
onfusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_macros: add
SNIC_
B
UG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
an Carpe
n
t
er
unr
e
achable:
ignore list_for_each_
e
n
try_con
t
inue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
ext
r
a: handle x = (u8)y; c
o
rr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
implied:
fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
type: handl
e
typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
m
ath:
h
andl
e
__s
m
atch_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_
e
xpr:
store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
function_hook
s
: fix validation
/
sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an Ca
r
p
en
t
er
lock
i
n
g
: add new down_timeo
u
t(
)
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
smatch_
a
ddress: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
fixup_kernel
.
sh: igno
r
e s
o
me __vfs_
w
rite() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
fixup_ke
r
ne
l
: upd
a
te types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Fi
r
o Ya
n
g
M
akefi
l
e
: elimin
a
te a
l
l
v
m-config bui
l
d warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpe
n
ter
deb
u
g: impr
o
ve __smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Da
n
Carpenter
fl
o
w: i
g
no
r
e parenthe
s
is in prev_expression_is_gett
i
ng_address
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpe
n
t
er
unreachable: ig
n
ore ne
t
dev_for_each_low
e
r_dev(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpe
n
ter
flow: cleanup prev_expression_i
s
_getting_address
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpent
e
r
flow:
"
&foo->bar" i
s
not a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nter
s
match_address: se
p
arate thing
s
ou
t
in
t
o
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_t
e
st_bit
:
ch
e
c
k
fo
r
test_bit(
B
I
T
(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: spe
e
d up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
an Carpen
t
e
r
type: impr
o
ve get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
a
r
pent
e
r
f
l
ow: add a new expr->parent s
t
ruct mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
er
fixup_kernel
:
hard code
__spi_sync() retu
r
ns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
x
u
p
_
kernel:
k
mallo
c
() ca
n
allocat
e
more da
t
a
.
L
et
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Droki
n
c
heck
_
loc
k
i
n
g
.
c: Fix an
n
oying invis
i
ble read
_
u
n
lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next