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
double_checking: avoid more false positives
2015-08-20
Dan Carpenter
double_checking: av
o
id m
o
r
e false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan C
a
rp
e
n
t
er
d
ouble_checking: silence false positives c
a
u
s
ed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan Ca
r
penter
d
o
uble_checking: allow
i
f
(
f
o
o
) {
.
.
.
} else i
f
(!foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
D
an
C
arp
e
nter
z
ero_to_err
_
ptr:
calling
P
TR_
E
RR(NULL)
i
s a
p
roba
b
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
D
a
n Carp
e
nter
sm
d
b
.
py: update list of t
y
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
D
a
n Ca
r
penter
c
heck_k
e
rnel: register this later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpenter
check_dma_mapping
_
error:
The dma_map
p
ing_
e
rror() function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan Car
p
enter
bu
f
_com
p
arison: spl
i
t
the cod
e
up an
d
m
o
ve it arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-18
Dan C
a
rpente
r
extr
a
, db: d
o
n't u
s
e
P
ARAM_VALUE fo
r
return s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carpent
e
r
bu
f
_s
i
ze
:
add kmap() and get_zeroed
_
page()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
bu
f
_size, strlen
:
d
o
n't use strlen()
to d
e
t
e
rmine t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
strlen: cleanup
i
n get_im
p
lied_strlen(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpen
t
er
b
uf_size, strlen:
move st
r
l
en() handling to smatch_strlen
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carp
e
nter
extra:
track array values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan C
a
r
p
enter
s
to
r
ed_
c
onditons: store the chunk as well as
t
he var_sym_list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
r
a
n
g
e
s
:
a
dd
a
m
issing c
a
s
t in
add_range_t(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpent
e
r
validation: don
'
t use uninitializ
e
d
da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carp
e
nte
r
modifi
c
ation_
h
ook: record the modificat
i
on expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-12
S
udip Mukherjee
kchecker: build alre
a
dy built direct
o
r
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpen
t
er
smatch: remo
v
e
t
h
e "loop
c
ould be replaced with
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan
C
a
r
penter
buf_size: unbreak this feature
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
t
est_
k
ernel
.
sh: print where
the warni
n
gs are sav
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
Carpente
r
buf_size,
d
b: only s
t
o
r
e type_siz
e
if it is a p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpen
t
er
stored_
c
ondit
i
ons, implied: use im
p
l
i
cations of p
r
evious
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
D
an
C
a
r
penter
implied: re-order
w
h
ere we calc
u
late implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpen
t
er
overflow
:
silen
c
e glibc strcmp false positives wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Car
p
enter
implied, ra
n
g
e
s
: use type promotion fo
r
c
o
mp
a
rison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
ranges: u
s
e NUL
L
instead of zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Ca
r
pe
n
ter
de
r
e
f_
c
he
c
k, check_de
r
e
f
:
o
n
ly con
s
i
der poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
an Ca
r
p
e
n
t
er
stored_condition
s
:
r
ename
match_mo
d
ify() to
match_l
i
nk_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n
Carpe
n
ter
math: fix an out of memory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
an Carpenter
ma
t
h: return a bit
ea
r
lier in
h
andle_binop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Car
p
enter
i
m
plied:
w
e have to m
a
ke the false
s
tates
m
atch as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
err_ptr: use the actual va
l
ue
s
t
o sile
n
ce
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpe
n
ter
comparison: f
i
x an
oop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpenter
fi
x
u
p
_
k
ernel
.
sh: track kmalloce
d
(
)
v
s
.
t
e
xt data b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Ca
r
pe
n
ter
extra:
don't try t
o
record the state for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n
Carpe
n
ter
f
low: add a ->par
e
nt m
e
mber to statemen
t
s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Car
p
ent
e
r
ranges: don't
all
o
w so man
y
inver
t
ed ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
type: improve get_m
e
mber_ty
p
e_fr
o
m_ke
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpenter
extra:
h
andle arra
y
s better using the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpen
t
e
r
type: make ty
p
e_t
o
_s
t
r()
handle arr
a
y
s b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
C
a
rpenter
helper: tiny cleanup in get_complica
t
ion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
i
mplied: fix bug
handling
u
n
matched
implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
an
C
a
rp
e
nter
ex
t
ra
:
fix chunk ha
n
dling
a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rp
e
nt
e
r
v
a
l
i
d
a
tion:
fix a
test a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpen
t
er
dere
f
_
c
h
eck:
silence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpent
e
r
deref_chec
k
:
r
emove unnecessary c
a
ll t
o
g
e
t
ting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
penter
f
ixu
p
_k
e
rnel
.
sh: fix the r
t
lwifi h
a
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpe
n
ter
unc
o
nstant_macros: add MAP_
U
NINITIALIZ
E
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Da
n
C
arpenter
ptrli
s
t: readi
n
g
dele
t
ed items in NEXT_PTR_LI
S
T()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpent
e
r
r
a
nges: fix how so
m
e r
a
nge
s
are
joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
r
a
nges: avoid a
p
os
s
ible
int
e
ger overflo
w
problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer
_
math: A
L
IGN is not b
y
t
e
s,
but offsetof(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
poin
t
er_m
a
th:
don
'
t com
p
lai
n
if
a
pointer math operat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
Carp
e
nter
pointer_math: silence false a ton of fals
e
p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carp
e
nter
chunk: improve expr_to_
c
hun
k
_sym_v
s
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Da
n
Carpenter
helper: improve get_compl
i
c
a
tion
_
score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
an Carpenter
helper: ex
p
ort get_co
m
plicati
o
n_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
an Carpe
n
ter
type:
e
xpor
t
is
_
loc
a
l_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
arpenter
ch
u
nk: change the AP
I
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpent
e
r
e
x
tra: start tr
a
cking "chu
n
k
s
" instea
d
o
f
just va
r
iables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Carpen
t
er
math: giv
e
up if calculating a
v
a
lue is too c
o
mplica
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Car
p
enter
im
p
l
ied: turn
off
d
ebug me
s
sages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
chec
k
_li
s
t
.
h: move stored_conditi
o
n_
l
inks next
t
o stored_
c
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
f
low: ignore arrays with over a
1
0
0
0 elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpent
e
r
db/fixup_k
e
r
n
e
l
.
sh:
h
a
c
k around slow rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
c
a
pped: us
e
FOR_
E
ACH_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: add s
k
b_network_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Car
p
enter
user_data2:
handle pointers to user
data
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
us
e
r_data: add kmap_atom
i
c
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
us
e
r_data: s/kmemdup_user
/
m
e
m
dup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
te
s
t_
b
it:
a
dd
s
e
t_bit() and
c
lear_bit()
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
pent
e
r
che
c
k
_
deref: remove c
a
l
l
to gettin
g
_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: m
a
ke
c
lone_estate() take a
NU
L
L
pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespa
c
e: chan
g
e some spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
debug: add some
tools
for developing the d
b
parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
b
u
f_size:
i
mprove resi
z
able struct
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
eliminate s
o
m
e cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db:
f
ix a bug in
split re
t
u
r
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpe
n
ter
extra:
i
ntro
d
uce get_
e
x
t
ra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rpenter
smatch:
c
h
ange all remaining
references from
w
arns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
l
e
m
oes
pr
e
fix smatch gen
e
r
ated
f
iles by smatch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Vi
l
lemoe
s
tes
t
_kernel
.
sh: clea
n
up
.
c
.
s
m
a
tch files af
t
er cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
i
l
lemoes
Docu
m
entation: make me les
s
confused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemoes
trace
_
param
s
.
pl:
f
ix hash/hash reference c
o
nfusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
an Car
p
enter
kernel
.
ignored_macros: add
SNIC_BUG_ON
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unre
a
chable
:
ignore
list_
f
o
r_each_entry
_
conti
n
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpenter
extra: handl
e
x
= (u8)y; correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
implied
:
fix a lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: handle ty
p
eo
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
ma
t
h: handle __
s
mat
c
h
_
implied(&
f
oo->bar) a
litt
l
e
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arp
e
nter
a
s
signed_exp
r
: s
t
ore it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpente
r
f
u
nc
t
ion_hoo
k
s: f
i
x
validation/sm_co
m
pare1
5
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
lo
c
king: add
new down_time
o
ut() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
sm
a
tch_address:
f
ix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
p
e
nter
f
i
x
up_kernel
.
sh
:
ignore
s
ome __vfs_write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup_ke
r
nel:
u
pdate
ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Mak
e
fil
e
: eliminat
e
a
l
lvm-
c
onfig
build war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: i
m
prove _
_
s
m
atch_states() output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next