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
Dan Carpenter
kernel_printf: f
i
x %pG test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
a
rp
e
nter
logical_in
s
tea
d
_o
f
_bitwise: sile
n
ce some
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
unu
s
e
d
_ret
:
make w
a
rning mes
s
a
ges consistent with
e
v
e
ryone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
user_data2: tag all uni
o
n members as unt
r
usted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Ca
r
pent
e
r
user_data2: if users can only specif
y
a
single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpe
n
ter
extra
:
use long to short mappings for PARAM_LIM
I
T and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
user_data2: handle "i
f
(untrusted != trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
buf_co
m
parison: cle
a
r
array <-> si
z
e li
n
ks better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
buf_comparison: rec
o
rd if
w
e
pass an ARRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
p
e
nter
r
e
turn_
t
o
_p
a
r
a
m (map
p
ings
)
:
map regular
assign
m
ents
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
user_dat
a
2:
handl
e
inlines b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
penter
math: prefer real absolute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n C
a
rpenter
mo
d
ification_hooks: use long to
s
hort mappings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an Carpenter
ret
u
r
n
_to_param:
handl
e
"return get_foo(bar)
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
D
an Carpe
n
t
e
r
expre
s
sio
n
: fix expr_g
e
t_parent_s
t
m
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Car
p
enter
fun
c
t
ion_
h
oo
k
s
:
onl
y
a
d
d comparisons when needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w:
fix some parent
t
ransition fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow
:
set
p
arent st
a
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
core: add e
x
p
r
_
get/
s
e
t_parent
_
s
t
mt(
)
acce
s
sor functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow:
create an a
c
cessor method expr_get_parent_
e
x
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
o
w: rename
set_pare
n
t_st
m
t
()
=> stmt_set_
p
arent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carp
e
nte
r
f
low: rename set_pa
r
ent_ex
p
r
(
)
=
>
e
x
pr
_
set_p
a
rent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
return_to_param: Use the DB retur
n
strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
C
a
rp
e
nter
s
m
db
.
py: translate more
p
arameter
n
ame
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpente
r
smdb
.
p
y: guess t
h
e parameter names even if t
h
e fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db:
d
on't c
r
ash if the p
a
ram
e
ter names aren't
k
nown
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Ca
r
penter
flow:
f
ix
fake en
v
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpent
e
r
balanc
e
d: delete th
i
s
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n
C
arpente
r
fl
o
w: a
d
d
i
nit_f
a
ke_env()
/
en
d
_fak
e
_env
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpe
n
ter
stored
_
con
d
i
t
ions: store as
expression point
e
r
s
inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow, db: fix
how
i
nline function
a
ssignments
are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpenter
f
l
ow: rem
o
ve s
o
me buggy unused c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Car
p
enter
f
l
ow: fix
initializatio
n
of nested st
r
uct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Ca
r
penter
db: bui
l
d an index on the parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
arpen
t
er
math: im
p
rove
MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
t
er
paramete
r
_names: store param
e
ter names in t
h
e DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
smdb
.
py: reformat ca
l
l_inf
o
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpen
t
er
Makefile:
u
se quiet link to lin
k
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
sta
t
e
s
:
fix handling switc
h
es
i
nside conditions (fake_cur_st
r
ee)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
rpenter
state
s
: split upd
a
te_fake_stree_with
_
merged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Car
p
enter
ty
p
e_val:
s
mall tweak for ar
r
a
y
s and
complicated lva
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Car
p
enter
extra: handle indirection
l
ike "p
=
&foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra: handl
e
MOD
c
onditions like "if (a % 4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carp
e
nte
r
modific
a
tion_ho
o
k
s
: remov
e
u
n
u
sed ind
i
r
e
ct
modificat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
an
C
arp
e
nter
valid
a
tion/skb3: delet
e
some accidental
d
e
b
ug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: don't set parameters to
user
_
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpe
n
ter
user_data2: hand
l
e
skb-
>
data m
a
th
a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: re-work ha
n
dl
i
ng of
s
kb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
parse_call_math: work around for l
o
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
p
enter
leaks: d
o
n't compl
a
in if
w
e overw
r
ite
N
ULL
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpente
r
f
r
ee: ignore i
m
possible
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
shift_t
o
_zero: make the error mes
s
ag
e
mor
e
i
nf
o
rmative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an
C
arpenter
test_bit: a
d
d test_and_clea
r
_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
ar
p
en
t
er
s
mdb
.
py: print the retur
n
_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
pente
r
db/fixup_kernel
.
sh: igno
r
e do_l
o
op_readv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
t
er
extra: s
e
t
hard max if a fu
n
c
tion is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
extra: fix handling
of know
n
cond
i
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
e
r
param_limit: don't set some unchanged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
d
b: prev
e
nt slow downs splitting
r
eturns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
db
:
set parse_error if
t
he SQL f
a
i
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpe
n
ter
p
a
ram_set: handle i
f
the parent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
buf_size: fix type_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db: f
i
lter poin
t
e
r
c
a
lls by fun
c
t
i
on signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: re
v
ert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Ca
r
pe
n
ter
assign_vs_compare:
warn about "i
f
(f
o
o = &
b
ar)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fi
x
type_bit
s
() for ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Ca
r
pe
n
t
er
shift_
t
o_zero: do a
small c
l
ean u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smat
c
h
.
c:
r
emove a blan
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
db: spl
i
t re
t
u
r
n states by null vs non-null para
m
e
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
ter
extra: filter PARAM_VALUE
s
with bo
t
h extra an
d
real_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
math: h
a
ndl
e
-
foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carp
e
nter
helper
:
introduce get str
u
c
t and mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impl
i
e
d: t
i
ny
s
p
eed
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
m
plied: small cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
range
s
: handl
e
bitwise AND operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
re
a
l_absolute: introduce
g
et
_
real_absolute_var_s
y
m
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carp
e
nter
avl
:
add a
short cut for wh
e
n there
are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
type_val:
h
and
l
e
|
= type assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
d
b:
rename
"f
u
nction
_
t
y
pe_info" tab
l
e
to "function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Car
p
enter
u
s
er_data2
:
i
f
a user_data is eq
u
a
l
to non-user da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
pre-proc
e
s
s: try find an
y
include tha
t
look
s
lik
e
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comparis
o
n: remove some local_d
e
bug infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
db/fixup_kernel
.
sh: write to
the t
e
mporary DB i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
extra:
f
ix type issue han
d
ling
+
+
= a
n
d
-
-= operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
math: remove uncommitted fu
n
c
t
i
on c
a
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpen
t
er
math: fix
h
an
d
li
n
g of sizeof() _
_
l
e16 ty
p
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
math:
h
andle r
e
a
l_ab
s
olute v
a
r
iables
m
ore
a
ccurately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absolute
:
ign
o
re iterator pre
st
a
temen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Car
p
en
t
er
h
elper: In ex
p
r
_
to_str() rem
o
ve extra parent
h
esis aro
u
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carp
e
nter
db: intro
d
uce sql_insert
_
data_info_va
r
_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db: use "extern"
i
nstead of the f
i
l
e
name fo
r
globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
sparse: intr
o
duce parse_error variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_data2: handle functions that merely retu
r
n pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpenter
hoo
k
s: int
r
oduce ASSIGNMENT_HO
O
K_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpe
n
ter
d
b
: give
u
p hand
l
ing function p
o
inters if there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
ar
p
enter
user_data2: remove
some
debug printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpenter
user_data2:
d
on't set the
f
unction itself to user_d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rpenter
user_data2: improv
e
handling
w
hen we return
u
ser data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpente
r
function_hooks: don'
t
m
ark it
a
s
impo
s
sible if a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Da
n
Carpe
n
te
r
c
omparison:
modify the li
n
ks at at start
of a
n
assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next