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
flow: set parent statements
2017-04-27
Dan Carpen
t
er
flow:
s
et paren
t
state
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
core:
a
dd e
x
pr_ge
t
/
s
et_parent_stmt
(
) acc
e
ssor function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Car
p
e
n
t
er
flo
w
: create an accessor method expr_get_
p
ar
e
nt_exp
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flo
w
:
r
ename set_p
a
rent
_
s
tmt() => stmt_set_parent_stm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename s
e
t_parent
_
ex
p
r() => expr_se
t
_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan
C
arpen
t
er
retu
r
n_to_param: Use the DB return s
t
rings like
"[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n
C
arpenter
smdb
.
py: translate more para
m
ete
r
nam
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
p
ent
e
r
s
mdb
.
py: gu
e
ss the parameter names
e
ven if t
h
e file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n Carpente
r
smdb: don't cr
a
sh if the param
e
ter na
m
es
a
r
en't known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arp
e
nter
flow:
fi
x
fa
k
e en
v
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Ca
r
p
e
nter
balance
d
: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
rpen
t
e
r
f
l
ow: add
i
n
it_
f
ake_env()/end_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Da
n
Car
p
enter
stored_conditions
:
store as expressio
n
p
o
int
e
rs instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow,
d
b: fix how inline function
assignm
e
nts are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: remove so
m
e buggy
unused co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
flow:
f
i
x initia
l
ization of
n
este
d
structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpente
r
d
b:
build an index o
n
the parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
math: improve MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
parame
t
er_n
a
mes: stor
e
pa
r
ameter names in the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
rpenter
smdb
.
py: re
f
ormat ca
l
l_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpente
r
M
a
kefi
l
e: use qu
i
e
t
link t
o
link
s
match
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpe
n
ter
states:
fix handling swit
c
hes inside conditio
n
s (fake_
c
ur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
st
a
tes: spli
t
update_fake_stree_
w
i
t
h
_merged() an
d
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
typ
e
_val: sma
l
l tweak
f
o
r arrays a
n
d com
p
licate
d
lv
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpe
n
ter
ext
r
a: handl
e
indirection like "p = &foo;
*
p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan C
a
rpenter
ex
t
ra: ha
n
dle MOD
c
onditions l
i
ke
"i
f
(a
%
4
) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
m
o
d
i
fi
c
ation_hooks
:
re
m
ove unused indirect mod
i
ficati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
enter
valid
a
tion/skb3: de
l
ete some ac
c
idental
d
e
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user
_
data
2
: don't set
p
a
rameters
to u
s
er_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpe
n
ter
user_da
t
a2: handle
skb->data math a little bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carpente
r
user_data2:
r
e-work ha
n
dling of skb->d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
p
a
rse_call_math: work around for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
l
e
aks: don't
compl
a
i
n if we over
w
rit
e
NULL
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
f
ree: ignor
e
impossible cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
s
hi
f
t
_
to_zero: make the err
o
r message m
o
r
e in
f
orma
t
ive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
test_bit: add te
s
t_and_clear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
s
mdb
.
p
y: print the
return_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arpenter
db/fixup_kernel
.
sh: ign
o
r
e do_l
o
op_readv_w
r
itev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
e
xtra: se
t
har
d
max if a function is called
w
ith a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extra:
f
ix handling of
kno
w
n
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
e
r
param_li
m
it: don't set some
unchanged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
e
n
ter
db: prev
e
nt slow downs
splitting
r
et
u
rns apa
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
db: se
t
parse_err
o
r if the SQL
fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan
Carpenter
pa
r
am_set:
h
andle if the parent wa
s
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
buf_size: fix
type_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
D
an Carpenter
db: filter
p
ointe
r
calls
b
y func
t
ion signat
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pen
t
er
impl
i
ed: revert "tiny spee
d
up
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pent
e
r
a
s
sign_v
s
_comp
a
re: warn about "if
(foo = &
b
ar
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
type: fix type_bits() for
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
shift_
t
o_z
e
ro: do a small clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
smatch
.
c: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
d
b
:
s
pli
t
return states
b
y null
vs non-null parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpente
r
extra: fi
l
te
r
PARAM_VALUEs with both extra and r
e
al_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
mat
h
: handle -foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
helper: introduc
e
get s
t
r
u
ct
a
nd member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n C
a
rp
e
nter
imp
l
ied: tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: small
cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpent
e
r
ranges: han
d
le b
i
twise AND o
p
e
ratio
n
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
real_absolute: introduce get_real_absolute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl: add a sh
o
rt cut for
w
he
n
there are n
o
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Car
p
enter
t
y
pe_
v
al:
h
andle |
=
t
y
pe
a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db: rena
m
e "
f
unc
t
ion_
t
ype_info" table to "function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpente
r
user_data2:
i
f a user_d
a
ta is e
q
u
a
l
t
o
non-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpent
e
r
pre
-
p
rocess: try
fin
d
any includ
e
tha
t
looks
like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
comparison:
r
emove s
o
me loca
l
_
debu
g
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
n
ter
db/fixup_
k
ernel
.
sh: write t
o
the
temporary
D
B
i
nstead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
extra: fix type issue handl
i
n
g ++= and
--= operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
math:
r
emove uncommitted
f
u
n
ction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpe
n
t
er
ma
t
h: fix handli
n
g
o
f sizeof() __le16
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
math
:
handl
e
real_ab
s
olute var
i
abl
e
s mor
e
accu
r
ately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
pente
r
real_absolute: ignore
iterator pre s
t
at
e
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
helper:
I
n expr_to_str() remove ex
t
ra paren
t
h
e
s
is around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
db: introd
u
ce sql_inser
t
_data_info_v
a
r_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carp
e
nter
db:
use "extern" inste
a
d of the file name
f
or g
l
obals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
sparse: introdu
c
e
p
arse_erro
r
variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_dat
a
2
:
h
andle functions that merely return pass
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Car
p
enter
h
ooks:
introduce ASSIGNMENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpente
r
db: give up handling f
u
nc
t
ion po
i
nters
i
f t
h
ere are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpenter
user_data2: remove some
d
e
bug printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpen
t
e
r
user_da
t
a2
:
don't set the fu
n
cti
o
n itself
t
o user_dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: improve han
d
l
i
ng
w
hen we
r
eturn user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Da
n
Carpent
e
r
functi
o
n_ho
o
k
s
: don't mark it as impossible
if a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
D
an Carpenter
comp
a
rison:
m
o
dify
t
h
e
links at at sta
r
t of an
a
ssignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
D
an Carpenter
d
b: cle
a
n
up get_row_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
implied: rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
es
t
a
te:
add an estat
e
_i
s
_empty() f
u
nct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpent
e
r
d
b
/kernel
.
no_inline: don't parse the bite swa
p
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an
Carpe
n
ter
kernel: parse A
T
OM
I
C_SET() manual
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpe
n
ter
db/kernel
.
r
eturn_fixes:
a
dd some more fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
nter
db/
f
ix
u
p_kernel
.
s
h: handle _
_
kernel_wr
i
t
e
() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim
_
db
:
handle older versions o
f
v
i
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Ca
r
penter
db/fixup_ke
r
nel
:
handl
e
__buil
t
in_b
s
wap64(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
function_hooks
:
chang
e
orde
r
of how
d
b verse
i
mplied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpenter
param_limit: don't i
n
ser
t
e
m
pty
s
tates i
n
to the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
r
anges: use a
hack around
s
o when merging r
a
nges
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
t
e
r
type
_
v
al
:
fix a m
e
mory l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpe
n
ter
function
_
hooks, db:
h
and
l
e PARAM_
L
IMIT for struct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
impl
i
e
d
: fix a b
u
g
h
andlin
g
parameter
im
p
l
i
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
implie
d
: add more
debug informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan
C
arpe
n
ter
db: s
o
r
t
r
e
turn
_
st
a
tes by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next