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 Carpenter
struct_as
s
ignment:
h
andl
e
memcpy(foo,
.
.
.
) wh
e
re foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan C
a
rpenter
m
a
th: be more ambitious h
a
ndling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
C
arpent
e
r
user_data: kstrt
o
u
l
(
)
and f
r
iends sh
o
ul
d
taint
da
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpente
r
ext
r
a: more limits on
which
variables are eq
u
ivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan
C
arpen
t
er
db: get return sta
t
e
s
f
r
om fun
c
tion
p
ointers if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
a
n Carpenter
propagat
e
: remove vali
d
a
t
i
o
n
test becau
s
e
w
e
r
e
moved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
e
r
slist
:
introduce merge_fake_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
er
unreachable
:
s
ilence "not actual
l
y
initialize
d
" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carp
e
nter
rose
n
be
r
g:
fix some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
D
an C
a
rpen
t
er
debug: intr
o
duce _
_
s
m
a
t
c
h_d
e
bug_ch
e
ck() to
d
ebug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new*
ch
e
ck_no_if_block: sometim
e
s the if block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
u
nconstant_ma
c
ros:
ad
d
V
M
_
S
O
F
T
DIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type
:
int
r
oduce is
_
string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
us
e
r_
d
ata:
introduce impli
e
d
_
user_d
a
ta()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
rosenberg: r
e
f
a
c
t
or match_copy_
t
o
_
u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosen
b
erg: check many
m
o
re fun
c
ti
o
ns instead of
jus
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpenter
rosenbe
r
g: ad
d
m
e
m
z
ero() to clear funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan
Carp
e
n
t
e
r
par
a
m
_
c
lea
r
e
d: me
m
zero() clears the para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
Carp
e
nter
db: split a
l
l b
o
o
lean
f
u
n
ctions into on
e
an
d
ze
r
o
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
clear_buffe
r
: r
e
move t
h
is cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
pa
r
am_
c
l
eared:
th
i
s sho
u
ldn't depe
n
d
o
n
--info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: u
p
date
v
alidation to
the new er
r
or formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
a
rpenter
locking: updat
e
error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assig
n
m
e
n
t:
f
ix
h
ow smatch handles foo =
NULL
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg:
p
repar
e
to check pointers to structs
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
ros
e
nberg:
c
heck f
o
r holes at th
e
end of the str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
rosen
b
erg: th
i
s check is kernel spe
c
ific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpent
e
r
u
n
reachable: turn i
t
on
by
d
efau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpe
n
ter
he
l
pe
r
: introdu
c
e ge
t
_prev_statement()
(fix
the
build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carp
e
nt
e
r
unreach
a
bl
e
: add
watchdog() to kernel
.
no_return_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachabl
e
: don't print a
w
arning if we jum
p
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
r
penter
unreacha
b
l
e: ignore
un
r
eachable code ri
g
ht aft
e
r an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreach
a
ble: turn off backward labeled w
a
rnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreachable
:
a
dd some more macr
o
s to
the
.
i
g
n
ore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: me
r
g
e
c
ontinue
s
be
f
ore the iterat
o
r_post_
s
tatement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
n
ter
f
l
ow: handle post op return s
t
a
tement
s
like:
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unr
e
ac
h
able: ignore some conditionally un
r
eacha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
e
n
ter
u
n
re
a
chab
l
e:
ignore co
m
mon false
p
o
s
i
t
iv
e
s
c
aused
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
u
nreachable: ignore unreacha
b
l
e
code a
f
ter BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreachable: mov
e
it o
u
t o
f
smatc
h
_flow
.
c and smatch_state
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
C
a
rpenter
avl: fi
x
failing "stree->stree_id =
=
0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
penter
o
v
erflow: don't warn if we overflow
u
se buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpen
t
er
smat
c
h_
t
ype: n
e
v
e
r re
f
er to -
>
bit
_
size
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n Carpen
t
er
db
:
func
t
ion with too many poi
n
ters
to it
c
ause
s
l
o
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpente
r
d
b
:
r
ename db_cal
l
back t
o
caller_
i
nfo_cal
l
back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carp
e
n
t
er
p
r
o
p
aga
t
e: d
e
lete
this
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
s
t
o
re
d
_conditions: don't
s
tor
e
con
s
tan
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
C
arpenter
Merge
gi
t
://
g
i
t
.
k
e
rnel
.
o
r
g/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpent
e
r
states: add
an
o
th
e
r read_only chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
C
a
rpente
r
missing_brea
k
: use fewer stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
pe
n
t
e
r
avl: add a
cou
n
t
e
r f
o
r whe
n
you a
l
loca
t
e
or free
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n
C
arpenter
s
list, returns: introduce merg
e
_stree_no_pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
p
e
nter
unconstant_macros: allo
w
(foo & _PAGE_NX) even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_
s
ize: allow strncm
p
(
"foo",
bar, 100) wher
e
100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
p
aram_set: on
l
y record param
e
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
ext
r
a: ignore stru
c
t to struct assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
i
m
p
l
ied: ad
d
t
he
s
tr
e
e_id
to deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer:
d
e
let
e
an u
n
used
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
er
cl
e
ar_buff
e
r: delet
e
obsolete
code to han
d
l
e
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
comparison: don't
record t
h
at actu
a
l structs a
r
e eq
u
ivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
pen
t
er
assigned_e
x
pr
:
don't store fake assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
debug: cha
n
g
e
__smatc
h
_cur_slist() to __smatch_cur_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan C
a
rpenter
states: don't __unnullify_pa
t
h unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpent
e
r
implied:
s
match was saying somethings
w
e
r
e implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
a
n Carpen
t
er
s
tree: fix
a bun
c
h
o
f stree
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Da
n
Carpenter
states: merge null
i
fy_all_s
t
at
e
s
(
) into sa
v
e_all_sta
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
s
t
ree:
m
ake
strees
c
opy on
w
r
it
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
st
r
e
e
: move stree_
i
d into the
av
l
root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: rename slist
_
id to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: introduce FOR_EACH_M
Y
_S
M
(
)
and callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
k
unmap: update validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
flow
:
fix
e
s for hairy func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra: fix unknown += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carp
e
nter
i
m
p
lied: a
d
d a new
l
ine to
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
stored_conditions: sto
r
e co
m
parisons
and
n
ot logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
e
n
ter
db: fix ne
s
te
d
call hand
l
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunm
a
p: tidy up error
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
conditions: f
i
x some
l
eaks in handle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
a
rpenter
slist: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Ca
r
p
ente
r
stree
f
allout: implications n
o
t working
1
0
0
%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpe
n
ter
states: ren
a
me fake_c
u
r_slis
t
functi
o
ns
t
o fake_cur_str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
s
tates
:
renam
e
__print_
c
ur_slist
(
) to __print
_
cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl: r
e
name avl_free
(
)
t
o free_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
e
n
t
e
r
avl: rename
a
vl_
c
ount()
t
o stree
_
count(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Car
p
enter
avl: use st
r
uct stree instead of making it
a
typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
avl: rename struct AV
L
to struct
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
avl: rename
a
vl_clone to clone_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
sli
s
t: delet
e
s
l
i
s
t
compat la
y
er
and rema
i
n
ing
unus
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
p
e
n
t
e
r
states:
e
liminate remaining refere
n
ce
s
to __g
e
t_cur_slist(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Car
p
ente
r
states: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpente
r
s
l
ist: remove a bunch of unus
e
d sl
i
st f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
p
e
n
ter
core:
change (struct
sm_state)->pool to be a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pen
t
e
r
s
t
a
r
t_states
:
update get_start_states() t
o
u
s
e stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
returns:
u
pdate all
_
return_st
a
tes_hook() to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
type_val: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
sta
r
t_
s
tates: partial update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
m
a
tch
_
return
s
: partial update to st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
param_set: u
p
date
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
a
rpenter
p
a
ram_limit:
update to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
e
n
ter
param_f
i
lter
:
update
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next