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
kernel_printf: fix %pG test
2017-05-08
D
a
n Carpenter
kernel_printf
:
fix
%pG tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
logical_instead_of_bitw
i
se:
s
i
lence some false pos
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
u
n
u
sed_ret: make warning messages c
o
nsistent with everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
user_d
a
ta2: ta
g
a
ll union membe
r
s as untruste
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
user_data2: if users c
a
n
o
nly specify a sing
l
e value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
arpenter
extra: us
e
l
o
n
g
to short ma
p
p
i
ngs for PARAM_LIMI
T
an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
u
s
er_data2: handle
"if (u
n
t
rusted !=
t
rusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
bu
f
_c
o
mparison: clear array <-> size links
bet
t
er on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpe
n
ter
buf_c
o
mpari
s
on: rec
o
rd i
f
w
e pass an ARRAY
_
SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
t
er
return_to_pa
r
am (map
p
ings): map re
g
ular assi
g
n
me
n
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carpen
t
er
user_data2:
h
and
l
e inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carpenter
math
:
prefer real a
b
solute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Ca
r
pe
n
ter
modif
i
cation_hook
s
: use
lon
g
to short
mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpe
n
ter
return_t
o
_param: handle "
r
eturn get_foo(
b
ar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n
Ca
r
penter
expression: fix expr_g
e
t_pa
r
ent_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
an Carpente
r
function_hooks: only add co
m
parisons when n
e
e
d
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
a
rpen
t
er
fl
o
w: fix som
e
pa
r
ent transit
i
on f
a
llou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carp
e
nter
flow: set parent statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
core:
a
dd expr_get/set_parent
_
stmt
(
) accessor fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n
C
arpente
r
f
l
ow: creat
e
an
a
ccessor method expr
_
get_
p
arent_exp
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename
set_pa
r
ent
_
stm
t
()
=
> st
m
t_set_parent_st
m
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
fl
o
w: r
e
nam
e
set_p
a
rent_expr()
=
> expr_
s
et_paren
t
_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
r
eturn_t
o
_
param: U
s
e the
DB
r
e
tu
r
n strings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
py
:
translate more parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Car
p
en
t
er
smdb
.
py: g
u
ess th
e
parameter names even if the fil
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
C
ar
p
en
t
e
r
smd
b
: don't crash if the paramete
r
names
a
ren
'
t known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow:
f
ix fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
enter
balanc
e
d: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
rpe
n
ter
flow: add i
n
i
t_fake_env()/end_fake_env
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Ca
r
penter
sto
r
ed_condi
t
ions:
s
tore as expr
e
s
s
ion pointers
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpente
r
flow, d
b
: fix how inline
f
unctio
n
assign
m
ents
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
e
nter
flow: remov
e
some buggy unu
s
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan
Carpenter
flow: fix i
n
itializati
o
n of nested s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
db: build an index on the pa
r
a
m
ete
r
names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Car
p
enter
math: improve MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry M
o
nakhov
test_kernel
.
s
h
: add config opti
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makefile:
Install sc
r
ipts t
o
/usr/share/smatch/smatch_scr
i
pts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Make
f
ile: ma
k
e
i
n
stal
l
prefix configurable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpen
t
er
parameter
_
names: store
p
arameter n
a
mes
i
n
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
smdb
.
py: reformat call_info
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpent
e
r
M
a
k
efile: use quiet link to link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
state
s
: fix handling switc
h
es in
s
ide
c
onditions (
f
ake_c
u
r
_
stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
states: spli
t
up
d
ate_fake_str
e
e_with_merged()
a
nd add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
C
a
rpen
t
er
type_val
:
small tw
e
ak for arrays
a
nd c
o
mplicated lvalu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
extra: han
d
le indirection like
"p
=
&foo
;
*p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Car
p
en
t
er
ext
r
a: handl
e
MOD
c
onditions
l
ik
e
"if (a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
penter
modificat
i
o
n_hooks:
r
emove unused indirec
t
modifi
c
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
valid
a
tion
/
skb3
:
delete
some
a
ccident
a
l
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
r
p
ent
e
r
user_data2: do
n
't set p
a
rameters
t
o
u
ser_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
user_data2: handle sk
b
->data m
a
th a little
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
s
er_
d
ata2: re-work ha
n
dling of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arpenter
p
a
rse_call_math: work
aroun
d
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carp
e
n
t
er
leaks:
d
o
n
't complain
if we
overwrite NULL
po
i
nter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
fr
e
e: ignore im
p
ossible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
s
h
ift_to_
z
e
r
o
: ma
k
e the e
r
ror me
s
sage more infor
m
ative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_bit: add te
s
t_
a
nd_cle
a
r_b
i
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpe
n
ter
smdb
.
py: print the
r
eturn_imp
l
ies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
d
b
/f
i
xup_kernel
.
sh: ig
n
o
r
e
d
o_loop_read
v
_w
r
itev(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpent
e
r
extr
a
: set h
a
rd m
a
x
if a funct
i
on
i
s cal
l
e
d
with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carp
e
n
ter
extra: fix
h
a
ndling
of
k
n
own con
d
ition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
p
a
ram_limit: don
'
t
s
et some uncha
n
g
e
d l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
: prevent s
l
ow downs spli
t
t
i
n
g
returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
db: set parse_error if
the SQL fa
i
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpente
r
par
a
m_set: ha
n
dle if the
parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
an
C
ar
p
enter
b
uf_size: fix t
y
pe_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b
: filter pointer calls
by func
t
i
o
n signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
imp
l
ied: r
e
vert "tin
y
speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
er
assign_vs_compare:
warn abou
t
"if
(
f
o
o = &bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fi
x
type_bit
s
() f
o
r ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpent
e
r
shift_to_zero: d
o
a smal
l
c
le
a
n up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: remov
e
a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
e
n
ter
db: split return states by null
vs non-null par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arp
e
n
t
er
e
x
tra: filt
e
r
PAR
A
M_V
A
LU
E
s with both extra and rea
l
_a
b
solut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpent
e
r
mat
h
: handle -f
o
o better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Ca
r
p
e
nter
helper:
intr
o
duce g
e
t struct and me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carp
e
nt
e
r
implied: tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
i
mplied: s
m
all c
l
eanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
ent
e
r
ranges: handle bitwise AND operati
o
ns b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
re
a
l_absolute: introduce get_real_absolut
e
_
var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl: add a short cut for w
h
en there a
r
e n
o
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
type_val: handle |= type assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan
C
a
r
penter
d
b: rename "function
_
type_info"
table to "functi
o
n
_t
y
pe"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
user
_
d
a
t
a
2: if
a user_data is equal to non-user
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
p
re-process: try
find any include that
look
s
like it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
comparison
:
remov
e
s
ome lo
c
al_debug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpen
t
er
db/fixup_kernel
.
sh: w
r
ite to th
e
temporary DB instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carp
e
nte
r
extra:
f
ix
type issue handling ++= and -
-
=
o
perations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: remove uncommi
t
ted
f
u
nction
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: fix
h
andlin
g
of
s
izeof() __le16 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
ma
t
h: handle real_absolute variables more acc
u
r
ately
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
real_abso
l
u
te:
ignor
e
iterator pr
e
statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
helper: In expr_to_str(
)
remove e
x
tra p
a
r
e
n
t
hesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
db: introduc
e
s
q
l_insert_data
_
info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db: use "
e
x
t
er
n
" in
s
tead
o
f the fil
e
name for gl
o
bals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
sp
a
rse: in
t
roduce parse
_
er
r
or vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
user
_
data2
:
handle functi
o
ns that merely return passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Ca
r
penter
hoo
k
s
:
introdu
c
e ASS
I
G
N
MENT_H
O
O
K_AFT
E
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Ca
r
penter
db: give up handli
n
g function
p
ointers if there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpent
e
r
u
s
e
r
_data2: remove some de
b
ug print
f
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_da
t
a
2
:
d
on't se
t
the function itself
t
o
user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next