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: allow if (foo) { ... } else if (!foo) { }
2015-08-20
Da
n
Car
p
enter
double_ch
e
cki
n
g
: all
o
w
if (foo) {
.
.
.
}
else
i
f
(!foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan
C
arpent
e
r
zero_to_err_ptr:
c
alling
PTR_ERR(NULL)
i
s a pro
b
ably
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan
C
a
r
penter
smdb
.
py: update list
o
f types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpenter
check_kernel: register t
h
i
s l
a
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan
Car
p
enter
ch
e
ck_dma_mapping_error: The d
m
a_ma
p
ping_
e
rror()
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan
C
arpe
n
ter
buf_
c
omparison: split the code up and m
o
ve
it arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-18
Dan Ca
r
pe
n
ter
extra
,
db:
d
on'
t
use PARAM_VALUE
for return
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
buf_size: add kmap()
a
nd ge
t
_zer
o
ed_
p
age()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpenter
buf_siz
e
, strl
e
n:
d
on'
t
use strlen() to determine t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpenter
strlen: cle
a
nup in g
e
t_imp
l
ied_strlen
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpe
n
t
e
r
buf_size, strlen: move strlen() handl
i
ng to s
m
a
tch_strlen
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan
C
arpe
n
ter
e
x
tra: track array valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan C
a
rpen
t
er
stor
e
d_conditons: store the
c
hunk as well as the var_sym_list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
ra
n
ges
:
add
a missing cast i
n
add_
r
a
n
ge_t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
val
i
d
a
ti
o
n
: don't
u
s
e
u
n
i
niti
a
lized dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpen
t
er
modif
i
cation_ho
o
k: re
c
ord the
m
od
i
ficatio
n
expre
s
sion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-12
Sud
i
p
Mukherjee
kchecker: b
u
il
d
al
r
ead
y
buil
t
directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpent
e
r
sm
a
tch: remove t
h
e
"loop c
o
uld be replaced wi
t
h
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n
C
a
rpente
r
buf
_
size: unbreak this featu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
test
_
kern
e
l
.
sh: p
r
int where t
h
e warnings
a
re saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
buf_size, db: only sto
r
e type_size i
f
i
t is a pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
D
an Carpenter
stored_con
d
ition
s
, implied: use
i
mplications of pre
v
i
o
us
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpente
r
impl
i
ed: re-order where we calc
u
late
impli
c
a
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
Dan C
a
rpenter
ove
r
fl
o
w
:
silenc
e
glibc strcmp false
p
ositive
s
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
implied
,
ranges: use type promotio
n
for
com
p
arisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
ra
n
ges: u
s
e NULL inst
e
ad of zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan C
a
rpenter
deref_check, check_deref: o
n
ly consid
e
r poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
stored_
c
o
nditions: ren
a
me matc
h
_m
o
dify()
t
o match_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n Carpe
n
t
e
r
m
a
th: fix an
o
ut
of memory
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
math: return a b
i
t earlier in handle_
b
in
o
p_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Car
p
en
t
er
implied: we have t
o
make the false states
match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
an Carpe
n
ter
err_ptr: use th
e
a
c
t
u
a
l
val
u
e
s
to
silence
false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
en
t
er
c
o
m
p
arison: fi
x
an o
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fixup_ker
n
el
.
sh: track kma
l
loced() vs
.
text da
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
e
r
extra: do
n
'
t try to
record the state
for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
flow: add a ->p
a
rent member to statemen
t
s
tructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ranges:
don't a
l
low so many i
n
vert
e
d ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpenter
typ
e
: i
m
prove get_member_type_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpenter
extra: handl
e
a
r
r
ays bet
t
er using the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpenter
type: ma
k
e type_to_str() handle arra
y
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
p
ente
r
helper: tiny cleanup in get_
c
omplicat
i
o
n
_sc
o
re
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n Carp
e
nte
r
impl
i
ed
:
f
ix bug hand
l
ing
u
n
m
a
tche
d
imp
l
ic
a
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
C
a
rpen
t
er
e
x
tra: fix chunk h
a
n
dling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carpenter
v
alidation:
fix a t
e
st a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Car
p
enter
der
e
f_check:
s
ilence some fals
e
pos
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpenter
deref_check:
remove unnecessar
y
call to gett
i
n
g_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n
Carp
e
nter
fixup_kernel
.
sh: fix th
e
rtlwif
i
hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpen
t
er
unconstant_macros: add
MAP_
U
NINITIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist: reading deleted
i
t
ems in NEXT
_
PTR_L
I
ST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
ranges: fix how some r
a
nges are joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
r
a
n
g
e
s: avo
i
d a possible integer overflow pro
b
lem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: ALIG
N
is
not by
t
e
s, but offset
o
f
(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
a
r
penter
p
o
inter_math:
d
on
'
t complain
i
f
a poi
n
t
e
r math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carp
e
nter
p
o
inter_math: sil
e
nce false a ton of false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
an Carpenter
chu
n
k:
i
mprove expr_to_
c
h
u
n
k_sym
_
vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Ca
r
penter
helper:
i
m
prove get
_
compl
i
cati
o
n_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n Carpenter
helper: export get_co
m
plicati
o
n_s
c
or
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type
:
expo
r
t is_loca
l
_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
c
h
u
n
k: change
the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpen
t
e
r
extra: start tracking "chunks" i
n
s
t
e
a
d
o
f
ju
s
t
v
aria
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carp
e
nter
math: give
u
p i
f
calculating a value is
too complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
i
m
plie
d
: turn o
f
f debu
g
messa
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Carpenter
che
c
k
_
list
.
h:
m
o
v
e stored_condi
t
ion_
l
inks next to
s
tored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: i
g
nor
e
a
r
r
a
ys
with o
v
e
r
a 1
0
00 el
e
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan
Carpenter
d
b/
f
ixup_kernel
.
sh: hack
around slow
r
t
lwifi te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
c
appe
d
: use FOR
_
E
A
CH_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
us
e
r_data2: add s
k
b_n
e
twork_header(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpe
n
ter
u
s
e
r
_
d
a
t
a
2: handle pointers
t
o
user data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpenter
u
ser_data: add kmap_a
t
omic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_d
a
ta: s/kmemdu
p
_user/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpe
n
t
e
r
t
e
st_bi
t
: add set_bit() and clear_
b
it() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpent
e
r
che
c
k_deref: r
e
move call t
o
getting_
a
d
d
ress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpenter
estate
:
make clone_estate() take a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whit
e
space: change some spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
an Carpenter
d
e
bug: add some tools fo
r
developi
n
g
the db pars
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_
s
ize
:
i
m
prove
resizable struct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Vil
l
em
o
es
elimin
a
te
some
c
ats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
db:
f
ix a
b
ug in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra:
i
ntroduc
e
get_ext
r
a_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpenter
smatch: chang
e
all remaining r
e
ferences from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
lemoes
prefix smatch generated f
i
l
e
s b
y
sm
a
tch
_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
a
s
mus Villemoes
test_kernel
.
sh: clean up
.
c
.
sma
t
c
h
files after c
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
illemoes
Documentation: make m
e
less con
f
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Vil
l
emoes
t
r
ace_param
s
.
pl: fix hash/
h
a
s
h
ref
e
rence c
o
nfusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n Carp
e
n
ter
kernel
.
ignored_macros: add SNIC_BUG_O
N
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpent
e
r
unreachable: ignore l
i
st_for_eac
h
_entry_conti
n
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpenter
extra: hand
l
e
x = (u8)y;
c
o
r
rec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpen
t
er
imp
l
ied:
f
ix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpe
n
ter
math:
h
and
l
e __sm
a
tch_i
m
plied(&
f
oo->bar)
a
l
ittle be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
assigned_expr: s
t
ore it la
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
func
t
ion_hooks: fix va
l
idation/sm_compar
e
15
.
c handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
l
ocking: add ne
w
down_timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
sma
t
ch_address: fix
comp
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
r
penter
fixup
_
kernel
.
s
h: ignore some __vfs_write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n
C
a
rpente
r
fixup
_
k
e
rnel: update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile:
e
liminate a
l
lvm-config build war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Car
p
e
nter
d
ebug: improve __smatch_st
a
tes(
)
ou
t
pu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
flow: i
g
n
ore parenthesis in prev
_
expression
_
is_
g
etting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unreachable
:
ignore
netdev
_
for_each_lo
w
er_dev
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next