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
strlen: cleanup in get_implied_strlen()
2015-08-17
D
a
n Carpenter
strl
e
n: cleanup in get_implied_strle
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
buf_size, strlen: move strlen() handlin
g
to smatch_s
t
r
len
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Ca
r
p
e
nter
extra: tra
c
k
array val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
stored
_
conditon
s
: st
o
re the
c
hun
k
as well
a
s the var_sym
_
lis
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan
Ca
r
penter
ranges: add a missin
g
c
ast in add_range_t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpen
t
e
r
v
alidati
o
n: don
'
t u
s
e uninitialized data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
mo
d
ificatio
n
_h
o
ok:
r
ecor
d
t
he m
o
dific
a
ti
o
n ex
p
res
s
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
Sudi
p
Muk
h
erjee
kchec
k
er: build al
r
e
ad
y
built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
Ca
r
penter
smatch: remove the "loop could
b
e r
e
placed with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Ca
r
penter
buf_siz
e
:
u
nbreak t
h
is feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
t
e
st_kernel
.
sh: pr
i
nt wher
e
the warnings ar
e
saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
arpenter
buf_
s
ize, db: only
s
tore ty
p
e_s
i
z
e
if it is a p
o
i
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpen
t
er
st
o
red_conditio
n
s,
impli
e
d: use impl
i
cations of previous
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
i
m
plied: re-order
w
here we cal
c
ulate
implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Da
n
Carpenter
overflo
w
:
s
i
lence gl
i
bc strcmp false positives wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpent
e
r
implie
d
,
rang
e
s: use typ
e
promotion for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
C
a
r
penter
ranges:
u
se NULL ins
t
ead of z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
deref_check, check_deref: only consider p
o
i
n
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carp
e
nte
r
s
t
ored_conditi
o
ns: rename match_modify() to match_link_
m
o
dify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
a
r
p
e
nter
m
a
th: fix an o
u
t of memory issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
math: return
a bit ear
l
i
e
r
in hand
l
e_bi
n
op_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
an Carpenter
implied: we have to make the
fa
l
se s
t
ates mat
c
h as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpen
t
er
err_ptr:
use t
h
e actua
l
val
u
e
s
to si
l
ence false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Ca
r
p
e
nter
compar
i
s
o
n: fix
an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
f
i
xup_kerne
l
.
sh: track
kmalloced()
vs
.
text data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
enter
extra: d
o
n't try to record t
h
e
s
tate for li
t
erals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
flow
:
a
d
d a
->par
e
nt
m
e
m
b
e
r to statement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
ranges: don't allow so m
a
ny i
n
verted ra
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carpent
e
r
type: improve get_member_t
y
pe_fr
o
m_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra: handle arrays be
t
ter using th
e
c
hu
n
k code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
an Carpenter
typ
e
: make t
y
pe_to
_
str()
h
a
n
d
le arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpen
t
er
helper: tiny
c
leanup
in get_compli
c
ation_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
r
penter
implied: fi
x
bug
handling unmatched
i
mplication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rpenter
e
xtra:
fix chunk handlin
g
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpente
r
v
a
lidation: fix a test a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpenter
deref_check: sile
n
ce
s
o
m
e false pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
deref_check: remove un
n
e
c
essary call
to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup_kernel
.
sh: fi
x
the rtlwifi
hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unco
n
s
tant_macros: add MAP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist: readi
n
g
d
eleted items in NEXT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
rang
e
s
: fix how some r
a
n
g
es are joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
ran
g
es: a
v
oid
a
pos
s
ible integer
overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: ALIGN is
not bytes, but offset
o
f() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
pointer_mat
h
:
d
on'
t
complain if a poi
n
ter math operatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
Carpenter
point
e
r_math: s
i
lence
f
alse a
t
on of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rpen
t
er
chunk:
improve e
x
pr_
t
o_ch
u
nk_sym_vsl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n
Carpen
t
er
he
l
per: improve get_compli
c
a
t
io
n
_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helpe
r
: export
get_
c
omplication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
a
rp
e
nter
t
y
pe
:
export is_local
_
variable(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpenter
chunk: change
th
e
API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: start t
r
a
c
ki
n
g
"chunks" instead of just varia
b
le
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: give
up if calcul
a
ting a value
is too
complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
implied: turn of
f
debug mes
s
ages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
C
ar
p
ente
r
check_list
.
h: move stored_
c
ondition_l
i
nks next to st
o
red_c
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Carpenter
flow:
ignore arr
a
y
s with over
a
1
0
00 el
e
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
an Carpente
r
db/fixup_ker
n
el
.
s
h:
hac
k
ar
o
und s
l
o
w
rtlwifi te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
capped: u
s
e FOR_EACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
user_
d
a
ta
2
:
a
dd sk
b
_
n
etwork_h
e
a
d
e
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
user_da
t
a
2:
h
a
ndle
p
ointers t
o
u
ser data bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_da
t
a: add
k
m
a
p
_atomi
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_data:
s
/
kmemdup_use
r
/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
t
e
st_
b
i
t
: add set_bi
t
() and clear_bit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpent
e
r
check_d
e
re
f
: r
e
m
ove cal
l
to gett
i
ng_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n C
a
rpente
r
estate:
m
ake
c
l
one_estat
e
() t
a
ke a NULL pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
an Carpenter
whi
t
esp
a
ce: change
some spaces t
o
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pente
r
d
e
bug: add some tools fo
r
developing the
db par
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
Carpenter
bu
f
_size: improve resizable struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us
Villemoes
elimi
n
ate some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug in split returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
e
xtra: intr
o
duce
get_extra
_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpenter
s
m
atch: change all re
m
aining r
e
ferences from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Villemoes
prefix smatch
gen
e
rated f
i
les by smatc
h
_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
ll
e
moes
test_ke
r
nel
.
sh:
clean up
.
c
.
smatch fi
l
es afte
r
c
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoe
s
Do
c
ument
a
tion:
m
a
k
e me
less co
n
fused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_params
.
pl: fix hash/
h
ash reference co
n
f
u
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_
m
acros: add S
N
IC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unr
e
achable:
i
g
n
ore
list_fo
r
_each_entry_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extr
a
: hand
l
e x = (u8)y; correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
implied:
f
ix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
type: handle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math: handle __s
m
atch_implied(&foo->bar) a little be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
Car
p
e
n
t
er
assig
n
ed_exp
r
:
s
t
o
r
e it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpe
n
te
r
funct
i
on_hooks: fix valida
t
i
o
n/sm_com
p
are15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
locking: add
new down_timeout() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_addres
s
: fix c
o
mpile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ker
n
el
.
sh: ign
o
r
e
some __vfs_
w
rite()
c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpen
t
er
fi
x
up_kernel: u
p
d
ate typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
M
a
k
efile:
eliminate a llvm-config b
u
ild warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
D
an Car
p
enter
d
ebug: improve __s
m
atch_st
a
tes() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpen
t
er
fl
o
w: ignore parenthesis in prev_expressio
n
_i
s
_getting_ad
d
r
e
s
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan
Carpenter
unr
e
acha
b
le: ignore
n
e
tdev_for_each_
l
o
w
er_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carp
e
nte
r
flow:
c
le
a
nup prev_expressio
n
_is_gett
i
n
g
_
a
d
dre
s
s()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arp
e
nter
flow: "&foo->bar
"
is no
t
a
derefer
e
nc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arpenter
smatch_addr
e
ss: separat
e
t
h
ings out
i
n
t
o
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
D
a
n
C
a
rp
e
nter
*new*
check_t
e
s
t_bi
t
: chec
k
f
or t
e
st_bit(
B
IT(0), &f
o
o)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
enter
ty
p
e:
spee
d
up get_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpe
n
ter
type: improve get_binop_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
an Carpenter
flow: add a new expr->pare
n
t struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
fixup_k
e
rnel: h
a
rd code __spi_sync(
)
returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
fix
u
p
_kernel: kmalloc(
)
can a
l
lo
c
ate m
o
re data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next