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_comparison: split the code up and move it around
2015-08-19
Dan Ca
r
pen
t
er
b
uf_compar
i
s
on: split
the co
d
e u
p
and move i
t
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
Dan C
a
r
p
ent
e
r
e
xtra, db: don't use P
A
RAM_VALUE for ret
u
rn states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carpenter
b
u
f_size:
add kma
p
() and get_z
e
roed_page()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n
Carpente
r
buf_size, strle
n
: don
'
t use
s
trlen() to determine the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carp
e
nter
s
t
rlen: cl
e
anup
i
n get_implie
d
_
strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
Carpen
t
er
buf_size, strlen:
m
o
ve strl
e
n() handling t
o
smatch_st
r
len
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan C
a
rpenter
extra: tr
a
ck array
v
a
l
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpen
t
er
stored_cond
i
t
o
ns:
s
tor
e
the c
h
u
nk as
well a
s
the var_sym_
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carp
e
nter
ranges: add
a
missin
g
cast in add_ra
n
ge_t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
v
a
lidation: don't use unini
t
ia
l
ize
d
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpe
n
t
e
r
modification_hook:
record the modifi
c
ation expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpe
n
ter
s
match:
r
emove the "loop co
u
ld be replaced with i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpenter
bu
f
_size: u
n
break this feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
te
s
t_kernel
.
s
h
: p
r
int wher
e
the war
n
ings are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan C
a
rpenter
buf_size, db:
o
nly store type
_
size
if it
is a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpe
n
ter
s
tored_conditions, i
m
plied: us
e
implications o
f
p
r
ev
i
ous
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan
Carp
e
nter
i
m
p
l
ied:
r
e-ord
e
r
w
here we ca
l
culate im
p
li
c
a
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
D
a
n Carpenter
ov
e
rflow: silence glibc strc
m
p false po
s
i
tives with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied, r
a
nges: use type
promotion for c
o
mpa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carp
e
nter
ra
n
ges: u
s
e N
U
L
L
i
nst
e
a
d
of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
dere
f
_
ch
e
c
k
,
check
_
deref: only consider
poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
stored_con
d
itions: renam
e
m
atch_modify() to match_link_
m
odify(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n
C
arpenter
math: fix an ou
t
of memory
issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
C
arpe
n
te
r
math: return a b
i
t
earlie
r
in handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan
C
a
r
pe
n
t
e
r
i
mplie
d
: we have to make the false sta
t
es match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan
C
arpenter
er
r
_ptr: use th
e
actual values to
s
ilen
c
e false p
o
siti
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpente
r
comparison: fix an
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Car
p
enter
fix
u
p_ker
n
el
.
sh: track kmalloced() vs
.
text da
t
a bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
ext
r
a
: don't try to record th
e
state for literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fl
o
w: add a ->pa
r
ent
m
ember
t
o statement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
ranges: don't allo
w
so many inverted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
type: impr
o
ve
g
et_member_t
y
pe_from
_
key(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
pen
t
er
ex
t
ra:
ha
n
d
l
e
a
r
rays bett
e
r using the chun
k
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
pen
t
er
t
y
pe: ma
k
e type_
t
o_str()
h
and
l
e a
r
rays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
Carpente
r
he
l
per: tiny clea
n
up
in get_complication
_
score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
en
t
er
impli
e
d: fix bug
h
an
d
ling unmatc
h
ed implic
a
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rpe
n
ter
extra: fix
c
hunk
h
a
ndling a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
validation: fix a
t
e
st a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
C
a
r
penter
deref_check: silence som
e
false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
de
r
ef_check: remove u
n
necessa
r
y call to getting_address
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpente
r
f
i
x
u
p
_
kernel
.
sh:
fix the rtlw
i
f
i hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Da
n
Carpe
n
ter
unco
n
stant_ma
c
r
os: add MA
P
_UNI
N
ITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpente
r
ptrlist: reading deleted ite
m
s in
N
E
XT_PTR_LIST
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges: fix how some
r
a
n
ges are joined t
o
gether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carpenter
r
anges: avoid a possible integer o
v
erflow prob
l
em
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an Ca
r
penter
p
o
i
nter_math: ALIGN
i
s
n
ot bytes, bu
t
off
s
etof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: don't
c
omplain if a
p
o
inter
math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
poin
t
er
_
m
ath: silence fal
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
penter
chunk: improve
expr_to_chu
n
k_sym
_
vs
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
t
e
r
helper: improve get_complication_sco
r
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n Ca
r
penter
helper:
export get_c
o
mplica
t
ion_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carp
e
nte
r
type: e
x
port is_lo
c
al
_
variabl
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
penter
chunk:
c
hange the
A
PI
a
b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Ca
r
pen
t
er
extra: st
a
rt tracki
n
g
"c
h
unks" instead
of
j
u
s
t
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: giv
e
u
p if calculati
n
g a value is too com
p
licated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
a
n
Carpenter
imp
l
ied:
t
u
r
n o
f
f debug
m
essages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check
_
l
ist
.
h:
mov
e
stored_
c
o
n
dition_links next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
penter
flow: ignore arrays with over a 1000 ele
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Ca
r
p
enter
d
b/f
i
xup_kernel
.
sh
:
hack around s
l
o
w rtlwi
f
i te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n C
a
rpenter
c
apped: use FOR_EACH_MY_
S
M()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
user_data2: add s
k
b_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
user_data2: handle pointers to
u
ser d
a
ta bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_data: add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
ent
e
r
user_
d
ata: s/kmemd
u
p
_user/
m
emdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_bi
t
: add set_bit() and
c
lear_bit() function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpente
r
c
heck_dere
f
:
r
e
move
c
all
t
o
g
etting
_
address(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpe
n
ter
esta
t
e:
make clone_estate() take a
N
ULL pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpente
r
whitesp
a
ce:
ch
a
nge some space
s
to t
a
bs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpe
n
ter
debug: add so
m
e to
o
l
s
for
d
e
velopin
g
t
he db pars
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpen
t
er
bu
f
_
size: improve resiz
a
b
le struct
h
andl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carp
e
nter
db:
f
i
x
a b
u
g
i
n
s
plit ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Ca
r
penter
e
xtra: i
n
troduce get_ext
r
a_
s
t
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Car
p
e
nter
smat
c
h:
change all
r
emaining refer
e
nces from w
a
rns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_macros:
add
S
NI
C
_BUG_ON
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Da
n
Carpenter
unreachable
:
i
g
nore
l
is
t
_for_each_entry
_
continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpenter
extra: handle x = (
u
8)
y
; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
imp
l
ied: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arp
e
n
t
er
type: hand
l
e
t
y
peof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpente
r
math
:
handle __smatch_implied(&foo->bar) a
lit
t
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
a
rpenter
assign
e
d_exp
r
: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
function_hook
s
:
fix validat
i
o
n
/sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpente
r
locking: add new down_timeout()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpente
r
smatc
h
_address: fix
c
ompile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n
Carpenter
fix
u
p_kernel
.
sh: ignore
some __v
f
s_write() call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ker
n
el: upd
a
te typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
C
a
rpente
r
deb
u
g:
i
m
p
rove __
s
ma
t
ch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carp
e
nte
r
flow
:
ign
o
re p
a
r
enth
e
sis in pre
v
_expres
s
ion_is_getting_ad
d
ress
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpent
e
r
unreachable: ignore netd
e
v_for_each
_
lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup prev_e
x
pres
s
i
on_is_get
t
ing_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
flow: "&f
o
o->bar" is n
o
t
a
dere
f
erence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nter
smatch_address: separa
t
e things out into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Car
p
ent
e
r
*ne
w
* chec
k
_test
_
bit
:
check for test_bit(BIT(0),
&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: sp
e
ed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpe
n
te
r
t
y
p
e: improve get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
a
rpente
r
flow: add a new expr->parent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
C
a
rpenter
fix
u
p
_
kernel: hard code __s
p
i_s
y
nc() retur
n
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
fixup_
k
ernel: kmalloc() can all
o
cate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpen
t
er
sma
t
ch_address: sort
poi
n
ters into different ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpe
n
ter
extra: remove
some unused functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n
Carpenter
smatch
.
h
:
add the compa
r
ison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next