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
extra: track array values
2015-08-15
Dan C
a
rpent
e
r
extra: track
array values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
stored_
c
onditon
s
: st
o
re the chunk as
w
ell as the var_s
y
m_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
ranges: add a missing cast
in a
d
d
_range_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
v
al
i
dation
:
don't
use un
i
nitiali
z
ed dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan
C
arpenter
m
o
difica
t
ion_hook:
r
e
cord th
e
modificati
o
n expressio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpen
t
er
smatch:
r
emo
v
e the "loop
co
u
ld be r
e
plac
e
d with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpe
n
ter
bu
f
_
siz
e
:
unbrea
k
th
i
s
feat
u
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
an C
a
rpenter
t
est_kernel
.
sh: print where the warning
s
a
re sav
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan C
a
rpenter
bu
f
_
s
ize,
db:
only s
t
o
r
e
type_size if it is a pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
D
a
n Carpenter
s
t
o
red
_
c
o
nditions, im
p
lied: use implica
t
ions of previ
o
u
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan
Car
p
enter
i
m
plied: r
e
-
o
rder where
we cal
c
ulate implica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
D
a
n Carpenter
ov
e
rflow: silence
g
libc
s
tr
c
mp false positives wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Da
n
Carpenter
i
m
plied
,
ranges: use type prom
o
tion for c
o
m
parisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
Carpenter
ran
g
e
s
:
use NULL instea
d
of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan C
a
rpe
n
t
er
dere
f
_check, ch
e
ck_d
e
ref: only consider
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n Car
p
enter
stor
e
d
_
c
onditi
o
ns: rename match_mod
i
fy() to match_link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n
Carpenter
m
ath:
f
ix an out of memor
y
i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpe
n
ter
math
:
r
etu
r
n a bit earlier in handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
an
Carpe
n
ter
implied: we have
t
o
m
a
ke th
e
false states match
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n
Carpenter
err_
p
t
r: use t
h
e actual value
s
to silence false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n
C
arpenter
comparison: fix an oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
fixup_kernel
.
sh: track kmalloc
e
d() v
s
.
t
e
xt
d
ata
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
enter
extra: don'
t
try
to record the state for literal
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpente
r
flow
:
add a ->
p
arent m
e
mb
e
r
to stat
e
m
ent structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
ra
n
ges: don't allow s
o
many inverted rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpent
e
r
type: improve ge
t
_member_type_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
extra: han
d
le ar
r
a
ys better usi
n
g the
c
h
u
nk
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
C
a
r
p
enter
type: m
a
ke ty
p
e_to_st
r
() handle arr
a
y
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpente
r
helper:
tiny
c
leanup in
g
e
t
_
complication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
an Carpenter
implie
d
: fix bug handling u
n
match
e
d implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
ent
e
r
extra:
fi
x
chun
k
handling a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Ca
r
pe
n
ter
valid
a
tion: fix
a test a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arp
e
nt
e
r
deref_check: silence
s
o
m
e false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
Carpe
n
ter
d
e
ref_
c
he
c
k: remove unnecessa
r
y call to
getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup_ker
n
e
l
.
sh: fi
x
the
r
tlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpenter
unconstant_m
a
cr
o
s
:
a
dd MAP_UNINI
T
IALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Da
n
Carpenter
ptrlist
:
read
i
ng dele
t
ed
items
in NEXT_
P
T
R_LIST
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ran
g
es:
fix ho
w
some ranges are joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
an
C
arpenter
r
anges
:
avoid a pos
s
ible integ
e
r overflow proble
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
poin
t
er_math: ALI
G
N is not bytes, b
u
t offs
e
tof
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpent
e
r
pointer_ma
t
h: don't c
o
mplain if a
pointer math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
point
e
r_ma
t
h: silence f
a
lse a to
n
of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
chunk: imp
r
o
v
e expr_to_chunk_sym_v
s
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
er: improve
g
e
t
_
complica
t
ion_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
an Carpente
r
h
elper: expo
r
t get_comp
l
ication_score
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpen
t
er
t
y
pe: export is
_
l
oc
a
l
_
variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
arp
e
nt
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
arpenter
extra: start trac
k
in
g
"chunks" instead of just variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carp
e
nter
m
a
th: give up if calculat
i
ng a value is
too complicat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
implied: tur
n
o
f
f debug m
e
s
s
ages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_li
s
t
.
h: move store
d
_c
o
ndition_links next
t
o store
d
_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
p
e
n
t
er
flow: igno
r
e
arr
a
ys with o
v
e
r
a
1000 el
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
an Carp
e
nter
db
/
f
ixup_kernel
.
sh
:
h
a
ck around slow
rt
l
w
i
fi test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
capped: use FOR_EA
C
H_MY_SM(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
user_data2:
add skb_netw
o
rk_head
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpent
e
r
user_data
2
: handle point
e
rs to use
r
data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
er_data: add kmap_a
t
omic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
u
s
er
_
data: s/kmemdup_user
/
m
e
mdup_
u
ser/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
test_bi
t
: add set_bit() and clear
_
bit() function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
r
penter
check
_
deref: re
m
ove
c
all to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
an
Carpenter
es
t
a
t
e
: make clone_estate() take a NULL po
i
nte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace: c
h
ange some spaces t
o
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carp
e
nt
e
r
debug: ad
d
some tools for
d
e
v
elopi
n
g the db p
a
r
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
buf_
s
i
z
e: improv
e
resiza
b
le struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpenter
db: fi
x
a bu
g
i
n
split
r
etu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carp
e
nter
e
xtra: introduce get_extra_
s
ta
t
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
s
match: chan
g
e all remaining references from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpen
t
e
r
k
ernel
.
ig
n
o
r
ed_macros: ad
d
SNIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
un
r
each
a
b
le
:
ignore list_for_ea
c
h
_en
t
r
y
_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
pen
t
er
ex
t
ra: handle
x = (u
8
)
y
; co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an
Carpenter
implied: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nt
e
r
ty
p
e: ha
n
dle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an C
a
rpent
e
r
mat
h
: handle __sma
t
ch_i
m
plied(&foo->b
a
r) a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
a
ssigned_exp
r
:
s
t
ore
it la
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
fu
n
ction_hooks: fix
v
a
l
idation/sm_com
p
are15
.
c ha
n
dl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an Carpen
t
er
locking: add new
d
own_ti
m
eout
(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n
Carpen
t
e
r
smatch
_
addr
e
ss: fix compi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fi
x
up_kernel
.
sh
:
ig
n
ore some __vf
s
_
write()
c
al
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
n
ter
fixup_kernel: update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpent
e
r
de
b
ug: improve __s
m
a
t
ch_states() out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan
Carpenter
f
l
o
w
: ignore parenthesis in p
r
ev_
e
xp
r
e
s
s
i
on_i
s
_getting_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan
C
arpenter
u
nreachable: ignore netdev_for_eac
h
_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Car
p
enter
flow: clean
u
p prev_expression_
i
s_getti
n
g_
a
ddress()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
an Carpe
n
ter
f
low: "&foo->bar" is not a de
r
eferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arpent
e
r
sma
t
ch_ad
d
ress: separate things
out into
.
b
s
s
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carp
e
nter
*
n
ew* check
_
test_bit: c
h
eck for t
e
st_bit(BIT(0
)
, &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpenter
t
y
pe:
s
peed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Carpen
t
er
t
y
pe: i
m
p
r
ove get
_
b
i
n
o
p_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
arp
e
nter
f
l
ow: add a new expr->parent
s
t
ruct memb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan C
a
rpenter
fixup_k
e
rnel
:
hard
code __spi_sync
(
) returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
e
r
fixup_kerne
l
: km
a
ll
o
c() can a
l
l
ocate more dat
a
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
s
ma
t
ch_add
r
ess: sort
pointers
i
n
to di
f
f
erent rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpe
n
te
r
extra: remove s
o
me
unused fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carp
e
nter
smatch
.
h: add the comparison ho
o
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
C
a
rpent
e
r
t
ype_to_str: fix a crashing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
ignore_side_effects:
g
et_child_rcu() double evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpenter
i
m
plied: use
comparison information for implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpent
e
r
smatch
.
h
: move stree_
s
tack decla
r
a
t
ion from smatch_slis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carp
e
n
t
er
rosenber
g
: add __builtin_memset/memcp
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rp
e
nter
u
s
er_data2:
han
d
le re
t
urned struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next