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
err_ptr: use the actual values to silence false positives
2015-07-31
Dan Carpenter
e
r
r_ptr:
u
se t
h
e actual v
a
lues
t
o si
l
ence false po
s
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
co
m
p
a
rison: fix an oo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Car
p
enter
fixu
p
_k
e
rnel
.
sh: tr
a
ck km
a
l
l
oced() vs
.
te
x
t data bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpenter
extra: don't tr
y
to re
c
ord
t
he state for lit
e
rals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
e
nter
f
lo
w
: add a ->p
a
rent m
e
mb
e
r
t
o
s
tatement str
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpente
r
r
anges: don'
t
allow so many inverted range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carpe
n
te
r
typ
e
:
impro
v
e get_
m
ember_
t
ype
_
fro
m
_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
extra: handle
a
rrays better usin
g
the chunk co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
D
a
n
Carpenter
type: make t
y
pe_to
_
s
tr(
)
h
a
ndle arrays bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carp
e
nter
help
e
r: tiny cleanup
i
n
get_complication_score(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
ar
p
e
n
ter
im
p
li
e
d: fix bug ha
n
dling unmatched implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n
C
arp
e
n
t
er
extra: fix chu
n
k han
d
ling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan C
a
rpenter
validation
:
fix a test a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
de
r
ef_check
:
silence s
o
me false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpente
r
d
e
ref_check: remov
e
unnecessary call to
g
etting_ad
d
ress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n Carpent
e
r
fix
u
p_kernel
.
sh: fix the rtlwifi
hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Ca
r
p
e
nter
unc
o
nstant_macros: add MAP_UNINITIALIZE
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n
C
a
r
pent
e
r
ptrli
s
t: reading deleted
i
tems in NEXT_P
T
R
_
LIS
T
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
ter
ra
n
g
e
s
:
fix h
o
w
some ran
g
es are j
o
ined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
range
s
: a
v
oid a possible i
n
teger overflow
p
r
oblem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
pointer_
m
ath: ALI
G
N is not bytes, bu
t
o
ff
s
etof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Ca
r
pent
e
r
p
o
inte
r
_
m
ath: d
o
n
'
t co
m
p
l
ain if
a
p
o
i
nter math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math
:
silence false a ton of false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
c
h
unk: improve e
x
pr_to_chu
n
k_sym_
v
sl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
a
r
pe
n
ter
helper
:
i
m
prov
e
g
et_complic
a
tion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
e
r: expo
r
t get
_
complication_sc
o
re()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpen
t
er
type: export is_local_variable
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
pent
e
r
ch
u
nk: change the API
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan
C
arpent
e
r
extra: start trac
k
in
g
"chun
k
s
" instead of j
u
st variab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan
C
arpe
n
ter
m
ath: give
u
p if cal
c
ulating a value i
s
too complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
implied: turn off debug messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_list
.
h: move
s
t
or
e
d_condition
_
l
i
nks next to stored_co
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n Carpente
r
f
l
ow: ignore arra
y
s w
i
th over a
1
000 e
l
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
D
a
n C
a
r
penter
db/f
i
xup_kernel
.
sh: hack
a
round slow
rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpen
t
e
r
capped: use
FOR_EACH_M
Y
_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
user_data2: add skb_network_header
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
u
s
e
r_data2:
han
d
le pointers
to user da
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
user_data: add
kmap_atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpent
e
r
user_data:
s
/kmemdup_user/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
te
s
t
_bit: add set_bit() and clear_
b
it(
)
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
c
h
eck_deref: remov
e
cal
l
to ge
t
ting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n
Carpent
e
r
estate: make cl
o
ne_estate() take a NULL
p
o
in
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan
C
arpenter
whitespace: change some
s
p
a
c
es to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
an Carpe
n
ter
debug: add so
m
e tools for
develop
i
ng the db parse
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
buf_siz
e
: improve resiz
a
ble st
r
uct
h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Ra
s
mus Ville
m
oe
s
eliminate some cat
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug i
n
sp
l
it returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra: intr
o
d
uce get_extra_s
t
ate(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
smatch: change all remaining references from warn
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Vi
l
lemoes
p
ref
i
x s
m
a
t
ch gener
a
t
e
d f
i
les by s
m
atch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test
_
k
e
rnel
.
sh: c
l
ean up
.
c
.
smatch
fi
l
es
aft
e
r
c
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
a
sm
u
s
Villemoes
Documentation: make
me les
s
conf
u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
a
s
m
us
Villem
o
es
tr
a
c
e_p
a
r
a
ms
.
pl
:
fix hash/hash refer
e
nce
con
f
u
si
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
an Car
p
e
nte
r
kernel
.
igno
r
ed_macros: a
d
d SNIC_BUG
_
ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
u
n
reach
a
b
le: ignore list_for_ea
c
h_entry_contin
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan C
a
rpen
t
er
extra
:
handle x = (u8)y
;
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
implied: fix
a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
type:
h
a
n
dle typeof
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpen
t
er
m
at
h
:
h
and
l
e
_
_sma
t
c
h
_implied(&f
o
o->
b
ar) a li
t
tle be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
a
s
sig
n
ed_e
x
pr
:
store it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
fun
c
tion_hooks: fix validation/sm_co
m
pare15
.
c
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
l
ocking: a
d
d n
e
w down_timeout() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpen
t
er
smatch_add
r
es
s
: fix c
o
mpile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
en
t
e
r
f
ixup_kernel
.
sh: i
g
nore s
o
me __vfs
_
write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
ixup_kernel:
update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Ya
n
g
Makefile: elim
i
nate a
llvm-c
o
nfig build war
n
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n Carpenter
debug: improv
e
__s
m
atch_st
a
te
s
() output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Da
n
Carp
e
nter
flow
:
ignore
p
a
re
n
thesi
s
in pr
e
v_expression_is_get
t
ing_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan
C
a
r
penter
unreachable:
ignore netdev_for_each
_
lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
fl
o
w
: clean
u
p
p
rev_express
i
o
n
_i
s
_getting_a
d
dre
s
s
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n Carpent
e
r
flow: "&foo->
b
ar" is not
a d
e
refer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
n
ter
smatc
h
_address: se
p
arate
thi
n
gs out int
o
.
b
s
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_test_bit: che
c
k for test_bit(B
I
T(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
penter
type: s
p
e
e
d up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpen
t
er
type: improve
g
et_binop
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n
C
a
r
p
e
n
te
r
flow: add
a
new expr->
p
ar
e
nt struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Car
p
ent
e
r
fixup_kernel: hard c
o
de __spi_sy
n
c() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
f
ixup_ker
n
el: kmalloc() c
a
n allocat
e
m
ore data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Ol
e
g Drokin
c
heck
_
l
ocking
.
c
:
Fix
annoyi
n
g in
v
isible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
an Ca
r
penter
smatc
h
_addres
s
: sort
p
ointers into diff
e
rent ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
extra: r
e
move
some unused functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan C
a
rpenter
smat
c
h
.
h: add
t
h
e compar
i
son hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Da
n
Carpenter
ty
p
e
_
to_str:
fi
x
a crashing
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h:
add estate_get_sing
l
e
_
value() de
c
lara
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Ca
r
penter
ignore_sid
e
_effects:
g
e
t_
c
hild_rcu() double evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpente
r
implied: u
s
e
c
o
mparison informa
t
ion fo
r
impli
c
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n
C
arpenter
smatc
h
.
h: move stree_stack declaration
from smatch_slis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpent
e
r
rosenbe
r
g: add __buil
t
i
n
_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpen
t
e
r
u
ser_data
2
: handle re
t
ur
n
ed
struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
comparison: u
p
date
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
smdb
.
p
y
: upd
a
te to re
f
lect LI
M
IT
/
FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
u
n
wind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
t
yp
e
:
i
nclude smatch_sli
s
t
.
h to
p
reven
t
a segf
a
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
ter
extra: don't
s
et states to unknown at th
e
beginn
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Car
p
enter
extra: don't set true fals
e
st
a
t
es if they are
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
fu
n
ct
i
on_hook
s
: add
a
h
ack around in compare_db_
r
etur
n
_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
list: add a comment about registe
r
_i
m
plic
a
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
param_limit: handle st
r
uct membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
state
s
: white
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
conditions: ignore known/implied
co
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next