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
rosenberg: refactor match_copy_to_user()
2014-05-07
Dan Carpenter
rose
n
berg: refactor match_copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpente
r
rosenberg: check many more fun
c
tions inst
e
a
d of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpe
n
ter
rose
n
b
e
r
g
:
add memzero() to clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Car
p
e
n
te
r
p
a
r
am
_
cleared: memzero() clea
r
s the p
a
ramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
an Carpente
r
db:
s
p
lit all bool
e
an functio
n
s into o
n
e
and zero
strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
Carpenter
clear_buf
f
er:
r
e
move this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
param_cleared:
this shouldn't depend
on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Carpenter
locking: u
p
date val
i
dati
o
n to the ne
w
error for
m
a
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
locking:
update error
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
ente
r
struct_ass
i
gnment: fix how smatch
h
andles fo
o
=
NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpent
e
r
rosenberg: prepare to
c
he
c
k
pointe
r
s to stru
c
t
s
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Car
p
ent
e
r
rosenberg: check for h
o
les at the
end
o
f the struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
rosenberg: t
h
i
s check is
k
ern
e
l specifi
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: turn it
o
n
b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
enter
helpe
r
: introduce g
e
t_prev_st
a
tement
(
) (fix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
r
p
ent
e
r
unre
a
c
hable: add watchdog() t
o
kernel
.
no_
r
eturn_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
eachable: don't print
a
warning if we jump
t
o
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
te
r
unreachable: ignore unreach
a
ble
c
ode right a
f
ter an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreach
a
ble:
t
urn off
b
ackward labeled warn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
e
r
unrea
c
habl
e
:
add
s
ome mor
e
macr
o
s to the
.
ignore
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Car
p
enter
f
l
ow: merge continues before the
i
t
e
rat
o
r_p
o
st_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpe
n
ter
flow: hand
l
e
post op r
e
t
ur
n
sta
t
ements like:
ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
achab
l
e:
i
gnore some conditionally u
n
reachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
u
nreachable: ignor
e
comm
o
n fa
l
se posi
t
ive
s
caused
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
re
a
ch
a
bl
e
:
ignore unrea
c
hable code after B
U
G(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreachabl
e
: mo
v
e
it out of smatch_flow
.
c and smatch_
s
tates
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
D
an Car
p
en
t
er
avl: fix faili
n
g "stree->stree_id == 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpe
n
ter
overfl
o
w: don't warn i
f
we
o
verflow
u
s
e
buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan C
a
rpenter
smatch_type: n
e
v
e
r
refe
r
to
->bit_si
z
e directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n
Carpen
t
er
d
b
:
function with too many pointers
t
o it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan C
a
rpenter
d
b
: ren
a
m
e
d
b_cal
l
back to caller_inf
o
_
c
all
b
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
Ca
r
p
e
nter
p
r
opagate: delet
e
this tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpente
r
sto
r
ed_co
n
diti
o
n
s: don't
s
tore cons
t
ants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
an Carpenter
Merge git://git
.
kernel
.
org/pub/
s
cm/devel/spa
r
se/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
states: add another r
e
ad_only check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
missing_
b
reak: use fewer s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpente
r
avl: add a counter fo
r
when you a
l
loca
t
e
or
free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
s
list
,
re
t
urns: i
n
troduce merg
e
_stre
e
_
no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
unc
o
nstant_ma
c
r
o
s: allow
(
foo & _PAGE_NX) eve
n
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpen
t
er
buf_size: al
l
ow strnc
m
p("foo", bar, 10
0
)
w
here 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
param_set: only record
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
a
r
pen
t
e
r
ext
r
a
: ignore struct to str
u
ct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
implied: add the str
e
e_id
to debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpe
n
ter
clear_
b
uffer:
de
l
e
te an unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
a
rpente
r
clear_buffer: delete ob
s
olete cod
e
to handle struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
compa
r
ison: don't rec
o
r
d
t
hat actual struct
s
are equ
i
valent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
assigned_expr: don't st
o
re fake as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
deb
u
g: c
h
ange __sma
t
ch_cur_slist() to __
s
match_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpen
t
er
states: don't __unnullif
y
_pat
h
unnecessa
r
ily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
D
a
n Car
p
enter
implied: smatch was saying s
o
methings were
i
mplied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpenter
st
r
ee: fix a bunc
h
of stree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
t
e
r
st
a
tes: merge
n
u
llify_al
l
_states()
i
n
to save_all_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
stree: make s
t
r
e
es copy on
writ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
stree: move
s
t
ree
_
id into
t
he av
l
root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: rename sli
s
t_id
to str
e
e
_
id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
av
l
:
intr
o
duce F
O
R_EAC
H
_MY_SM() and caller
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
p
e
nter
kun
m
ap: update validation file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
t
e
r
fl
o
w: fix
e
s for h
a
iry functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
r
penter
extra: f
i
x
u
nknown +=
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
im
p
l
i
e
d: add a newline to output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
stored_condit
i
o
n
s: stor
e
comparisons and not
logicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
d
b: fix nested cal
l
ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
k
u
nmap: tidy u
p
error
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
condition
s
:
fix some leaks in handle_sele
c
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
t
e
r
slist: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpen
t
er
stree fall
o
ut: impli
c
ations not
wor
k
ing 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename fake_cur_slist
functions to fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Ca
r
penter
states: rename __print_cur_slist() to __print_cur
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpente
r
avl: rename avl_f
r
ee() to free_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
a
vl: renam
e
avl_count() to
s
tree_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
avl: use struct stree in
s
tead of makin
g
it a typede
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
a
vl: renam
e
struct A
V
L to
s
truc
t
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
avl:
r
e
name
avl_c
l
on
e
to
c
lo
n
e_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
t
e
r
s
l
ist: de
l
ete slist compat la
y
er an
d
remaining unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpen
t
er
state
s
: elim
i
nate remain
i
ng refer
e
nces to __get_cur_slist
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
s
tates: remove som
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
slis
t
: remove a bun
c
h of unused slist f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
core: c
h
a
n
ge (st
r
uct sm_state)->pool to be
a
s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
start
_
s
tates: u
p
date get_start_
s
tate
s
(
)
to
u
se str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpent
e
r
returns
:
update all_retur
n
_
sta
t
es_hook() to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
ty
p
e_va
l
:
upd
a
te to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
e
nter
start_state
s
:
p
artial update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpent
e
r
matc
h
_
r
eturns: partial
upd
a
te
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_se
t
:
updat
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
param_
l
imit
:
update to s
t
ree
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpe
n
ter
p
a
ram_filter: upda
t
e to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param
_
cleared: up
a
te
t
o
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
modif
i
cation_h
o
ok
s
:
u
pdate
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
i
mplied: update to
str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
enter
fl
o
w
: upda
t
e to
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpent
e
r
e
xtra: update
a
lmost eve
r
ything here to use
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
conditions: up
d
ate to us
e
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
comparison: u
p
date to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
user_data: upd
a
te to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
u
nwin
d
: update to
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pent
e
r
template:
u
pdate to s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
ente
r
retur
n
_enomem: update t
o
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
ent
e
r
puts_
a
rgument: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
en
t
er
memory:
p
ar
t
ial upda
t
e
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpente
r
l
ock
i
ng: upd
a
te to use st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next