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
buf_comparison: clear array <-> size links better on modification
2017-05-08
Dan Carpenter
b
u
f_
c
ompa
r
iso
n
: clear array <->
size links better
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
b
uf
_
com
p
arison: record if we
p
a
s
s a
n
ARRA
Y
_SIZE
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
retu
r
n_to_param (mappings): map
r
egular assignme
n
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an Carpenter
user_data2: handle inlin
e
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
math: pr
e
fe
r
real absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpe
n
ter
m
o
dificatio
n
_hooks: use
l
o
n
g to s
h
ort
m
appings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
r
penter
retu
r
n_to
_
para
m
: handle "retur
n
ge
t
_f
o
o(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan
C
arpent
e
r
expression: fix
exp
r
_get_par
e
nt_stm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carp
e
n
ter
function_hooks: only add c
o
mpar
i
son
s
w
h
e
n
needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: fix some pa
r
ent tra
n
sition
f
al
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
ar
p
enter
f
l
ow: s
e
t parent statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
p
e
n
t
er
c
o
re:
a
dd
ex
p
r
_get/set_parent_stmt() accessor
f
uncti
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flow: create
a
n accessor meth
o
d
expr_get_par
e
nt_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Car
p
e
n
ter
flow: r
e
name
set_parent_st
m
t
(
)
=
> stmt_set
_
parent
_
stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpen
t
er
flow: r
e
name se
t
_parent
_
e
x
pr() =>
expr_se
t
_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n Carpente
r
r
e
tu
r
n_to_param: Use
the DB return
st
r
in
g
s like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
C
arpente
r
smd
b
.
p
y:
translate more parameter n
a
mes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
py:
g
uess the para
m
eter name
s
even
i
f the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpent
e
r
smd
b
: don't crash
if the
paramet
e
r n
a
mes
aren't k
n
own
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpenter
f
l
ow: fix fake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
b
a
lanced: delet
e
this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Carpe
n
ter
flow: add init_fake
_
e
n
v()/e
n
d_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
an Carpent
e
r
stored_cond
i
tions: store as expression pointers instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan C
a
rpenter
flow, db: fix ho
w
i
n
line function assign
m
ents are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
flo
w
: remove some
buggy unused co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: fix initialization of nested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Ca
r
pent
e
r
db: build an ind
e
x
o
n the
parameter
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
math: improv
e
M
O
D handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry M
o
nakhov
t
e
s
t_kernel
.
sh: add config options
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
M
akefile
:
In
s
ta
l
l
scr
i
pts to
/
usr
/
sh
a
re/sm
a
tch/smat
c
h_scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makef
i
l
e: make install prefix co
n
figura
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
para
m
e
ter_na
m
es: stor
e
pa
r
amet
e
r
names i
n
t
h
e DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
Carp
e
nt
e
r
smdb
.
py: r
e
format call
_
info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
C
arp
e
nter
M
a
k
efile: use quiet link to
l
i
n
k
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
p
e
nt
e
r
stat
e
s
:
fix handling swi
t
ches inside
conditions
(
fake_cur_st
r
ee)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
states: split update_fa
k
e
_stree_w
i
th_merg
e
d() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
type_val
:
small
t
weak for arrays a
n
d
complicated lvalu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: h
a
ndle
i
n
dire
c
tion
l
ike "p = &foo; *p
= 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
C
ar
p
enter
extra: han
d
le M
O
D conditions like "if (a % 4) {" bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modification_h
o
oks: remove unused ind
i
rect modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n
C
arpent
e
r
val
i
dation
/
s
k
b3: del
e
te
s
o
me
accident
a
l debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n
C
arpenter
use
r
_data2: do
n
't set p
a
ramet
e
r
s
to u
s
er_d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_
d
ata2: handle
skb->data math a l
i
ttle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rp
e
nter
user_data2: re-
w
ork handling
of s
k
b
->d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
p
e
nter
parse_
c
all_math:
work aroun
d
for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpen
t
er
l
eaks
:
don't complain if w
e
overw
r
ite NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carp
e
nter
free: ignore impossible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
shift_
t
o_ze
r
o: make the error
message more infor
m
ati
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
tes
t
_bit: add
tes
t
_and_clear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
smdb
.
py: pr
i
nt the return_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fi
x
up_k
e
rnel
.
s
h
: ign
o
re do_
l
oop_readv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
e
xtra: set hard ma
x
if a function is cal
l
ed with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpent
e
r
extra: fix handling of known conditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
par
a
m_
l
imit: don't set some unch
a
nge
d
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arp
e
nter
db: pr
e
ve
n
t slow downs splitting returns apa
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
d
b: set
parse
_
error if
the SQL fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Ca
r
penter
param
_
set: handle i
f
the p
a
rent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
bu
f
_s
i
ze: fix type_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Da
n
Carpenter
db: filter pointer call
s
b
y
funct
i
on signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
impl
i
ed:
r
evert "tiny speed u
p
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
e
nter
a
ssi
g
n_vs_compare: wa
r
n
about
"if
(foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fix type_bi
t
s() for arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
shift_to_zer
o
:
do a small cle
a
n u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
smatch
.
c:
r
emove a blank lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an
C
ar
p
enter
db
:
spli
t
r
etur
n
states
b
y
null vs no
n
-null
p
arameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
extr
a
: filter PA
R
AM_VA
L
UEs
w
ith both extra
and
r
e
al_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carp
e
nter
math: handle
-
foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
helper:
i
nt
r
oduce get s
t
r
uct and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
implied: tiny speed
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
mplied: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
e
nter
ranges
:
handle bitw
i
se AN
D
operations
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
r
eal_absolute: introduc
e
get
_
real_absolute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
t
er
a
vl: add a short
c
u
t fo
r
wh
e
n there a
r
e n
o
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
ty
p
e_v
a
l:
handle |= type
assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db: renam
e
"funct
i
o
n_
t
ype_in
f
o" table to "function_t
y
p
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
u
s
er_
d
a
t
a2: if
a user_d
a
ta is equal to non-u
s
er da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
enter
pre-process: try find any incl
u
de
t
hat look
s
like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Car
p
ente
r
co
m
pa
r
ison:
r
e
m
ove som
e
local_debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
db/
f
ixup_k
e
rnel
.
sh
:
write to t
h
e
t
emp
o
r
a
ry DB
i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
nter
extra: fix t
y
pe issue h
a
n
d
l
i
ng ++= a
n
d --= oper
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
ente
r
math: remo
v
e uncom
m
itte
d
f
u
n
ction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
p
enter
m
a
th: fix hand
l
ing of sizeof
(
) _
_
l
e
16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
mat
h
: handle re
a
l_abs
o
lute variables more accura
t
ely
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
real_absolut
e
: ignore ite
r
a
tor
p
re s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
he
l
per: In expr_to
_
str
(
) remove extra parenthesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpent
e
r
db: introduce sql_insert_
d
a
ta_info
_
var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpent
e
r
db:
u
se
"
e
xtern" instead of the
f
ile name for globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
spa
r
se: in
t
ro
d
uce p
a
rse_error varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
u
s
er_
d
ata2: handle
f
u
nctio
n
s t
h
a
t merel
y
return passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
an Carpenter
hooks: introduce AS
S
IGNMENT_HOOK_AFTE
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
db: giv
e
up h
a
n
d
ling
f
un
c
t
ion p
o
inters i
f
there a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: remove so
m
e
d
ebug printf
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_d
a
ta2: don
'
t
set t
h
e function itself to user_
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user
_
d
ata2: improve ha
n
d
l
in
g
wh
e
n we return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n
Carpenter
f
u
nction_hooks: do
n
't mark
it as imp
o
ssible
i
f
a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
com
p
arison: modify the links a
t
at sta
r
t of an a
s
s
i
gnment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db:
c
l
ea
n
up g
e
t_row_coun
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
implied
:
re
n
ame a f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
e
s
t
ate:
add an
e
state_is_em
p
ty(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
no_inline: don't par
s
e the bite swap functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next