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/fixup_kernel.sh: hack handling of _parse_integer()
2017-08-15
Dan
C
arpenter
db/fixup_kernel
.
sh: hac
k
h
a
ndling
of _
p
a
r
se_integer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n Carpenter
db
/
fixup_kernel
.
sh: ign
o
re
m
ore
_
_
vfs_read/wri
t
e
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
Dan
C
arpenter
gen_sizeof_param
.
s
h
: sa
v
e the retu
r
n type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpe
n
ter
kernel
.
sizeof_pa
r
am
.
remove:
i
g
nore skb_pull()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n Ca
r
pen
t
er
smatch_dat
a
:
f
ix parsing of
<project>
.
siz
e
of_
p
ara
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n
Carpenter
e
xtra: do more sim
p
le algebra
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpe
n
ter
mat
h
:
f
ix ha
n
dling of "
(
ch
a
r *)&foo->bar - (char *
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpenter
s
match_data: acquire_group() doesn't return NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n Car
p
enter
signed_integer_overflow_check: if
(foo + bar < foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-10
Dan Carpent
e
r
extra
:
don't save unneeded stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-10
Dan Car
p
e
nter
math: l
e
t user_d
a
ta handle binops if it
w
ants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-10
D
an Carpenter
mat
h
:
h
andle this (<t
o
o com
p
l
icated math> & 0
x
ff)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-10
Dan Carpe
n
ter
math: use
c
omparisons to handle subtraction better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-10
Dan C
a
rpen
t
er
math:
handle offset ca
l
culation bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-03
Dan C
a
rpenter
c
ond
i
tions: introduce
get_conditions()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-03
Dan Carpenter
c
omparis
o
n: fi
x
match_inc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-03
Dan Car
p
enter
comparison: fix merge_compari
s
o
n
() for &undefine
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-03
Dan Carpent
e
r
extra: don't call c
r
eate new states for unknown values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-08-01
Dan Carpenter
db/kernel
.
return_fix
e
s: add a couple to_er
r
no(
)
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-07-28
Dan Carpenter
f
reeing_devm: passing devm_ allocated m
e
mory to kfree
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-07-28
Dan
C
a
rpenter
kernel_printf:
a
dd support for
%
pOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-07-25
Dan Carpenter
db: d
o
n't
split NULL/non-NULL
r
eturns for reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan
Carpenter
db: fix some uni
n
i
t
i
alized
v
ariable b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan
C
ar
p
enter
flow: stor
e
__next/cur/prev_stmt before pars
i
ng inline
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
D
an Car
p
enter
f
l
o
w:
cleanup state
backup for i
n
l
ine functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
D
a
n C
a
rp
e
nter
math:
t
w
e
ak
h
ow
imp
o
ssi
b
le states are hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan Ca
r
pent
e
r
rang
e
s:
make sv
a
l_too_big
(
)
more accurate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan Car
p
en
t
er
kernel: ERR_PTR() basical
l
y only
retu
r
ns neg
a
tives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
extra: don't
overwrite
the implications for useless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-19
Dan Car
p
enter
db
:
fi
x
a type issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-18
Dan
Carpenter
type_val: cas
t
assignments
t
o th
e
cor
r
ect typ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
D
an Carpenter
helper: fix g
e
t_member_name(
)
han
d
ling
of unions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpente
r
return_to_param:
l
ong to short should ne
v
er
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carp
e
n
t
e
r
s
lis
t
: revers
e
t
h
e slist order in
a
w
ay that no one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n
C
arpente
r
ex
t
ra: make set_extra_mod_
h
elper(
)
v
o
i
d
and static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Da
n
C
a
rpenter
ext
r
a: m
a
ke
s
e
t_extra_m
o
d() a
voi
d
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
an Carpent
e
r
extra: make set
_
e
x
tra_expr_mod() a void function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
an Carpent
e
r
generic_data:
fix
up
some pro
j
ect
related things for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n Carpenter
smd
b
.
p
y
: fix summ
a
ry (it was tota
l
ly broken before
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
D
a
n Carpenter
links, var_sym: allocate fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
modification_hooks: don't save s
o
much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
D
an Carpenter
return_to_
p
a
ram
:
don
'
t modi
f
y memo
r
y on the stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Da
n
Carpe
n
t
er
ex
t
r
a
: handle int
e
ger overflows better f
o
r
"
i
nt_fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
b
u
ild_gene
r
ic_data: several impro
v
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpe
n
ter
test
_
generic
.
sh: like test_kernel
.
sh but for generic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Ca
r
pen
t
er
gen
e
ric_data: rename to match bu
i
ld_kerne
l
_dat
a
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
generic_info: allo
w
pe
o
ple to build a s
p
e
cifi
c
directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpente
r
unreachab
l
e: don't comp
l
ain
about static declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
ind
e
x_ov
e
rflow:
s
ilence
some glibc false
p
ositi
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
projec
t
: create a wa
y
to
g
e
n
er
a
te smatch_data fo
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
a
rpenter
core: improve Function to
o
h
airy cal
c
ulation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
helper: don't cra
s
h so
m
u
c
h on in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
compar
i
son: fix some memory
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carp
e
nter
db/build_early_in
d
e
x
: build
another ind
e
x
on
p
a
ramet
e
r_
n
ame
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/
k
ernel
.
r
e
turn_fixes
:
atomic_rea
d
() r
e
t
urns the
v
alue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
d
ebug
.
c:
a
dd som
e
new
(not
v
ery useful) f
e
atur
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
buf_co
m
p
a
r
ison: fix
b
uild and add make new code funct
i
onal
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
free: fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
err_pt
r
_deref: m
a
ke
err_p
t
r_min/max static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
ree
:
don't complain when people d
o
frob(&free
d
_
v
a
r
iab
l
e)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Car
p
enter
kernel_printf: fix
%
pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
logical_instea
d
_of_bitwise: silence
s
ome fal
s
e
p
ositive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unused_
r
et: m
a
ke warn
i
ng
m
essage
s
consistent with e
v
eryone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
us
e
r_data2
:
tag all union m
e
mbe
r
s as untrusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rp
e
nter
user_data2: if users
c
a
n
only specify a single
val
u
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpe
n
ter
e
x
tra: use long t
o
s
hor
t
ma
p
ping
s
for PARA
M
_LIMIT
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
user_d
a
ta2: hand
l
e
"
i
f (untrusted !
=
trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: c
l
ear
a
rray <-> size
links better on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: record if we pas
s
an ARRAY
_
SIZE
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
r
eturn_to_p
a
ram (mappin
g
s):
m
ap regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n
C
a
rpenter
user_data2: handle
i
nlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
an Carpe
n
ter
math: pre
f
er
re
a
l absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
pent
e
r
modif
i
catio
n
_
h
oo
k
s: use l
o
ng to short mappi
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
return_to_para
m
: handle "return get_fo
o
(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Car
p
en
t
er
expr
e
ss
i
on:
fix expr_get_
p
are
n
t
_
st
m
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
f
u
nction_hooks: o
n
l
y add compari
s
ons wh
e
n needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpe
n
ter
flow: fix som
e
p
a
ren
t
transitio
n
f
a
llout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
flow: set parent stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
r
p
ent
e
r
core: a
d
d ex
p
r_get
/
set_
p
arent_stmt() accessor funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpent
e
r
flow: create an
accessor met
h
od expr_get_pare
n
t
_
expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpenter
f
l
ow: rename set_par
e
nt_st
m
t
() => stmt_set_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
f
l
ow: rename set_parent_expr() => expr_
s
et_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n
C
arpent
e
r
r
e
turn_to_p
a
ram: Use
the DB ret
u
rn strings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
Carpenter
smdb
.
py: translate more p
a
rameter nam
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan C
a
rpenter
smdb
.
py
:
guess the parameter
names ev
e
n if the file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: don't crash if the pa
r
a
m
eter name
s
a
r
e
n
't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpenter
flow: fix fak
e
env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Car
p
enter
balanced: delete
t
his chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpen
t
er
flow: add init_fake_env()/end_fake
_
e
n
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
st
o
red_conditio
n
s: st
o
r
e a
s
e
x
p
ress
i
on pointers ins
t
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan
Carpenter
fl
o
w, db: fix how in
l
ine function assignm
e
nts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
f
low: remove some buggy unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: fix initi
a
li
z
ation
of nested structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
d
b
:
build an inde
x
on the parameter
na
m
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math: improve MOD handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
Carpenter
paramet
e
r_n
a
m
es: st
o
r
e
p
a
r
a
meter
names in
the
D
B
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpent
e
r
smdb
.
py: r
e
format call_in
f
o
o
u
t
pu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
Mak
e
file
:
use quiet
l
i
n
k to l
i
nk smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: fix handling switches insid
e
conditio
n
s (f
a
ke_c
u
r_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arp
e
nter
st
a
tes: split update_fak
e
_stree_with_merged() and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next