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
return_to_param: don't modify memory on the stack
2017-05-11
Dan Carp
e
nter
return_
t
o
_
p
aram: don't modi
f
y memo
r
y on the st
a
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan
Carpent
e
r
extra: handle
integer overflows better fo
r
"int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
build
_
generic_d
a
ta: seve
r
al improvements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
C
a
r
penter
test_generic
.
sh
:
li
k
e t
e
st
_
kernel
.
sh but for generic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carp
e
nter
generic_data: rename to
m
atch
b
uild_kernel_d
a
ta
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
generic_in
f
o:
al
l
ow people to build a spe
c
ific directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
penter
unr
e
achable: don
'
t
comp
l
ain
about s
t
a
t
ic declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
index_overf
l
o
w:
silence some glib
c
fals
e
positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
pro
j
ect:
c
reate a way
t
o
g
enerate s
m
atch_data for
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
core: improve Function too h
a
iry c
a
lculat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
helper: don't crash s
o
much
o
n invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
comparison
:
f
ix some memory lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
penter
db/build_early_ind
e
x:
b
uild another index on parameter_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
db/kernel
.
return_
f
ixe
s
: atomic_read()
r
e
t
urns the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
de
b
u
g
.
c:
a
dd some new (
n
o
t very
u
seful) features
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
buf_comparison: fix buil
d
a
n
d
add
m
a
k
e new code functio
n
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an
Carpe
n
te
r
f
ree: fix bu
i
l
d
e
r
ror
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
err_ptr_deref: make er
r
_pt
r
_min/max
s
t
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
free:
d
o
n'
t
co
m
p
l
ain whe
n
people do
f
rob(&freed_
v
ariable
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
k
ernel_printf: fix %pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rp
e
nter
logical_inst
e
ad_of_bitwise: s
i
lence some
false p
o
siti
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
u
n
used_ret:
make warning
m
essages
con
s
istent with ever
y
one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
user_data2:
t
a
g
all union memb
e
rs
as u
n
trusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pen
t
e
r
user_data2: if users
c
an
o
n
l
y
speci
f
y a sing
l
e value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Ca
r
pent
e
r
e
xtra: use long
t
o
short map
p
i
ngs fo
r
PARAM_LIMIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Ca
r
pen
t
e
r
user_data2
:
handle "if (untrust
e
d != trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
b
uf_comparison: clear
array <
-
> size link
s
b
e
tter on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
b
u
f
_com
p
arison: record if we pass an ARRAY_SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
retur
n
_
t
o
_param (
m
appings): map regular as
s
ignme
n
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
u
s
e
r
_data2: handle inlines
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Car
p
ente
r
math: prefer
real absolute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpenter
modification_hooks: use lo
n
g t
o
short m
a
ppin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carp
e
n
ter
re
t
urn_to_para
m
: handle "ret
u
rn get_foo
(
b
a
r)
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpen
t
er
expression:
f
i
x expr_ge
t
_pare
n
t
_stmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carp
e
nter
func
t
ion
_
hooks: only ad
d
comparis
o
ns whe
n
n
eeded
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
nter
f
l
ow:
fix some parent transition f
a
l
lo
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
p
e
nter
f
l
ow:
s
et parent sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
core
:
add ex
p
r_ge
t
/
set_pa
r
ent_stmt() acc
e
ssor fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Car
p
e
nter
flow: c
r
eate an accessor method ex
p
r_get_
p
aren
t
_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an C
a
rpen
t
er
flow: rena
m
e set_parent_stmt() => st
m
t_set
_
p
a
r
ent_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
f
l
o
w: renam
e
set_parent_ex
p
r() => exp
r
_set
_
parent_ex
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
r
e
t
u
r
n_to
_
p
a
ram: Use th
e
DB retu
r
n strings
like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n Car
p
enter
sm
d
b
.
py:
t
ranslate mo
r
e para
m
eter n
a
m
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
p
y: guess the
p
ar
a
met
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 if the parameter names aren
'
t known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpen
t
er
flo
w
: fix f
a
ke env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
ba
l
anced: delete this
c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flo
w
: add init_fake_env()/end_fake_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_condition
s
: store as expressio
n
point
e
rs instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow,
d
b: fix how
inlin
e
function assignm
e
nts are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: remove so
m
e
bu
g
gy un
u
sed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
f
low: fix
i
n
i
tialization
o
f nested
s
truc
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpenter
db: bui
l
d
an index on th
e
param
e
ter nam
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math: i
m
prove MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry
Monakhov
test_kernel
.
s
h: a
d
d confi
g
optio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry M
o
nakh
o
v
Makefile: I
n
s
t
all scripts
to /usr
/
share/smatch/s
m
atch_script
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makefile: m
a
k
e
i
n
stall prefix configurable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
e
r
parameter_names: store param
e
ter na
m
es in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
er
sm
d
b
.
py: reformat call_
i
nfo outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
Makefile: use quiet link
t
o
l
ink smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Ca
r
penter
sta
t
es: fix hand
l
ing switches inside conditi
o
ns (fake_cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
ar
p
enter
states: s
p
lit upd
a
te_fak
e
_stree_with_merg
e
d
(
)
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carp
e
nt
e
r
type_
v
al: small tweak for arrays and complicated lvalu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: h
a
n
dle ind
i
rection 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 conditions like "if (a % 4)
{
" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
Car
p
en
t
er
modi
f
ication_hooks: rem
o
ve unused indirect
modif
i
cati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Carpen
t
er
validation/skb
3
: d
e
let
e
so
m
e accidenta
l
debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Car
p
ente
r
user_d
a
t
a
2: don't se
t
parameters to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
p
enter
user_
d
ata
2
: han
d
le skb->data mat
h
a litt
l
e be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
user_d
a
t
a2: re-work handling of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
p
a
r
se_call
_
math: work
around for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arpenter
l
eaks:
don't complain if
w
e over
w
rite NU
L
L pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
free: ignore impossible cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Ca
r
penter
shift_to_zero: make the
e
r
ror message mo
r
e inform
a
tive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
te
s
t_bit: add test_
a
n
d_
c
lear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
smdb
.
py:
p
rint
t
h
e return_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
db/fixu
p
_ke
r
n
e
l
.
s
h: ig
n
ore do_loop_re
a
dv_writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
e
x
tra
:
set hard
max if a
f
unction is c
a
ll
e
d wit
h
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
e
xtra: fix han
d
l
ing
o
f
know
n
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
ent
e
r
p
ar
a
m_limi
t
: don't set s
o
me unchanged li
m
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpen
t
er
db: prevent
slow downs s
p
litt
i
ng ret
u
rns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpent
e
r
db: set
par
s
e_er
r
o
r if the
S
QL
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
D
an Car
p
enter
param_
s
et:
h
andle if the parent
w
a
s
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
b
uf
_
size: fi
x
type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Car
p
enter
db: filter pointer calls by functi
o
n signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
implied: rever
t
"
tiny speed
u
p"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
C
arpent
e
r
as
s
ign_vs_co
m
pare: warn about "if
(foo = &b
a
r) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
ente
r
type
:
fix type_
b
its
(
) f
o
r arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
er
shift_
t
o_zero:
d
o
a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: remove a blank lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
db: split return
states by null
v
s n
o
n-nu
l
l parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra
:
fil
t
er PAR
A
M_VALUEs
w
it
h
both
extra and real_
a
bsolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
m
ath: handle
-
f
oo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpent
e
r
h
e
lper: introduce get st
r
uct a
n
d me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpent
e
r
impl
i
ed: tiny speed u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nt
e
r
imp
l
ied: smal
l
cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
range
s
: handle bitwise AN
D
ope
r
a
tions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
C
arpen
t
er
real_ab
s
olute: introduce get_real_absolute_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl: add a short cu
t
for when ther
e
are no sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type_val: handle |
=
t
y
pe ass
i
gnment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next