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
buf_comparison: split the code up and move it around
2015-08-19
Dan Car
p
e
nte
r
buf_co
m
parison: s
p
li
t
the
code up an
d
move it
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-18
Dan Carpenter
ext
r
a,
d
b
: don't use P
A
R
A
M_VALUE
f
or retur
n
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n Carpen
t
er
buf_size: add kmap
(
)
and get_zeroe
d
_page()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carp
e
nter
buf_size, st
r
len: don't use
s
trlen() to determine the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan
Car
p
enter
s
trl
e
n: clean
u
p in get_impli
e
d_strlen(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan
Carp
e
n
t
er
b
uf_siz
e
,
s
t
r
len: mo
v
e strlen()
han
d
ling
t
o
s
match_strl
e
n
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
D
an
Carpenter
extra:
t
rack array v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpe
n
t
e
r
stor
e
d_co
n
ditons
:
sto
r
e the chunk as
w
e
ll
a
s
the var_sym
_
l
i
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Da
n
Carpenter
rang
e
s
:
add a missing c
a
s
t
in add_ra
n
g
e
_
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpent
e
r
v
a
lidation: don't
u
se uninitialized data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan
C
arpent
e
r
modification_h
o
ok: record the modific
a
tion ex
p
ression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-12
Sudip Mukh
e
rjee
kchecker: build a
l
ready
built di
r
e
ctory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n Carpenter
smat
c
h: re
m
ove t
h
e "
l
oop could be replaced with i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n
Car
p
enter
buf_size: unbreak this feature
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
test_ke
r
ne
l
.
sh
:
prin
t
w
here
t
he w
a
r
nings are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
buf_size, db: only store t
y
pe_s
i
z
e if it is a p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
D
a
n Carpenter
stored_
c
ond
i
tions, imp
l
ie
d
:
us
e
implications of previous
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
implied: re-or
d
er where we c
a
lculate implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-08
Da
n
Carpenter
overflow: si
l
ence glib
c
strcmp false positives w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan Carpenter
i
m
pl
i
ed, ranges: use type
prom
o
tio
n
for comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-05
Dan C
a
rp
e
nter
ranges: use NULL instea
d
o
f
z
ero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Ca
r
penter
deref_chec
k
, check_de
r
ef: on
l
y consider pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n Carpenter
stored_conditions: rename match_modif
y
() to mat
c
h_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Ca
r
pen
t
er
m
ath
:
fix an out of memory
i
ssue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
an Carpenter
math: return a
b
it
e
a
rlier
in h
a
ndle
_
bino
p
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
an
C
arpenter
impl
i
ed: we have to make the false sta
t
es match
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpent
e
r
err_ptr: use th
e
a
c
tu
a
l values to
silence false
positi
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
c
ompar
i
so
n
: fix an o
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
enter
fixup_kernel
.
sh
:
track kmalloc
e
d()
v
s
.
text data bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra: d
o
n't try to recor
d
the stat
e
for l
i
terals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
fl
o
w: add a ->
p
a
rent member
t
o statement struct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carp
e
nte
r
ranges: don
'
t all
o
w so many i
n
verted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
type: improv
e
get_member_type_from_k
e
y(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
extra: hand
l
e arrays better using th
e
c
h
unk
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carp
e
nter
type: make typ
e
_t
o
_str()
h
andl
e
arrays b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
pe
n
ter
helper: tiny cle
a
nup i
n
get_compli
c
a
t
i
on_
s
core()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n
Carpenter
implied: f
i
x bug han
d
li
n
g unma
t
ched implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
an Carpenter
e
x
tra: fix chun
k
h
a
ndling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carp
e
nter
v
alidation: fix
a
t
e
st
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
Carpenter
deref_che
c
k
:
s
ilence some
f
al
s
e positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
Carpente
r
deref_c
h
eck: re
m
ove unnecessary c
a
ll to
getting_ad
d
ress(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup
_
ker
n
el
.
s
h
: fix t
h
e
rtlwifi
hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unconstant_macros:
add MA
P
_UNINIT
I
ALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpente
r
p
t
rlist
:
reading deleted items in NEXT_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an Carpenter
ra
n
g
es: fix h
o
w so
m
e ranges are joined to
g
ethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
ran
g
es:
avoid a possib
l
e
in
t
eger
o
verflow
problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Ca
r
penter
p
ointer_ma
t
h: ALIGN is not bytes, b
u
t
o
ffset
o
f() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
C
arpenter
poi
n
t
er_math: don't complain if a pointer mat
h
operat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
p
o
in
t
er_m
a
th: silen
c
e
false a ton of false p
o
sitive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpenter
chunk: impro
v
e expr_to_c
h
u
n
k_
s
ym_vsl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
ter
helper:
i
mprove g
e
t_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n Carpenter
hel
p
er: export get_
c
om
p
lication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: export is_local_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: change the API
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
D
a
n C
a
rpen
t
e
r
extra:
start tracking "chu
n
ks" ins
t
ead o
f
ju
s
t vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Car
p
enter
math
:
g
i
v
e u
p
i
f ca
l
c
ul
a
t
i
ng
a
val
u
e
i
s
too complic
a
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Da
n
Carpent
e
r
implied: turn off
debug me
s
sag
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
penter
check_list
.
h:
mov
e
stor
e
d
_
c
ondition
_
link
s
next to
stored_co
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n Ca
r
p
enter
flow: ignore
arrays with ov
e
r a 1
0
0
0
elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fi
x
up
_
kernel
.
sh: hack aro
u
nd slow
rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
pe
n
ter
capped: use F
O
R_EACH_MY
_
SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
user_data2:
a
d
d
skb_ne
t
work_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
p
e
n
t
er
user
_
data2: h
a
ndle pointers to u
s
er d
a
ta better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpent
e
r
use
r
_data: add kmap
_
at
o
mic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user_data
:
s/kmemdup_user/me
m
d
up_u
s
er/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
test_bit: add
set_bi
t
() and
clear_
b
it() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
r
p
enter
check_
d
eref: remove cal
l
to getting_ad
d
re
s
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpent
e
r
es
t
ate:
ma
k
e clone_estate() take a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n
Carpenter
whitespace: change some spac
e
s to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug: add
some tools for developing the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpe
n
ter
bu
f
_
s
ize: improve res
i
z
a
b
l
e stru
c
t handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us Vill
e
moes
elim
i
nate
some cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carp
e
nter
db: fix a b
u
g in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
e
x
tra: introd
u
ce get
_
extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
sm
a
tch: change all r
e
m
ain
i
ng references from wa
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
m
u
s
Villemoes
p
r
efi
x
smat
c
h gene
r
a
t
ed fi
l
es by smatch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
lemoes
te
s
t
_
kernel
.
s
h
: clea
n
up
.
c
.
smatch files
after
c
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villem
o
es
Docum
e
nt
a
tion: m
a
ke me less conf
u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemoes
trace_params
.
pl: fix h
a
sh/hash reference confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpent
e
r
kernel
.
ignored_
m
acros: add SNIC_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carp
e
n
t
e
r
unre
a
chable: igno
r
e list_for
_
eac
h
_entry_continu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
enter
e
x
t
r
a
: handle
x
= (u8)y; correc
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
implied: fix a le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
typ
e
: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
a
r
pe
n
ter
math:
h
and
l
e
_
_
s
m
a
tch_implied(&foo-
>
bar) a
little b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
assigned_expr:
s
tore
it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpente
r
functi
o
n_hooks: fix va
l
idation/sm_compare15
.
c
handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking
:
add ne
w
down_timeout() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpen
t
er
smat
c
h
_addre
s
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: ignore some __vfs_wr
i
te() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
e
n
ter
f
i
xup_ker
n
el: update t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile:
e
lim
i
nate a llv
m
-co
n
f
i
g
buil
d
warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Ca
r
penter
debug: imp
r
ove __smatch_sta
t
es()
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpe
n
te
r
flow: ignore parenthesis i
n
prev_e
x
pressi
o
n_is_getting_
a
ddress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpe
n
ter
unreachable:
i
g
n
ore netde
v
_
f
o
r_each_lower_d
e
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
Carpe
n
ter
flow
:
cleanup
prev_expression_is_gettin
g
_a
d
dress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpente
r
flow
:
"&foo->bar" is not a
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
s
m
a
tch
_
a
d
dress: separate things
o
ut into
.
bs
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*
new* check_test_bit: c
h
e
c
k for test_bit(BI
T
(0),
&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Carpenter
typ
e
: speed up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next