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
flow: set ->parent for expression statements
2016-06-14
Dan C
a
r
p
ente
r
f
low: set
->p
a
rent for expression
s
t
a
te
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
arpenter
he
l
p
e
r, untrack
e
d_param: move
t
h
e int_stack to smatc
h
_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
ranges: fix
c
asti
n
g to b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
flo
w
: set position at the
start o
f
the function correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Ca
r
p
enter
function_
h
oo
k
s: fix a typo in debug ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
impl
i
ed: tw
e
ak ti
m
eout
i
n s
e
parate
_
a
nd_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpenter
function_hooks
:
fix a
t
ype i
s
sue (aff
e
cts ranged function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
function_hooks:
f
ix d
b
and ra
n
ged_
f
uncti
o
n
s
i
ntegrat
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
re
t
u
rn_fixes: hack a
r
ound down_interruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Carpe
n
ter
d
b/kernel
.
r
e
t
u
rn_fixes: add scn
p
rintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n
C
arpenter
func
t
i
on_hooks: fix
loc
k
ing false
posi
t
ive
s
when
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
ext
r
a: fix me
m
set() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
impl
i
ed: d
e
le
t
e unused func
t
ion sm_state_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpe
n
te
r
ptrlist: use af
t
er free in l
a
st_p
t
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
f
l
o
w: type is
s
ue handli
n
g swit
c
h state
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
ranges: fix type issue in remo
v
e_
r
ang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Ca
r
penter
conditio
n
s: si
l
enc
e
valgrind warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Da
n
Carpenter
fl
o
w
:
set final_p
a
ss i
f
we
have to bai
l
on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
t
e
r
e
x
t
ra: expo
r
t ge
t
_other_nam
e
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
t
er
impos
s
i
ble: add is_impossib
l
e_path() t
o
smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpent
e
r
db: d
o
n't
crash
g
e
ne
r
ating SQL for invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
e
x
tra: f
i
x bu
g
handling untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
struct_assi
g
nment:
i
gnore certain types of
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpen
t
er
extra: deferen
c
es in fake assignme
n
ts don't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
Carpe
n
ter
ex
t
ra: handle fake
a
s
signments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
an
C
arpenter
i
m
plied: im
p
rove over
w
rit
e
_states_
u
sing_pool(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpenter
implied: add a co
m
ment explaining h
o
w
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpe
n
ter
function
_
ho
o
ks
:
check PA
R
AM_LIMIT implications all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
D
an Carpenter
f
u
nction_hooks: integrate call_implies
h
ooks wi
t
h
the
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carp
e
nte
r
s
l
ist: mangle t
h
e line number
o
f merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
siz
e
of
_
param:
r
emove read_
r
om()
f
r
o
m
check
e
d f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
cre
a
te_db: delete some
duplicate entrees from function
_
ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_abso
l
ute: don't store
whole ran
g
es for no
r
e
a
son
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n C
a
rpen
t
er
struct_assignment: pul
l
split_fake_
e
xpr() into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
db
:
limit the a
m
o
un
t
o
f
data in
t
ype_
v
al
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
n
t
er
e
xtra:
h
a
ndle if (IS_ERR(foo[bar]
)
) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
db:
i
ntroduce get_pa
r
am_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
im
p
lied: han
d
le
chun
k
s i
n
switch statem
e
nts li
k
e switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
e
xtra
:
don't mark all arrays as
derefe
r
e
nced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
helper: creat
e
a
n
al
l
oc_sta
t
e_expr() helper funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
ar
p
enter
wh
i
tespace: re
m
o
v
e some bla
n
k
lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: re
m
ove unused f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carp
e
n
t
er
locking: add more imp
o
ssible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: remove
some extra s
e
m
i
-c
o
lons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
ranges
:
remove an unne
e
ded initialize
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
returns: p
r
ovide a split out list of all
t
he re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
retur
n
s: add
get_al
l
_
returns_states() fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nter
mov
e
f
r
eeing to A
F
TER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
db: constify some pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: a
d
d mi
s
sing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpe
n
ter
ex
t
ra: don't ov
e
r
write non-nul
l
pointers because
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
e
n
ter
ext
r
a: fix
h
andli
n
g of "if (foo
&
0
x
3210
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Ca
r
pe
n
t
e
r
param_set: intro
d
u
c
e param_was_se
t
_va
r
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossible
:
h
a
n
d
l
e switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpen
t
e
r
im
p
ossible:
d
on't
o
ve
r
write the i
m
possible
state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpen
t
e
r
impli
e
d
:
h
andle implications
for if
(({whateve
r
;
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan Ca
r
penter
slist: create
i
s_leaf() function whic
h
is the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
Carpenter
r
anges: u
s
e signed type for negative ints less t
h
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n
C
a
rpe
n
ter
db/kerne
l
.
return_fixe
s
r
e
gma
p
_bulk_rea
d
(
) retu
r
ns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Carpenter
ran
g
es: fix
a
bug in rl_inv
e
rt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
sv
a
l, ty
p
e: ma
k
e some functions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implie
d
:
fi
x
an
o
l
d implica
t
ion bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an Carpenter
implie
d
:
re
m
ove unused ad
d
_pool()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
i
mplied
:
pas
s
sm_states
i
n
s
t
ead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
t
er
implied: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impli
e
d
: update some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
nter
impli
e
d:
cre
a
te fake
i
m
p
l
i
ca
t
ion history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Car
p
enter
stat
e
s: tweak
deb
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan C
a
rpenter
s
tates: pri
n
t debug outp
u
t
in __s
e
t_true_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carp
e
n
t
er
i
mplie
d
:
overwrite smat
c
h
_extra using implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
e
r
ranges,
e
xtra: move and expor
t
split_comparison_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
slist: remove unuse
d
_
_
set_true
_
false_i
f
_not_
a
lready
_
se
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpent
e
r
d
b
: make a file
kernel
.
r
e
t
urn_fixes for updat
i
ng ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
f
l
ow: m
e
r
g
e
multiple ca
s
e statements
i
n
a row toge
t
her
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
hel
p
er: us
e
.
instead of
-> fo
r
more v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
pa
r
a
m
_s
e
t:
r
emove an u
n
nneede
d
v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
extra: p++ should clear the states for *p or p->f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
math: handle
_
_builtin_types_com
p
a
t
ible
_
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
e
n
ter
flow: split case statemen
t
handling int
o
i
ts own
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: r
e
place
__ge
t
_implied_values() wit
h
get_
a
bsolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nter
f
low: f
i
x bug i j
u
st intro
d
uce
d
wit
h
known switch statem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debu
g
:
print the max size for
_
_
smat
c
h_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: i
n
c
l
ude ->possible an
d
abs
o
lu
t
e
in _
_
smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arp
e
nter
implied: remove unnecessary initialization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
p
a
r
a
m_cleared: strip away casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
ra
n
ges: make filter
_
top_
r
l
(
)
t
a
ke a range_
l
ist filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
f
low: shuffle ca
s
e st
a
tement handling
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
implied: split
t
he __implied
_
case_stree() i
n
to
t
w
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpente
r
extra: white space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nt
e
r
ima
g
inary_absolute
:
it's like sma
t
c
h
_extra
.
c for impossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Car
p
enter
im
p
lied:
remove some duplicate
l
in
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rpe
n
ter
extra: rem
o
ve an obsolete
c
omment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
ar
p
enter
extra: split handle_compar
i
so
n
()
into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: igno
r
e
u
n
r
eachabl
e
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
ar
p
en
t
er
db: split returns in
t
o
N
UL
L
and non-NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpent
e
r
db: remove poi
n
tl
e
ss retur
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
an Carpe
n
ter
db: sm
a
ll cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carp
e
nter
hooks: renam
e
CALL_HOOK_AFTER to C
A
LL
_
HOOK_AFT
E
R_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untra
c
ked_param
:
handle inline calls be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
f
l
ow: doen't rese
t
loop_count for i
n
line funct
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next