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 Car
p
enter
kerne
l
_print
f
: fix
%pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pe
n
ter
logical_
i
n
stead_of_bitwise: silence s
o
me false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
u
n
used_
r
et: ma
k
e warning messages c
o
nsistent with everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
user_data2: tag all union m
e
mbers as untru
s
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
ser_
d
ata2: if
u
se
r
s
ca
n
only specify a sing
l
e v
a
lue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
extra: use
l
ong to short mappings for PARA
M
_L
I
MIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_d
a
ta2:
h
andle "if (untrusted != truste
d
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpen
t
er
buf_comparison: c
l
ear array <-
>
size
links be
t
ter on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: record
i
f we
p
ass an AR
R
AY
_
SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
r
e
turn_to_par
a
m (ma
p
pi
n
gs
)
:
map regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpen
t
er
user_data2:
h
andle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpe
n
ter
math: pr
e
fer
rea
l
absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpenter
modificati
o
n_hooks:
use long
t
o shor
t
ma
p
pings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpenter
return_to
_
param: handle "r
e
t
u
rn get_foo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan
Carp
e
n
t
er
ex
p
ression: fix expr_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carp
e
nter
f
un
c
ti
o
n_ho
o
ks: only add compa
r
isons when ne
e
ded
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow:
fix some p
a
rent transit
i
on
fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
flow
:
set parent sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Ca
r
penter
core
:
a
dd e
x
pr_ge
t
/set_parent_stmt() accessor functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
f
low: create an accessor
me
t
hod exp
r
_get_pa
r
e
n
t_expr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n C
a
r
p
enter
f
l
ow:
re
n
ame set_
p
arent_stmt() => st
m
t_s
e
t_parent_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
nt
e
r
f
l
o
w: rename set
_
parent_
e
x
pr
(
) => e
x
pr_set_
p
arent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
return_
t
o_
p
a
r
am:
Use t
h
e DB return strings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
an Carpenter
smdb
.
py: translate more parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
smdb
.
py
:
guess t
h
e pa
r
amet
e
r
n
am
e
s
even
i
f the
fil
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: don't crash if the param
e
ter na
m
es aren't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: fix fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carp
e
nte
r
balance
d
: delete thi
s
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpente
r
f
l
o
w: add i
n
it_fa
k
e
_
env()
/
end_fake_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
store
d
_conditions: store as expression pointers i
n
s
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan
C
a
r
pent
e
r
flow
,
db: fix how inline function assignments are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
arpenter
flow: r
e
move some buggy unused cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
flow: fix ini
t
ializati
o
n of nested str
u
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
db: build an index o
n
the pa
r
a
m
eter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carp
e
nter
math: impro
v
e
M
OD handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
an
Carpen
t
er
paramete
r
_names
:
store paramet
e
r names in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reformat
call
_
i
n
fo ou
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carp
e
n
ter
M
ak
e
file:
u
s
e q
u
iet l
i
nk to link smat
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
n
t
er
stat
e
s
: f
i
x handling switches
i
nside
c
onditio
n
s (
f
a
ke_cu
r
_s
t
re
e
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
stat
e
s:
s
plit updat
e
_fak
e
_
s
tree_with_m
e
rged() an
d
a
d
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_v
a
l: small t
w
eak for ar
r
ays an
d
c
om
p
licated lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
extra: handle indirection like "p =
&foo; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra: handle MOD c
o
nditions like "if (a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modificatio
n
_hooks
:
remove un
u
sed indirect modifi
c
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan
Car
p
enter
validation/skb3
:
dele
t
e some accide
n
tal debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpente
r
user_data2: don't set
p
aramet
e
r
s to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpenter
u
ser_data2: h
a
nd
l
e s
k
b->data math a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
us
e
r_data2: re-work
handling
o
f skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Ca
r
pente
r
pa
r
se_call
_
math: work around for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Car
p
enter
leaks: don't
compla
i
n if w
e
o
v
e
rwrite NULL point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
free: ig
n
ore impossib
l
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an
Carpente
r
shift_to_zero: mak
e
the error message mo
r
e informative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_bit: add t
e
st_and_clear
_
b
i
t(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
smdb
.
py: p
r
i
n
t the r
e
turn_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Ca
r
penter
d
b
/
f
i
xup_kernel
.
sh: ignore do_loop_r
e
ad
v
_writev(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
extra: se
t
hard
m
a
x
i
f a functi
o
n is call
e
d w
i
th a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: fix hand
l
ing of kn
o
wn conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
p
a
ram_limit:
d
o
n'
t
set som
e
u
n
changed limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
db: p
r
eve
n
t
s
low
d
o
w
ns splitting ret
u
r
n
s apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpe
n
ter
d
b
: set parse_er
r
or if the SQL
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
rp
e
n
t
er
p
a
ram_set:
h
andle
i
f the
parent w
a
s set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan
Carpenter
buf_size: fix type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
db: f
i
lter pointe
r
calls
by function signat
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
im
p
l
ied: re
v
ert "
t
i
n
y speed
u
p"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
assign_vs_
c
o
m
pa
r
e: warn about "if (f
o
o
= &bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
ty
p
e
:
fix type_
b
i
t
s
() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
shift_t
o
_z
e
ro:
d
o a sma
l
l clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatc
h
.
c: remove a blank l
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpent
e
r
d
b
: s
p
li
t
re
t
urn states by null vs non-null par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
penter
extra
:
filter PARAM_VALU
E
s
with both e
x
tra a
n
d real_absol
u
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
m
ath: handle -foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
helper: introduce get struct a
n
d memb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpe
n
ter
implied:
tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
m
plied: s
m
a
l
l cl
e
an
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ra
n
ges: han
d
l
e bitwise AND
ope
r
ati
o
ns bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
real_absolute:
i
ntroduce get_real_absolu
t
e
_
var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
er
a
v
l:
add a short cut fo
r
when there
are no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carp
e
nt
e
r
type_
v
al:
handle |= t
y
pe assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
D
an Car
p
enter
db: re
n
ame "function_typ
e
_
i
nfo" table t
o
"
f
unctio
n
_type
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an
C
a
rpenter
user_
d
ata2: if a
u
se
r
_da
t
a is equa
l
to
n
o
n
-user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpent
e
r
pre-
p
roc
e
ss:
tr
y
fi
n
d any include that lo
o
k
s
l
ike it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
compariso
n
: remove some local_
d
ebug i
n
format
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db/fixup_kernel
.
s
h: write to the te
m
p
o
r
a
ry
DB instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
ex
t
ra: fix type issue handling +
+
= an
d
--= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
m
ath: remove u
n
committed fun
c
t
i
on
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
math: f
i
x han
d
li
n
g of size
o
f() __le1
6
typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Ca
r
pen
t
er
math:
h
andle real_abso
l
ute variables m
o
re accu
r
a
t
ely
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absolute
:
ignore iterator pre
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Car
p
ent
e
r
helper: In expr_to_str()
r
emove
e
xt
r
a parenthesis
a
r
o
u
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db
:
i
n
troduce sql_insert
_
data_info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpe
n
ter
db: use "extern" instead
o
f the file name for gl
o
bals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
n
ter
sp
a
rse: introduce parse_
e
rror variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
u
s
e
r
_
data2: handle functions that merely re
t
u
r
n
p
assed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nter
ho
o
ks: int
r
oduce ASSIG
N
MENT_H
O
OK_AFT
E
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nter
db: giv
e
up hand
l
in
g
f
unction pointers if
the
r
e are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Car
p
enter
u
s
er_data2: remove s
o
me debug prin
t
fs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_dat
a
2: don't set the fu
n
ctio
n
i
tself to user_d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rp
e
nter
user_
d
a
ta2:
i
m
prove handling
w
h
en w
e
retur
n
u
ser d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n Carpenter
function_hooks: don't mar
k
it as impossi
b
le if a func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan C
a
rpenter
compari
s
on: mo
d
ify the l
i
nks at at
s
t
ar
t
of an
assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next