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
deref_check, check_deref: only consider pointers
2015-08-04
Dan Ca
r
pe
n
t
er
dere
f
_
ch
e
ck, c
h
eck_d
e
ref: only consider
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
stored_con
d
itions: ren
a
m
e
mat
c
h_m
o
dify() to m
a
tch_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n Carpenter
ma
t
h
:
fix
a
n
o
ut of memory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carp
e
n
ter
math:
ret
u
rn a bit ear
l
ier i
n
handle_binop_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carp
e
nte
r
imp
l
ie
d
: w
e
have to make the false
s
t
a
tes ma
t
ch as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpe
n
t
e
r
err_
p
tr: use
the actual valu
e
s to silence fa
l
s
e
pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
comparison: fix an oop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
fi
x
up_kern
e
l
.
s
h
: track
kmalloc
e
d()
vs
.
te
x
t
d
ata better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra:
d
on't try to record the state for litera
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpente
r
flow: add a ->parent member to state
m
ent structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
a
rpenter
ranges: don't allow so many inv
e
rted ran
g
e
s
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_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carp
e
nter
extra: handle ar
r
a
y
s
better using the chunk cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpe
n
ter
type: make
type_t
o
_st
r
(
)
handle arr
a
ys better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
penter
helper: t
i
ny c
l
eanup in g
e
t_c
o
mplication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpent
e
r
i
mplie
d
: fix bug
handling unmatched implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
ente
r
extra: fix chunk handli
n
g
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
arpenter
validation: fix
a test a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
an
C
ar
p
enter
der
e
f_chec
k
: silence so
m
e false po
s
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpent
e
r
deref_c
h
eck: remove unnecess
a
ry call to getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
f
i
xup_
k
ernel
.
sh: fix
the rt
l
w
i
fi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unconst
a
nt
_
macros:
a
dd MAP_UN
I
N
IT
I
A
L
IZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Da
n
Carpent
e
r
ptrlis
t
: reading deleted it
e
ms
i
n
NEXT_PTR_LIS
T
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
rang
e
s: fix how some
r
anges are joine
d
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
ranges: avoid a possible integer overf
l
ow prob
l
em
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
Carpe
n
ter
p
o
inter
_
mat
h
:
A
LIGN i
s
not byt
e
s, but o
f
f
s
etof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an
C
arpenter
pointer_math: don't compla
i
n if
a pointe
r
math operatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
p
oi
n
ter_m
a
t
h
: sile
n
ce
false a t
o
n of false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
a
n
Ca
r
pen
t
er
chunk: improve exp
r
_to
_
ch
u
nk
_
sym
_
vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
enter
helper: i
m
prove
g
et_complicat
i
on_sc
o
re()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
helper: export get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Carp
e
nt
e
r
t
ype
:
ex
p
o
r
t is_local_v
a
ria
b
le()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: change the
A
P
I
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra:
s
t
art tracking "chun
k
s" i
n
s
t
ead of j
u
st
varia
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
mat
h
: give up
if
calculating a value is too co
m
plicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
D
a
n Carpenter
implied
:
t
u
rn o
f
f debug messag
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
an C
a
rpen
t
er
check_lis
t
.
h: m
o
ve stored_
c
on
d
ition_links next to
s
t
o
red_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpenter
flow: ignore arrays wi
t
h over a 1000 ele
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
D
a
n Carpenter
db/
f
ix
u
p
_kernel
.
sh: h
a
ck
aro
u
nd slow rtlwifi
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
C
ar
p
enter
c
a
pped:
u
s
e FOR_EA
C
H_
M
Y_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
er_data2:
add skb_network_h
e
a
d
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
user_d
a
ta2: handle pointers
t
o user da
t
a bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user_data:
add kmap_atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
us
e
r_data: s
/
kmemdup_us
e
r/me
m
dup_us
e
r/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_bit: add set_bi
t
() and
clear_bit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
chec
k
_deref:
r
em
o
ve call to
getting_a
d
dr
e
ss()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
penter
estate: make clone_estate() take a NULL po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespa
c
e: change
some
spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
Carpente
r
debug: add som
e
t
ools for
developing the d
b
parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpent
e
r
buf_size: improve resizab
l
e struct
ha
n
d
li
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
elim
i
nate some cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: f
i
x a bug
i
n
s
plit returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
extra: int
r
oduc
e
get_ext
r
a_state(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
smat
c
h: change all
remainin
g
reference
s
from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoe
s
prefix smat
c
h
generated
f
iles by
s
match_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villem
o
es
test_kernel
.
sh
:
c
lean up
.
c
.
sm
a
tch fi
l
es after cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
emoes
Doc
u
menta
t
ion: make m
e
less
c
onfu
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_params
.
pl: fi
x
hash/hash reference
c
onfusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan C
a
rpenter
kernel
.
ignored
_
m
acros: add
SNI
C
_
B
UG_
O
N(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreachable:
i
gnore list
_
for
_
each_entry_conti
n
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carpenter
extra: h
a
n
d
l
e
x = (u8)y;
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
impl
i
ed
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an
C
a
rpenter
type: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
te
r
math: h
a
ndle __smatch_implied(&foo->bar) a
little bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
assigned_expr:
s
tor
e
i
t
l
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpe
n
t
e
r
functio
n
_hooks
:
f
ix val
i
datio
n
/sm_compare15
.
c
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
lockin
g
: a
d
d new down_t
i
me
o
ut
(
) functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
sm
a
tch_address
:
fix
compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_
k
ernel
.
sh: ignore
s
ome __
v
fs_writ
e
() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Car
p
enter
fixu
p
_kernel: update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Fi
r
o
Y
ang
Makefile: eliminate a llvm-c
o
nfig build
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
d
e
bug
:
impro
v
e
__sm
a
tc
h
_states() out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpe
n
t
e
r
flow
:
i
gnore parent
h
esis in prev_expression_is_get
t
ing_
a
ddress(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carp
e
n
t
er
unre
a
chable: i
g
n
o
re netdev_fo
r
_
e
ac
h
_lower
_
dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup prev_expressio
n
_is_
g
ett
i
ng_
a
ddress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
flow: "&foo->bar" is not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n
Carpente
r
sma
t
ch_address: separate things
out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* c
h
eck_test_bit
:
ch
e
ck for test_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: speed
u
p get_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpenter
type:
i
mprove get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
fl
o
w: add a
ne
w
expr
-
>
p
arent struct m
e
mb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
fixup_ke
r
ne
l
: hard code __spi
_
sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpe
n
ter
f
i
xu
p
_kerne
l
:
k
malloc() can
allocate more dat
a
.
L
e
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg
D
rokin
c
h
eck_lo
c
k
i
ng
.
c: F
i
x
a
nnoyi
n
g in
v
i
s
ible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n Carpenter
smatch_a
d
dress: sort pointers in
t
o different
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
an Carpenter
extra: remove
s
o
m
e u
n
u
sed functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpe
n
t
er
s
ma
t
ch
.
h:
add
t
h
e
comparison
h
ook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
an Carpenter
type_to_str:
fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo
Yan
g
smat
c
h
.
h: add estate_ge
t
_single
_
value() declaratio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpen
t
er
i
g
nore_side_e
f
fects: get_child_rcu() double evalu
a
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an Carpenter
implied:
use compar
i
son information fo
r
impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carp
e
nter
s
m
atch
.
h: move stree_stack
d
e
c
l
aration from smatc
h
_
s
list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
C
a
rpen
t
e
r
rosenberg: add __builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpente
r
u
s
er_data2
:
handl
e
ret
u
rned struct
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
pe
n
ter
comparison: update a comm
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpen
t
er
smdb
.
p
y
: update to
r
eflect LIMIT/FI
L
TER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
unwind:
add so
m
e null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type: in
c
lu
d
e smat
c
h_sl
i
st
.
h to prevent a
s
e
g
fa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
don
'
t set
sta
t
es to unknow
n
at
the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
e
nt
e
r
extra: don't set true false
states i
f
they
a
re the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next