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
Da
n
Carp
e
nter
validati
o
n:
don't
use
u
n
i
n
i
ti
a
lized data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Ca
r
pe
n
ter
modif
i
c
a
tio
n
_hook:
r
e
c
ord the
m
odification expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
S
ud
i
p M
u
kherj
e
e
kchecker: build already built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
smatch: r
e
move
th
e
"loop cou
l
d be replac
e
d with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Car
p
en
t
e
r
buf_size: unbreak this feat
u
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpe
n
ter
test_kernel
.
sh
:
prin
t
where
the
w
arnings are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
b
uf
_
si
z
e, db: only s
t
ore type
_
s
i
z
e
if it is a p
o
int
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
stored_conditions, implied:
u
se implicat
i
ons o
f
p
r
evious
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
implied: re-order
w
h
e
re
w
e
c
a
lculate implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpenter
overflow: silenc
e
glib
c
strcmp
false po
s
itives with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
D
a
n
Carpenter
im
p
l
ied, r
a
n
g
es: us
e
type promotion
f
or compa
r
i
s
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpente
r
r
ang
e
s:
use
NULL
i
nstead of z
e
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
D
a
n
Carpe
n
ter
de
r
ef_
c
h
eck, c
h
eck_deref: only co
n
sid
e
r pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Carpenter
stor
e
d
_co
n
ditions: rename match_mod
i
f
y
() to match_link_m
o
dify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Ca
r
penter
math: fix an out of memory issu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
Carpenter
math:
r
etur
n
a bit earlier in handle_binop_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
implied: we have to ma
k
e
t
he false s
t
ates ma
t
ch a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan
Carpenter
er
r
_ptr: use the
actual values to silence false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
p
e
nt
e
r
comparison
:
fix
an
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an
Carpenter
fixu
p
_kernel
.
s
h
: tr
a
ck km
a
lloced(
)
vs
.
text data
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra:
don
'
t
t
r
y
to r
e
cord the state for literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an C
a
rpenter
flow: add a -
>
parent member to statement struct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpenter
ranges: don't a
l
low so
m
any
i
nverted ra
n
ge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
type: improve
g
e
t_membe
r
_type_
f
ro
m
_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra:
h
a
ndle arrays bette
r
u
s
ing the
c
hunk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
Carpente
r
type
:
make type_to_st
r
() handle array
s
bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
pen
t
er
helper: tiny cleanu
p
in ge
t
_complication_
s
c
o
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
i
m
plied: fix bug handling unma
t
c
hed implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
extra:
f
ix chunk
handling a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
arpenter
validation: fix a test a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carp
e
n
t
er
d
e
r
ef_check: sile
n
ce
s
o
m
e
f
alse posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpenter
d
eref_check: remove unnecessa
r
y
c
all to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup
_
kernel
.
s
h
: f
i
x the r
t
lwi
f
i hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan
C
a
rpen
t
e
r
unconst
a
nt
_
macros: add
M
AP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n Carpenter
ptrlist
:
readin
g
deleted items
in
NEXT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges: fix ho
w
so
m
e ranges
are joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
enter
ranges
:
avoid a possible integer overflow proble
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
inter_ma
t
h:
ALIGN is not
b
ytes, but offsetof()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
poin
t
er_math:
don
'
t complain if a poi
n
ter math opera
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
pointe
r
_math: silence fal
s
e a
t
on of fa
l
se pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chunk: improve expr_to_chunk_sym_vs
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
helper: improve get_c
o
mplicatio
n
_
score(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
t
e
r
helpe
r
:
export
g
et_
c
omp
l
ication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpent
e
r
type: export
i
s_local_variabl
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chu
n
k: ch
a
nge
t
he API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpente
r
extra: start tracking "chun
k
s" instead
o
f ju
s
t variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpent
e
r
math: give
u
p
if calculat
i
ng a value i
s
too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
an Ca
r
penter
implied: turn off d
e
bug message
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpe
n
t
e
r
ch
e
c
k_list
.
h:
move stor
e
d_c
o
ndit
i
on_link
s
next to sto
r
ed_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpente
r
flow: i
g
nore a
r
ray
s
wi
t
h o
v
er a 1000
e
le
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpente
r
db/fixu
p
_
k
ernel
.
sh: hac
k
around
sl
o
w rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
capped: use FOR_EAC
H
_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpent
e
r
user
_
data2: add s
k
b_n
e
t
w
o
rk_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
n
ter
user_data
2
: handle pointers to use
r
data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
us
e
r_data: add
k
map_at
o
m
ic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
te
r
user_da
t
a
:
s
/kmemdup_
u
ser/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
tes
t
_bit:
add set_bit
(
) and
c
lear_bit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
c
hec
k
_dere
f
:
remove call to getti
n
g_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
est
a
te: make clone_estate() take a NULL p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpente
r
whitespace:
change some sp
a
ces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
Car
p
enter
debug: add some tools f
o
r developing the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Car
p
enter
buf_size: impr
o
ve r
e
sizable struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
R
asmus Villemoes
eliminate some c
a
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
pen
t
er
db: fix a bug in split returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
r
p
enter
e
x
tra: introduce ge
t
_ex
t
ra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rp
e
nter
s
m
atch: chan
g
e al
l
r
emaining refe
r
ences fr
o
m warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
pr
e
fix smatch
g
enerat
e
d files by smatch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
test_kerne
l
.
sh: clean up
.
c
.
s
m
atch files
a
fter cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
emoe
s
Documentation: mak
e
me l
e
ss
confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_params
.
pl:
f
ix ha
s
h/h
a
sh
ref
e
r
e
n
ce conf
u
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored
_
macros: add SNIC_BUG_ON
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan C
a
rp
e
n
ter
unreachable
:
ign
o
re li
s
t_for_each_
e
ntr
y
_co
n
tinue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpente
r
extra:
ha
n
dle
x = (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
imp
l
ie
d
: fix a l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
C
a
r
penter
type: h
a
ndle typeof(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
ma
t
h: handle
_
_smatch_implied(&foo->bar) a lit
t
le bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
ass
i
g
n
e
d
_expr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Ca
r
penter
function_hook
s
: fix validation/sm_co
m
pare15
.
c h
a
ndl
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
locking
:
add new down_timeout() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
p
e
nter
smatc
h
_address: fix comp
i
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
fixup_kernel
.
sh
:
ignore some __vf
s
_write() cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fix
u
p
_ker
n
e
l: update ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Ma
k
efile: eli
m
inate
a
l
lvm-config build wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
D
an Carpenter
debug: improve __smatc
h
_s
t
ates() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
f
l
o
w
: ignor
e
parenth
e
si
s
in prev_expression_i
s
_getting_addre
s
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
u
nr
e
acha
b
le: ignore netdev_
f
or_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flo
w
: cleanup prev_expression_is_gett
i
n
g_addr
e
ss()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&foo->bar" is not a dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
penter
s
ma
t
ch_address: separate
things out into
.
bss an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Carpenter
*new* check_test_bit: check for t
e
st_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Car
p
enter
typ
e
: speed up g
e
t
_
type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
an
C
ar
p
enter
type: impr
o
ve
get_binop_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
fl
o
w: add a n
e
w
e
xp
r
-
>
paren
t
st
r
uct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpe
n
ter
fi
x
up
_
k
ernel: hard co
d
e _
_
spi_sync()
r
et
u
rns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
ixup_kernel: km
a
lloc()
c
an allocate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
che
c
k_lock
i
ng
.
c
:
Fix annoyi
n
g
i
nvisible
r
e
a
d
_
unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan C
a
rpen
t
er
smatch_address: so
r
t
pointers into differ
e
nt
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: re
m
o
ve
s
ome un
u
sed fu
n
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpen
t
er
smatch
.
h: add the co
m
pa
r
ison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
Carpenter
type_to_str: fix
a
crashing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next