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
states: remove an unused function
2015-08-20
D
a
n
Carpente
r
state
s
: remove an unused f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Ca
r
penter
d
o
uble_checking: avoid more fa
l
se posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan
C
arpen
t
er
dou
b
le_checking: silence
f
a
l
se positive
s
caused
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan
C
a
rpe
n
ter
d
o
uble_checking:
a
llow if (foo)
{
.
.
.
} else
i
f (!foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
D
an Carpen
t
er
zero_to_err_p
t
r:
callin
g
PTR_ERR(NULL) is a p
r
obably
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpenter
smdb
.
py: update
lis
t
of types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan
C
ar
p
e
n
ter
c
h
eck_ke
r
nel: register thi
s
late
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Ca
r
penter
che
c
k_
d
m
a
_map
p
ing_
e
rror:
T
he dm
a
_mapping_error
(
) functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpenter
b
u
f_
c
omparison: split the code up and
m
ove it around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
Dan Carpenter
extra
,
db: do
n
't use P
A
RAM_
V
AL
U
E for retu
r
n stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
b
uf_size: a
d
d kmap() and get_zer
o
e
d
_pa
g
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Ca
r
pen
t
er
b
u
f
_
si
z
e, str
l
en: do
n
't u
s
e
s
trlen()
t
o
dete
r
min
e
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
an
Carpenter
strlen: cleanup in get_implied_strlen(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carpenter
b
uf_size, strle
n
: move strlen() handling t
o
smat
c
h_st
r
le
n
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
e
xtr
a
: track array values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Da
n
Carpe
n
ter
s
tored_conditons: store the chunk as
w
ell as the var_sym_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan C
a
rpente
r
rang
e
s: ad
d
a missing cast in
add_r
a
nge_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan
C
arpenter
validation:
d
o
n
't use uninitialized d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan
Carp
e
n
ter
modificatio
n
_hook: r
e
cord the mo
d
i
fication
e
x
p
ression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-12
Sudip Mu
k
herj
e
e
k
c
hec
k
er: b
u
ild alrea
d
y built directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Carpenter
s
match: remove the "loop
c
o
uld be r
e
pl
a
ced with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carp
e
n
ter
buf_size: un
b
reak
this feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
a
r
p
ent
e
r
test_ke
r
nel
.
sh: print where the warnings are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan C
a
rpe
n
ter
buf_
s
ize, db: only
s
t
ore type_size if it
is a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Car
p
enter
s
tored_co
n
ditions, implied: use impli
c
ations of prev
i
ous
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpe
n
ter
implied:
r
e
-order
w
here
w
e calcula
t
e implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
D
an
C
arpenter
overflow: silence
gl
i
bc strc
m
p false
p
os
i
tiv
e
s
wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan Car
p
enter
implied,
range
s
: use type promo
t
ion f
o
r c
o
mpari
s
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
D
an C
a
rp
e
nter
ranges:
u
se
N
ULL instead of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan
C
a
rpenter
deref_ch
e
c
k
,
c
h
e
ck_deref: on
l
y co
n
sider p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
Carpen
t
er
st
o
r
e
d_
c
onditions:
r
ename match_modify() to match_lin
k
_mod
i
fy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
a
r
penter
math: fix an
out of m
e
mory issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpent
e
r
math: return a
b
i
t earlier in handle_binop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan
C
arpenter
i
m
plied: we have to make the false
states match
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n C
a
rpenter
err_ptr: use the
a
ctual values to silence false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
p
e
nter
c
o
mpariso
n
:
fix an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
a
r
penter
fixup_kernel
.
sh: track kma
l
l
oced()
v
s
.
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 t
o
reco
r
d the state for
l
iterals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n
C
a
r
penter
flow: add a
->parent
m
ember to
s
t
ate
m
ent structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
ranges:
d
on't
a
ll
o
w so man
y
i
n
v
e
rt
e
d ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
type: improve get_memb
e
r
_
t
y
p
e_fr
o
m_k
e
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra: handle array
s
be
t
ter using t
h
e c
h
unk c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan
C
a
rpenter
t
y
pe: make type_to_str
(
) handle arrays
be
t
t
e
r
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_complica
t
ion_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
implied: fix bug handling
unmatc
h
ed impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpen
t
er
extra: fi
x
chunk handling a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n
Carpent
e
r
valid
a
tio
n
:
fix a
t
e
st a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
Carpenter
de
r
ef_check: silence some
f
alse posi
t
iv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carp
e
nter
deref_check: rem
o
ve unne
c
essary
c
all to getting_ad
d
ress(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
p
enter
fixup_kern
e
l
.
sh: fix the rtlwifi ha
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
D
an C
a
r
p
e
nter
unco
n
stant
_
macros: add MAP_UNINITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Da
n
Carpe
n
ter
ptrli
s
t:
reading
d
eleted item
s
in NEXT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an
C
arpenter
r
a
nges:
fix
h
o
w
some rang
e
s a
r
e joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
enter
ran
g
es: avoid
a
poss
i
ble intege
r
overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Ca
r
penter
pointer_math:
A
LIGN is n
o
t bytes
,
but offsetof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_
m
ath: don't
complain i
f
a poi
n
te
r
ma
t
h operat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
poi
n
ter_math: silence false a ton of f
a
lse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chunk:
i
mprove expr_to_chunk
_
sym_
v
sl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
an Car
p
enter
helper: improve
get_
c
om
p
lication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Car
p
enter
helper: expo
r
t get_complicat
i
on_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: e
x
port is_lo
c
al_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
penter
chunk: change the AP
I
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: sta
r
t tracking "chunks"
i
nstead of just variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
m
ath: give up if cal
c
ulating a
value is too
complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan
Carp
e
nter
implied: turn off debug m
e
ssages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
c
h
e
c
k_l
i
st
.
h
: move s
t
ored_condit
i
on_links ne
x
t to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an Ca
r
pe
n
ter
flow: ignore arrays with
o
ver a 1000 element
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
a
n Carp
e
nt
e
r
db/fixup_ker
n
el
.
sh: hack a
r
o
und slow
rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
c
a
pped: use FOR_E
A
CH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
user_data2:
add skb_
n
etwork_header
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
u
s
e
r_d
a
t
a
2: hand
l
e pointe
r
s to user d
a
ta be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
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_data: s/kmemdup_user
/
memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Ca
r
penter
tes
t
_bit:
add set_bit
(
) and c
l
ear
_
bit() function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
c
heck_de
r
ef: remove call to
g
ett
i
ng_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n C
a
rp
e
nter
estate:
m
ake clone
_
e
state
(
) t
a
ke a NUL
L
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace: change some space
s
to
t
abs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Carpenter
debug:
add so
m
e
tools
f
o
r
d
evelop
i
ng t
h
e db
pa
r
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
b
uf_size: imp
r
ove resizable struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
u
s Villemoes
e
liminate some
c
at
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpent
e
r
db: fix a bug
i
n split returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
pe
n
ter
e
xtr
a
: introduce get
_
extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
smatch: change
a
ll r
e
mai
n
ing references from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemoes
prefix smatc
h
gener
a
ted files
b
y
s
m
at
c
h_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s V
i
llemoes
tes
t
_kernel
.
sh
:
c
lean up
.
c
.
smatc
h
fi
l
es
after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
sm
u
s
Vill
e
mo
e
s
Documentation: make me less confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
tra
c
e_params
.
pl: fix has
h
/hash ref
e
rence confu
s
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Da
n
Carpen
t
er
kernel
.
ignore
d
_macros: add SNIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpe
n
ter
unreachable: i
g
nore list
_
for_each_entry_cont
i
nue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Da
n
Ca
r
penter
extra: handle
x
= (u8)y; c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
implied: fix a l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
type: hand
l
e
typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
math: handle __smatch_implied(&foo-
>
bar)
a
lit
t
le
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
assigned_e
x
pr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
f
u
ncti
o
n
_hooks:
f
ix val
i
dation/s
m
_
compare15
.
c ha
n
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
loc
k
ing: add new
down_t
i
meout() func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
s
m
atch_ad
d
r
e
ss: fix co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ke
r
nel
.
sh: ignore s
o
m
e
__vfs_write()
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
fixup_kerne
l
:
update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefi
l
e: e
l
im
i
nate a
llvm-config b
u
il
d
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next