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
db: fix a type issue
2017-05-19
Dan Carpenter
db: fix a type
issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-18
Dan Ca
r
p
e
nter
type_va
l
: cast
a
ssignments to the correct type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpe
n
ter
hel
p
er: fi
x
get_membe
r
_name() handling
o
f
unions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
return_
t
o
_
param
:
l
ong to short
s
h
ould never return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpente
r
slist: reverse the
sli
s
t order in a way that no on
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra: make se
t
_extra_mod_
h
e
lpe
r
() void and
s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpen
t
er
ex
t
ra: make set_extra_mod() a
v
oid function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extr
a
: make set_extra_expr
_
mod()
a void fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carp
e
nter
g
e
neric_data: fix up some pro
j
ect r
e
lated things for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
smdb
.
py: fi
x
s
u
m
mar
y
(it
w
a
s
total
l
y broken be
f
ore)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan C
a
rpenter
links, var_sym: alloca
t
e fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan
C
ar
p
enter
mod
i
fi
c
ation_hoo
k
s
: don't save
so much data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
arpenter
return
_
t
o
_param
:
don't modify memory
on the stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
e
xtra: han
d
l
e
integer overflows
better for "int_fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
p
e
nter
build_generic_data: several improvements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an C
a
rpente
r
t
e
s
t_gen
e
ri
c
.
s
h
: l
i
k
e test_ker
n
e
l
.
sh bu
t
for gen
e
ric
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
C
a
rp
e
n
t
er
generic_data: re
n
ame to match buil
d
_kernel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpen
t
er
g
e
neric_in
f
o:
a
llow
p
e
ople t
o
build a specific directo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreachabl
e
:
d
on't com
p
lain
a
bout static declarati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpenter
i
n
dex_o
v
er
f
low: silence some glibc fals
e
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
proje
c
t: create
a
way
t
o generate sm
a
tch_data
f
or a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
penter
co
r
e:
i
mpr
o
ve F
u
nction too
h
airy calculati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
he
l
per: don't cra
s
h s
o
much on invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
te
r
comp
a
rison: f
i
x some
memory leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arp
e
n
t
er
d
b
/bui
l
d_
e
arly_index
:
b
uild anot
h
er index on parameter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
ente
r
d
b/kernel
.
return_fixes: atomic_read() retu
r
ns
t
he value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
de
b
ug
.
c
:
add some new
(
not very use
f
ul) feat
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_compariso
n
: f
i
x bui
l
d and add make new code fu
n
ction
a
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
fre
e
: fix build
e
rror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
err_ptr_
d
eref:
m
ake
e
rr
_
ptr_min/max sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
fr
e
e:
d
on't com
p
l
ain when
p
eo
p
le do frob(&f
r
eed_va
r
iable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carp
e
nte
r
kern
e
l_printf: fix %pG
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpe
n
ter
logical_i
n
stead_of_
b
itwise: s
i
lenc
e
some false positi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
u
nused
_
r
e
t: make
wa
r
ning
m
e
s
sages consisten
t
with everyo
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
arpenter
us
e
r_data2: tag all union mem
b
ers as
untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rpenter
u
ser_data2: if users can only speci
f
y a s
i
ngle
v
a
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use
l
ong to short mappings for P
A
R
AM_LIMIT
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpe
n
t
er
user
_
data2: han
d
le "if (un
t
r
u
s
ted != trusted)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: clear a
r
r
a
y
<-> size
lin
k
s better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pe
n
ter
buf_comparison: record if
we pass an AR
R
AY_SIZE
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
ar
p
enter
retur
n
_
t
o_par
a
m (mappin
g
s): map regular assignmen
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an
C
arpente
r
user_data2:
handl
e
inli
n
es better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
m
a
th: prefer real a
b
sol
u
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
modification_hooks: us
e
long to s
h
o
r
t map
p
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
an Carpente
r
return_to_param
:
handle
"
re
t
urn
get_foo(ba
r
)
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
exp
r
ession
:
fix expr_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan C
a
rpenter
function_hooks: only ad
d
comparisons
when n
e
e
d
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
pent
e
r
flow: fix some
par
e
nt transition fal
l
o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
flow: set pa
r
ent statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
cor
e
: ad
d
expr_
g
et/set_parent_stmt() ac
c
essor functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
penter
flow: cre
a
te an accessor
m
ethod
e
xpr_get_parent_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: rename set_paren
t
_stmt() => s
t
mt_set
_
parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
flow: rename set_paren
t
_expr(
)
=> expr_
s
et_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
r
e
turn_to_param: Use th
e
DB return
strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
Carpenter
s
m
db
.
p
y
: t
r
ansl
a
te more par
a
mete
r
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan C
a
rpenter
smdb
.
py: guess the p
a
rame
t
e
r na
m
es even if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan
Carpenter
smdb: don't
c
rash i
f
t
h
e parameter names aren
'
t known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n Carpenter
flow:
f
ix f
a
ke env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Ca
r
p
enter
b
alanced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
Carpenter
flow:
a
d
d
in
i
t
_
f
a
ke_env()/end_f
a
k
e_
e
nv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpent
e
r
s
tored_conditions: store as
e
xpression
p
oi
n
ters i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Da
n
Carpenter
flow
,
db: fix how inline function assi
g
nments
are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
flow: remove som
e
buggy unus
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpent
e
r
flow: fix init
i
al
i
zation
of
neste
d
struct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n
C
a
r
p
enter
db: bu
i
ld an in
d
ex
on the para
m
eter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rp
e
nter
m
ath: imp
r
ov
e
MO
D
han
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
r
penter
param
e
t
er_names: stor
e
parameter names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reforma
t
cal
l
_inf
o
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
Makefile: use quiet link to link sm
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
rpent
e
r
sta
t
es: fix handling switches inside condi
t
ions (fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
states: split
u
p
date_fake_
s
tree_with_merged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
type
_
v
al: sma
l
l tweak fo
r
a
rra
y
s
and
c
omplicated
l
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpen
t
er
e
xtra: ha
n
dle indirec
t
io
n
like
"
p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpente
r
extra: handl
e
MOD cond
i
tions
l
ike
"
if (a % 4)
{" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
penter
modification_hooks
:
re
m
ove unused indirect modificati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
enter
validation/skb3: de
l
ete some accidental deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Car
p
e
nter
user
_
data
2
: don't set param
e
ters to user_
d
at
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpen
t
er
u
se
r
_data2
:
han
d
le skb->data
mat
h
a little be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpent
e
r
user_data2: re-w
o
rk handling of skb
-
>data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse
_
c
a
ll_
m
a
th: work aro
u
nd fo
r
loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
leaks:
d
on't compl
a
in if we
o
verw
r
ite NULL
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
free: ignore
impossible c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
shift_to_zero: make t
h
e
error me
s
sage mor
e
informa
t
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
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
an Carpen
t
e
r
smdb
.
py: p
r
int
th
e
return
_
implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
d
b/
f
i
x
u
p_kernel
.
sh
:
ignore do_loop_readv
_
writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ext
r
a: set hard
m
ax if a
f
unction
is calle
d
w
i
th
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
e
x
tra: fix ha
n
dling of known conditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carp
e
nt
e
r
param_li
m
it: don'
t
set
s
ome unchanged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: prevent slow downs splitting returns ap
a
rt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpente
r
d
b
:
set par
s
e_error if th
e
SQL fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_s
e
t: handl
e
if th
e
pare
n
t wa
s
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
buf_size: fi
x
ty
p
e_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Car
p
e
n
ter
db:
f
ilter pointer calls by
function signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: revert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
a
s
s
ign_vs
_
c
omp
a
re:
w
arn about "if (foo = &bar
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
type: fi
x
t
ype_bits
(
) for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpen
t
er
shi
f
t_to_ze
r
o: do a s
m
al
l
clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: remove a bla
n
k line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Car
p
enter
d
b: s
p
l
i
t return st
a
tes
by null vs non-null
p
ara
m
ete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next