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
implied: we have to make the false states match as well
2015-07-31
D
a
n Carpenter
implied: w
e
have to make
th
e
f
a
lse states
m
atch a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Ca
r
penter
err_ptr: use t
h
e
a
c
tual values to s
i
l
ence false
p
o
s
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
penter
c
ompa
r
ison: fix an oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
f
i
xup_kernel
.
s
h
:
tra
c
k kma
l
loced() vs
.
te
x
t da
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
pen
t
er
ex
t
ra: do
n
't try to record the
s
tate for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
p
enter
flow:
a
dd a ->parent
m
e
m
ber
to
stateme
n
t structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
rang
e
s
:
don't
allow so many
i
nv
e
rted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
e
r
type:
i
mprove get_m
e
mb
e
r
_type_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Car
p
enter
e
x
tra: h
a
ndle arrays better us
i
n
g
the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpen
t
er
t
ype
:
make
t
yp
e
_to_str() handle
a
r
r
a
y
s bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpenter
helper: tiny
c
leanu
p
i
n get_co
m
pl
i
c
ation_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
ent
e
r
implie
d
: fix b
u
g handling unmatch
e
d i
m
plication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
e
x
tra
:
f
i
x chun
k
hand
l
ing
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
en
t
e
r
v
a
lidation:
f
ix a test
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: silenc
e
some false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n C
a
rpenter
deref_c
h
e
ck: remove unnecessary call to
g
etting_a
d
dress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpent
e
r
fixup_kernel
.
sh: fix the rtlw
i
fi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Ca
r
pent
e
r
un
c
onstant_macros: a
d
d MA
P
_UNINI
T
IALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n Ca
r
pent
e
r
pt
r
list: reading deleted items in NEXT_
P
TR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
ran
g
es: fix
how som
e
ranges are
joi
n
ed
t
ogether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpe
n
ter
ra
n
ges: a
v
oid a
possible
integer overflow pro
b
lem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
inter_
m
ath: ALI
G
N is not bytes, but offsetof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointe
r
_
math:
don't com
p
lain if
a
po
i
nt
e
r
math opera
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
oi
n
ter_
m
ath: silence f
a
lse a ton of f
a
lse posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpenter
chunk
:
i
mprove expr
_
to_chunk_sym_vsl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: improve get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
he
l
per: expor
t
g
et_complicat
i
on_s
c
ore()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Car
p
enter
ty
p
e: expo
r
t
is_lo
c
al_var
i
a
ble()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n C
a
rpenter
chunk
:
chan
g
e the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan
Carpenter
extra: start tra
c
king "chunks" instea
d
of ju
s
t
variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpe
n
ter
mat
h
:
give up if c
a
lculating a value
is t
o
o c
o
mpli
c
ated
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
Da
n
C
arpenter
ch
e
ck_list
.
h: move store
d
_
con
d
ition_
l
inks next to stor
e
d_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
f
low: ignor
e
arrays
w
i
t
h
o
ver
a
100
0
elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Car
p
enter
db/f
i
xup_
k
ernel
.
sh: hack
around sl
o
w rtlwifi
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
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
u
se
r
_
d
ata2: a
d
d skb_net
w
ork_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
user
_
data
2
: handle pointers to user data
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Car
p
e
nter
us
e
r_d
a
ta: add kmap_
a
tomic(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
C
arpenter
user_data:
s/kmemdup_us
e
r/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n C
a
rpenter
test
_
bit: a
d
d set_bit()
and clear_bit()
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
check_dere
f
: re
m
ove
call to
getting_ad
d
ress(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estat
e
: ma
k
e
c
lo
n
e
_estat
e
() take a
NULL
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace:
c
hange some spaces to
tab
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
C
a
rpenter
debug
:
add some tools
fo
r
develo
p
in
g
the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Carpent
e
r
buf_size: impr
o
v
e resizable struct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Carpente
r
db: fi
x
a b
u
g
in split r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rpenter
extra: introduce
g
et_e
x
tra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Ca
r
p
e
n
ter
s
m
atch: change all remain
i
ng references from
warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kerne
l
.
ignored_macros
:
add SNIC_
B
UG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Car
p
enter
u
n
reach
a
ble: i
g
nore
list_for_each_entry_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carpenter
extra: handl
e
x
= (u
8
)y; correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Ca
r
p
enter
implied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
ty
p
e
: handle typeof(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
math: handle __smatch_implie
d
(&f
o
o->bar) a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
a
ssigned_expr:
s
tore it lat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Ca
r
p
e
nter
function_hook
s
:
fi
x
valida
t
ion/sm_compare15
.
c handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
l
o
c
k
ing: add
n
e
w down
_
timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
sm
a
t
c
h_ad
d
ress: fix com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
fixup_kerne
l
.
sh: ign
o
re some __v
f
s_write() c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
fixup_kernel: u
p
d
a
t
e
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carp
e
nter
debug
:
i
mprove
__
s
m
atch_st
a
t
es() out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpe
n
ter
f
low: ignore
p
arenthesis in
prev_expressio
n
_i
s
_
g
ett
i
ng_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan C
a
rpenter
unreach
a
ble: ignore
netdev_for_each_lowe
r
_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Car
p
e
n
t
er
flow: clea
n
up prev_ex
p
r
ession_is_getting_a
d
dress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arp
e
nt
e
r
flow: "&fo
o
->bar" is not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
C
a
rpenter
s
m
atch_address
:
separa
t
e things out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan
C
a
rpen
t
er
*ne
w
* ch
e
ck_t
e
st_bit: c
h
eck for tes
t
_
bit(BIT
(
0
), &foo
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
penter
t
ype: speed up get_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
p
e
nter
type: improve get
_
binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpente
r
flow:
a
dd a
n
e
w e
x
p
r->parent struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carp
e
nter
fixup_ker
n
el: hard
c
ode __spi_sync() ret
u
rns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan C
a
rpent
e
r
fixup_
k
er
n
el: kmall
o
c() can al
l
o
c
a
te
m
ore data
.
L
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n Carpenter
sm
a
tch_address: sort
p
oi
n
ters
into
different
r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
pent
e
r
extra
:
rem
o
v
e some
unused
f
uncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpen
t
er
smatch
.
h: add the compari
s
on hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpente
r
type_to_st
r
: fi
x
a cra
s
hing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
i
gnore_si
d
e_effects: ge
t
_
c
hild_rcu() doubl
e
ev
a
l
u
ates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
imp
l
i
e
d
: use comparison
i
nformation for i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an Carpenter
smatch
.
h
:
m
o
ve s
t
ree_stack declar
a
tion f
r
om sm
a
t
ch_sl
i
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan C
a
r
p
enter
r
o
senb
e
rg: add
_
_builtin_memset/
m
em
c
py()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_data
2
: handle returned
s
truct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpente
r
comparis
o
n: update
a
co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
smdb
.
py
:
update to
r
e
f
l
e
c
t LIMIT/FILTE
R
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
unw
i
nd: a
d
d some
n
u
l
l
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpenter
t
y
pe
:
i
nclu
d
e smatc
h
_slist
.
h to prevent
a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
extra: do
n
't set states
to unkno
w
n
a
t the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
extr
a
: d
o
n'
t
s
e
t true
false states if
they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_hooks: add a h
a
ck a
r
ou
n
d in compare_db_return_s
t
at
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpenter
l
i
st: add
a
commen
t
a
bout
r
e
gi
s
ter_implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
ter
param_limit: handle str
u
c
t
memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
s
t
ates:
wh
i
te
spa
c
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rp
e
nter
co
n
ditions: ign
o
re known/i
m
p
lied co
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
s
t
rings: record strin
g
assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Ca
r
penter
s
truct_assign
m
ent:
s
ave a l
o
t more i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
p
aram_
l
imit/filter:
f
ix a type b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Ca
r
penter
comparison: han
d
le canoni
c
al for loops with variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
comparis
o
n: unsigned can not be
l
ess than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
flow: set __cur_stmt and
__pr
e
v_stm
t
inside for l
o
op
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
omparison: merging equ
i
valen
t
st
a
tes is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next