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
Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_funcs item
2017-05-17
Sami
K
e
rola
Mak
e
file: remove SMATCH_DA
T
A s
m
a
tch_data/k
e
rnel
.
balance
d
_fun
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan
Carpente
r
helper: fix
g
et_member_
n
ame(
)
handl
i
n
g
of unions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
D
a
n Carpent
e
r
return_to_param:
long to short
s
hou
l
d ne
v
er return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan
C
arpenter
slist:
r
eve
r
s
e
t
he slist order in a
w
ay that
no o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
ex
t
ra
:
make
set_extra_mod_helper() void and static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
arpenter
extra:
make
set
_
extra
_
mod()
a void functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carp
e
nter
extra: make s
e
t_extra_expr_mod
(
) a voi
d
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
g
e
neric_data: fix up some pro
j
ec
t
re
l
ated thin
g
s for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpent
e
r
smdb
.
py: fi
x
summ
a
ry
(
it was totally
broken
bef
o
re)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan C
a
rpe
n
ter
lin
k
s,
var_sym: al
l
oca
t
e fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Da
n
Carpente
r
modific
a
tio
n
_hooks: don't save
s
o m
u
ch dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
D
an Carpe
n
t
er
r
e
turn_to_para
m
: do
n
't m
o
dify memory
o
n the stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
e
xtra:
handle i
n
te
g
er ov
e
rflo
w
s better
for
"
int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
build_ge
n
eric_data:
s
everal improvements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
arpen
t
er
tes
t
_gene
r
ic
.
sh: like te
s
t_ke
r
n
el
.
sh but for g
e
n
e
ric
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpent
e
r
generic
_
data
:
rename to m
a
tch buil
d
_kernel_da
t
a
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
gener
i
c_
i
nfo:
a
l
low people to build a specifi
c
d
irectory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreacha
b
le: don't comp
l
a
in
a
bout static declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
index_
o
verflow: sile
n
ce s
o
me glibc fal
s
e
p
ositi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
pr
o
j
e
ct
:
create a way to
ge
n
er
a
te smatch_data for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpen
t
e
r
c
ore: impr
o
ve Function too
hairy c
a
lculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpent
e
r
helper: don't crash so much on in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpen
t
er
comparison: fix som
e
memory l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/buil
d
_
e
arly_i
n
dex: build an
o
ther ind
e
x
o
n pa
r
ameter_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
d
b
/kernel
.
ret
u
rn_fixes: a
t
o
m
ic_rea
d
() returns the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
ente
r
deb
u
g
.
c: add some new (no
t
very useful) featu
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
buf_comparison
:
fix
b
uild and
a
dd make new code functio
n
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rp
e
nter
free: fix
b
uild error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
err_ptr_deref:
make err_ptr_min/m
a
x
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pente
r
f
r
ee: do
n
'
t co
m
plain when people do frob(&freed_variable
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
k
e
rnel_p
r
intf: fix %
p
G t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Car
p
enter
l
og
i
cal_i
n
s
tea
d
_of_b
i
twi
s
e: silence some false posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
unuse
d
_ret: make warnin
g
messages con
s
iste
n
t wit
h
everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
er_d
a
ta2:
tag all unio
n
members
a
s untru
s
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
user
_
data
2
: if us
e
rs
c
an on
l
y
s
pecify
a
single value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpent
e
r
extra: u
s
e long to
s
h
ort mappings for
P
A
R
AM_LIMIT a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_d
a
ta2: handle "if (
u
ntrusted != trusted)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpen
t
er
buf_c
o
mpari
s
on: clear arra
y
<->
size li
n
k
s better on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: record if w
e
pass
an ARRA
Y
_
S
IZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
return_to_pa
r
a
m
(mappings): map r
e
gular a
s
signme
n
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n
Ca
r
pe
n
ter
user
_
data2:
h
a
n
dle
i
nl
i
nes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpent
e
r
m
a
th: pre
f
er re
a
l
ab
s
olutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpen
t
er
m
odific
a
tion_hooks: use long to shor
t
mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n C
a
r
p
enter
ret
u
r
n
_
t
o_par
a
m
:
handle "return get_foo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n Carpe
n
ter
e
x
press
i
on: fix exp
r
_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
f
un
c
tion_hooks:
only add comparisons when ne
e
d
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
f
low: fix so
m
e parent transition
f
a
l
l
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
o
w: set parent statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
c
ore: add expr_get/set_par
e
nt_stmt()
accessor funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
flo
w
: crea
t
e
a
n ac
c
essor
met
h
od expr_get_pa
r
ent_ex
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w: rename set_pare
n
t
_
stmt() => stmt
_
se
t
_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow:
r
ename se
t
_p
a
r
e
n
t_exp
r
(
)
=>
expr_set_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpen
t
er
r
eturn_to_param: Use the DB return
str
i
ngs like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
t
er
smdb
.
py: translate more parameter n
a
mes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n Carpen
t
er
s
m
d
b
.
py:
gu
e
ss t
h
e parame
t
er
name
s
even if the f
i
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpent
e
r
s
mdb: don't cr
a
sh i
f
the
par
a
meter na
m
es aren't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpente
r
flow:
fix
f
a
ke env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n
Ca
r
penter
ba
l
anc
e
d: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: add init_
f
ake_env(
)
/end_fake_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_
c
onditions: store as expression
p
ointer
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 inline function assignments
a
re handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
C
a
rpenter
f
low:
remo
v
e some b
u
ggy unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: fix i
n
itialization of nested structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
db: bui
l
d an in
d
ex on the p
a
rame
t
er names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math: improve MOD
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
test_kernel
.
sh: add config option
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monak
h
ov
M
a
kefile: Insta
l
l
scri
p
ts to /usr/sha
r
e/sm
a
tc
h
/smat
c
h_scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
m
i
try
Monakho
v
Makefile:
mak
e
inst
a
l
l p
r
efi
x
c
onfigurable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
p
a
r
a
meter
_
names: store pa
r
am
e
ter
names in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reformat
c
all_
i
n
f
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
Makefile: use qu
i
et link to link smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
sta
t
es: fix
h
andling switches inside conditions (fake_cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
states: split update_
f
ake_stree_with_merged()
a
nd add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
type
_
val: sma
l
l tweak fo
r
arra
y
s
a
nd complicated
lvalu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
penter
extra: ha
n
dle indirection li
k
e "p
= &foo;
*p
=
42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra: handle M
O
D
conditions lik
e
"if (a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpent
e
r
modifi
c
a
tion_hooks:
remove
u
nused indirect modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
e
n
ter
validation/
s
kb3
:
delete some accidental de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n C
a
rpenter
u
s
er_data2: don't set pa
r
amet
e
rs
t
o use
r
_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n C
a
rp
e
nter
user_data2: handl
e
sk
b
->data
math a
l
ittle
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpe
n
t
er
us
e
r_data2: re-work handl
i
ng of sk
b
->
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
pars
e
_call_math: work arou
n
d for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
l
e
aks: don't c
o
mplain if
w
e
overwrite
N
ULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
free:
i
gnore impossi
b
l
e
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpent
e
r
shift
_
to_zero: make the error message
more infor
m
a
tive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
te
s
t_bit: add
test_and_clear_bi
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
s
mdb
.
py: print th
e
return_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpe
n
ter
db/fix
u
p_kerne
l
.
sh:
ignore do
_
loop_
r
eadv_wr
i
tev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ext
r
a: set hard max if a function
is called wit
h
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
extra: fi
x
handling of known conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
p
a
ram_limit:
d
on't se
t
some unchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
arpe
n
ter
db:
pr
e
vent sl
o
w downs splitting returns apar
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: set parse_error if the SQ
L
fail
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan
C
arpenter
para
m
_
set: handle if
t
he parent w
a
s set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n Carpent
e
r
buf_size: fix type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Ca
r
pe
n
ter
d
b: fi
l
t
er poi
n
ter
ca
l
ls by
f
unction si
g
natures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
ter
implied:
revert "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpen
t
er
assign_v
s
_compare: warn abou
t
"
i
f
(
fo
o
= &bar)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
type
:
fix type_bit
s
() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
shift
_
to_zero: do a small clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next