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
struct_assignment: handle memcpy(foo, ...) where foo is not a struct
2014-05-29
Dan
C
a
rpenter
struct_assi
g
n
m
ent: handle m
e
m
c
p
y(foo,
.
.
.
)
where fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpent
e
r
math: be m
o
re ambitious handling
r
i
ght sh
i
f
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
user
_
d
ata: kstrtoul
(
) and friends
should taint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
Carpen
t
er
extra
:
mo
r
e
limits on which variables ar
e
equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
d
b
: get return states from function pointers
if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpente
r
propagate: remove valid
a
t
i
on test bec
a
use
w
e
r
em
o
v
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpenter
slist: introduce merge_fak
e
_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreach
a
bl
e
: s
i
lence
"
n
o
t
ac
t
ually initi
a
lized
"
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenberg
:
fix
som
e
fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
Carpe
n
te
r
debug
:
introduce __smatch
_
de
b
u
g_check
(
) to d
e
bug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new* chec
k
_no_
i
f_block: sometimes the if block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
un
c
onstant_m
a
cr
o
s:
ad
d
V
M
_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpente
r
type: in
t
r
oduce is_s
t
ring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
us
e
r_dat
a
: introduce
implied_use
r
_dat
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Ca
r
pente
r
rose
n
b
e
r
g:
r
efactor
m
atch
_
copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
enb
e
r
g: c
h
eck
m
a
n
y
more f
u
nctio
n
s
i
nstead of
just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: add me
m
zero
(
) to clear fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Ca
r
penter
para
m
_
cleared: memze
r
o()
clears the param
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpen
t
e
r
db: split all bool
e
an fun
c
t
ions into one and zero
s
trees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
clear_buffer: r
e
move this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleared: t
h
is shoul
d
n'
t
de
p
e
n
d
o
n
--info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
loc
k
ing: update validation to the
new erro
r
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpent
e
r
locking: updat
e
er
r
or fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an C
a
rpenter
s
t
ru
c
t_assignm
e
nt: fix
how smatch handle
s
f
oo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Ca
r
p
e
nter
rose
n
be
r
g: p
r
epa
r
e t
o
check poi
n
ters to s
t
ruc
t
s
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
ros
e
nberg: ch
e
ck for holes at
t
h
e end of
t
he struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an C
a
rpenter
rosenberg:
this
check is ke
r
nel specif
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpe
n
ter
unreachabl
e
: tu
r
n
i
t on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
enter
h
e
lper: introduce get_prev_statem
e
nt() (fix the b
u
ild)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreacha
b
l
e
: add watchdog()
t
o kernel
.
no_return
_
f
u
ncs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
d
on't print a
war
n
ing if we jump t
o
th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
n
reachable:
ignore
u
nreac
h
able
c
ode righ
t
after an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ent
e
r
unre
a
ch
a
b
l
e: turn off
b
a
ckward labeled warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carp
e
n
t
e
r
unreachab
l
e
: add
s
ome more
ma
c
ros to the
.
ign
o
r
e and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
f
l
ow: m
e
rge continues before the
iterato
r
_post_sta
t
ement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
f
low: handle post
o
p return s
t
atements
l
ike: retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
bl
e
: igno
r
e
some c
o
n
d
itionally unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
chable: ignore comm
o
n fal
s
e positives c
a
used
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachable: ignore
u
nreachable co
d
e
a
fter
B
UG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpe
n
ter
unreachable: move it out of smatch_flow
.
c and smatch_sta
t
es
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpen
t
er
avl: f
i
x failing
"s
t
r
ee
-
>st
r
ee_id == 0" as
s
ert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan C
a
rpenter
overflow: don
'
t
w
arn i
f
we overflow u
s
e buffe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
s
mat
c
h_type: never refer to -
>
b
it_si
z
e
directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: functio
n
w
ith too man
y
pointers to it
c
au
s
e slo
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan
C
a
r
p
e
n
ter
db: rename db_callback to calle
r
_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
Carpenter
pro
p
agat
e
: de
l
et
e
th
i
s
t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
C
arpenter
stored_condit
i
ons: don't
s
tore constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
Car
p
enter
Merge
g
i
t://git
.
ker
n
el
.
org/pub/scm/devel/spar
s
e
/chr
i
sl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
pe
n
ter
state
s
: add another read_only check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an Ca
r
pente
r
m
issing_br
e
a
k
: use few
e
r
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
avl: add a counter f
o
r when y
o
u allocate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
pe
n
ter
s
l
ist, returns
:
intr
o
duce
merge_stree_no_po
o
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
nter
unconsta
n
t_ma
c
ros:
a
llow (foo
&
_PAGE_NX
)
even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
buf_size: allow strncmp("foo",
b
a
r, 100
)
where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n
C
arpenter
pa
r
am_set: on
l
y
r
ecord parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
ext
r
a: ignore struct
t
o s
t
ruct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpente
r
implied: add
t
he stree_id to debug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an C
a
rpenter
clear_buffer: delete an unuse
d
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buf
f
er: delete obsole
t
e cod
e
to handle s
t
ruct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
a
rpenter
c
o
mpar
i
so
n
: don't record that actual
s
tructs are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
a
ssigned_exp
r
: don't st
o
re fake
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
debug: change __smatch_cur
_
slist() to __smatch_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
s
tate
s
: don't
__unnullify_path unneces
s
arily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
enter
implie
d
:
s
match w
a
s saying s
o
meth
i
ngs wer
e
impli
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
Carp
e
nter
stree: fix
a
bu
n
ch
of
stree l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
an
Carp
e
nter
states: merge
n
ullify_
a
l
l
_s
t
ates() into s
a
ve
_
all_states(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
stree: make stre
e
s
copy on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
te
r
stree: move stree_
i
d int
o
the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpen
t
er
slist: rename slist
_
id t
o
str
e
e
_
id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
n
t
e
r
avl: introduce FOR_EA
C
H_MY_SM(
)
an
d
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kun
m
ap:
u
pd
a
te validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
f
low: fix
e
s
f
or
h
airy function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra: fix unknown += assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
impli
e
d:
a
dd a new
l
ine to output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
s
tored_conditions
:
s
t
ore comparisons and not
l
ogicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpen
t
er
db: fix
nes
t
ed call h
a
n
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
kunmap: tidy u
p
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
conditions: f
i
x some leaks
in handle_selec
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
sli
s
t: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
stree fa
l
lout: implications
not
wor
k
i
ng 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpente
r
states:
rename fak
e
_cur_s
l
i
s
t f
u
nctions t
o
fake
_
cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
ente
r
state
s
: rename __print_cu
r
_slist() to
_
_print_cur_s
t
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl_free() to free_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
av
l
: renam
e
avl_
c
o
unt() to s
t
ree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpen
t
er
avl: use struct stre
e
ins
t
ead of making it a
typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
ter
avl: rename st
r
uct AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
avl: rename avl_clone
t
o
clone_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
sli
s
t:
d
elete
slist com
p
at la
y
er and
r
e
m
aining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
states: eliminate remaining
r
e
f
erences to
_
_get_cur_
s
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: remov
e
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist: remove a bu
n
ch of u
n
us
e
d s
l
ist functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
c
ore: ch
a
ng
e
(struct s
m
_state)-
>
po
o
l
t
o be a s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
start_states:
upda
t
e
get_start_
s
tat
e
s() to
use
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
returns:
update all_ret
u
r
n
_state
s
_h
o
o
k
() to st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
type_val: update
to
s
t
r
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
t
art_stat
e
s: part
i
al
u
p
d
ate to s
t
r
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
match_returns:
p
a
rtial update to
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
p
aram
_
set
:
update to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
param_limit
:
u
p
d
ate to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
param_f
i
lter: up
d
ate to
s
t
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next