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
smdb.py: fix test for if a datatype is known
2014-06-18
Dan Carpenter
s
m
db
.
py: fix
t
es
t
for if a
d
atatype is known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
p
e
nte
r
assigned_expression: g
e
t the assigned expression using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
ros
e
nberg: handle struct to struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpe
n
ter
data/kernel
.
sizeof
_
p
a
r
am
.
remove: add __dynami
c
_pr_debu
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_
a
ssignmen
t
: introduce get_fa
k
ed_expre
s
sion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_assignment: ha
n
dle memc
p
y(foo,
.
.
.
) where foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
math: be more ambitio
u
s ha
n
dl
i
ng rig
h
t
s
hifts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Ca
r
penter
user_d
a
ta: kstrtoul() and f
r
iends
s
hould
taint
data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n
C
a
rpent
e
r
ext
r
a: more lim
i
ts
on which va
r
iables
a
re eq
u
ivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
D
an
Carpe
n
t
er
db: get return
s
ta
t
e
s from function pointers if po
s
sible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpent
e
r
propa
g
ate: remove validati
o
n test
b
eca
u
se we re
m
o
ve
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carp
e
nter
slist
:
introduce m
e
r
g
e_fake_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Carpe
n
ter
un
r
e
achable: sile
n
ce "not actually i
n
itialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
rpenter
ro
s
enberg: fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan
C
arpen
t
er
debug: introduce __smatch_d
e
bug_check() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Ca
r
penter
*ne
w
*
check_no_if_block: sometimes th
e
if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan
Ca
r
penter
uncon
s
tan
t
_macros
:
ad
d
VM_SOFTDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type: intro
d
uce is
_
str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpenter
user_data: introduce impl
i
ed
_
us
e
r_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
rosenber
g
: re
f
a
cto
r
match_c
o
py_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arp
e
n
ter
rosenb
e
rg
:
check man
y
more functions in
s
tead of
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: add memzer
o
(
)
to
clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_clea
r
e
d
: memzero(
)
clears
the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
penter
d
b: split all b
o
o
l
ean functio
n
s i
n
t
o
o
ne and zero s
t
r
ees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
an
C
arpenter
clear_buffer: r
e
move this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpent
e
r
param_clea
r
ed: this
s
houldn'
t
de
p
end on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: update validation to
t
he new error form
a
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking:
u
pd
a
te error
form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
ente
r
struc
t
_assignment:
f
ix how
smatch handles foo = N
U
LL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpent
e
r
rosenberg: prepare to check pointers to structs a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an C
a
rpente
r
rosenberg: check for h
o
les at the end of the st
r
uct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
ro
s
enber
g
: this
check is ke
r
n
el specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Ca
r
penter
unreachable:
t
urn it o
n
by def
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpen
t
er
helper: introdu
c
e get_prev_statement() (fix
t
h
e
build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unrea
c
hable: a
d
d watchdog() to kern
e
l
.
no_return_
f
uncs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an
Carpenter
u
nr
e
achable: don't print
a
warning if we
jum
p
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
a
b
l
e
: ignor
e
unreachable code right after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
able: turn o
f
f backw
a
r
d labeled w
a
rning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreachable: add so
m
e
more
macros t
o
the
.
i
gn
o
re and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
flow: merge
c
onti
n
ues b
e
fore the
iterato
r
_p
o
st_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
pente
r
flow:
handle
p
o
st op ret
u
rn statements like: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Car
p
enter
u
n
r
eachable: ignore
some c
o
nditionally unrea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpe
n
ter
unreac
h
able: ignore
co
m
mon fals
e
pos
i
tives caus
e
d
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreach
a
ble: ignore unreacha
b
l
e
code after BU
G
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unre
a
chable:
m
ov
e
it out of smat
c
h_f
l
ow
.
c
a
n
d
smatch
_
states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
penter
avl: fix f
a
iling "stree->st
r
ee_id
=
=
0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Car
p
e
nter
overflow:
don't warn if we
o
verflow
u
se
buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpent
e
r
s
m
atch_type: nev
e
r refer to -
>
bit_size
d
i
r
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Ca
r
penter
db: funct
i
on with
too
m
any pointers to it caus
e
slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
D
a
n
Carpenter
db: rename db_cal
l
b
a
c
k to ca
l
ler_inf
o
_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
an Carpenter
propag
a
te: delete this test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
arp
e
nter
stored_con
d
i
t
ions: don't stor
e
c
o
nstants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpenter
Merge git://gi
t
.
kern
e
l
.
org/pub/scm/devel/s
p
arse/ch
r
i
s
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
s
t
a
t
e
s:
a
dd ano
t
her
r
ead_
o
nly chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
missi
n
g_bre
a
k: use f
e
wer s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
avl: a
d
d a cou
n
ter
f
o
r
whe
n
you al
l
o
c
ate
o
r free
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
slist,
ret
u
rns: i
n
tro
d
uce merge_stre
e
_no
_
pools(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rp
e
nt
e
r
unconstant_macros: allow (foo & _PAGE_
N
X
) even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_
s
ize: a
l
low strncm
p
("foo", b
a
r, 100) whe
r
e
1
00
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carp
e
nter
param_set: o
n
ly r
e
cord p
a
ramet
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extra
:
ig
n
ore struct to st
r
u
ct assign
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
impl
i
ed: ad
d
the str
e
e_id to deb
u
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
clear_b
u
ffer: delete an unused functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
c
l
ear_buffer: de
l
e
te o
b
solete code
t
o ha
n
dle
struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpent
e
r
co
m
parison: don't record that actual
s
truct
s
are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
ass
i
gned_expr: don't store fake assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpe
n
te
r
debug: c
h
ange __
s
match_cur_slis
t
()
to __smatch
_
cu
r
_s
t
re
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
C
a
r
p
e
n
ter
s
t
ate
s
:
don't __unnullify
_
path unnec
e
ssarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Ca
r
penter
implied: smatch was saying something
s
were i
m
plie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
D
a
n
Carpenter
stree
:
fix a
b
u
nch of
s
t
r
e
e
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states
:
merge nullif
y
_
a
ll
_
sta
t
e
s() i
n
t
o
save_all_st
a
tes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
stree:
m
ake strees copy o
n
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
st
r
e
e
: move stree_id
i
nt
o
the avl r
o
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
slist: rena
m
e slist_i
d
to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: introduc
e
FOR_EACH_MY_SM() a
n
d callers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
k
unmap: update
v
alidation
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
flow: fixes fo
r
hairy
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
extra:
fix unknown += assi
g
n
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
implied: add a
new
l
ine
to output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
stored_conditio
n
s: store compa
r
isons
a
nd not
l
ogicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
d
b
: fix
neste
d
cal
l
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Ca
r
pe
n
ter
kunmap: tidy up error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
co
n
d
itions: fix some leaks
i
n
hand
l
e_select()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
slist: fix a lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
s
tree fall
o
ut: imp
l
ications no
t
working 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: renam
e
fake_cur_slist functions to fake
_
cur
_
s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
states: rename __print
_
cur_slist() to
_
_print_c
u
r_stre
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
avl: rename avl_free() to fr
e
e
_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl
:
r
enam
e
avl
_
co
u
nt() to str
e
e
_
count(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
vl
:
use struct stree instead of ma
k
ing it a typedef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
avl:
r
enam
e
st
r
uct AVL to s
t
ruct st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpen
t
er
avl
:
re
n
a
m
e avl_clone
to clone_
s
tr
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
sli
s
t: delete slist
c
ompat
layer and remaini
n
g unus
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
ter
stat
e
s: eliminate
r
e
maining r
e
ferences
to __get_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
states: remove s
o
me d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
C
arpent
e
r
slist: remove
a bunch o
f
unu
s
e
d
slist functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
enter
core: change
(
st
r
u
c
t
sm_s
t
ate)->pool
t
o be a st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
e
n
t
e
r
start_states: u
p
date
g
et_start_stat
e
s() to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
ret
u
rns:
updat
e
all_
r
eturn
_
states_h
o
ok() to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
type_v
a
l: u
p
date to
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next