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 position at the start of the function correctly
2016-03-24
Dan Car
p
enter
db: revert a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpenter
real_absolute: turn this c
o
de
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an Carp
e
nt
e
r
err_
p
tr_deref: c
o
mplain
about
d
erefere
n
ces insi
d
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
r
eturn_efault
:
complain about "return copy_from_user();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
nt
e
r
buf_s
i
z
e: save size of fixed array
s
t
h
at ar
e
return
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
modificati
o
n_hooks: remove a
n
u
nneeded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpe
n
ter
slist: ma
k
e m
e
rge_states() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
C
a
rpe
n
ter
state
s
:
m
ake debug output m
o
r
e
consi
s
tent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
hooks:
p
ut each type
of hook
i
nto it's own array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
.
gitign
o
re: ad
d
.
gdb
_
history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
enter
stored_con
d
itions: whi
t
e space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
math: prefer real_absolute
_
value
t
o the
db val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpen
t
er
im
p
lied: remo
v
e a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
condit
i
o
ns: b
u
g in con
d
it
i
on assignmen
t
s like foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
im
p
ossible: handle assignment condit
i
o
ns bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
string_condition: don't complain about TRACE_E
V
ENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
function_hooks:
h
andle returs that d
o
n't set a sta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
db:
don't use
s
plit_su
c
cess_fa
i
l if it doe
s
n
't return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Car
p
ent
e
r
d
b
:
fix bug i
n
print
_
struct_membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
p
e
nter
db: for im
p
ossib
l
e retur
n
s j
u
st do th
e
simpl
e
st t
h
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nter
extra: use
real_abs
o
l
ute values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
C
a
rpenter
extra
:
improve array
handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpen
t
e
r
smatch: add
a
--time
option
t
o print how l
o
ng
s
m
a
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
t
er
flo
w
: handle "*p
+
+ =
foo" better
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Ca
r
penter
fl
o
w
:
f
i
x inside_loop()
w
ith inline funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
Da
n
Carpenter
param_se
t
: hand
l
e array assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan C
a
rpenter
implied: remove b
u
ggy cod
e
for workin
g
around the old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpent
e
r
db/fixup_ker
n
el
.
sh: add kmalloc_order_trace()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan
C
a
r
penter
db/fixup_kernel
.
sh: ignore a
lot of PCI errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
enter
d
a
t
a
/kernel
.
clear
s
_
a
rgume
n
t: ad
d
copy_
u
ser_gene
r
ic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db:
s
plit positive from negativ
e
retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpe
n
t
e
r
e
x
pressions:
i
ntroduce com
p
are
_
e
xpressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n Carpenter
impli
e
d:
in
t
roduce ass
u
me(cond
i
ti
o
n)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Da
n
Carpe
n
t
er
db: handle par
a
meter fu
n
ct
i
on
pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
sta
t
es: handl
e
fa
k
e
s
list pr
o
p
e
rly when we merge tr
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carpenter
validation: add a te
s
t for ra
n
ged cas
e
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nter
conditi
o
n
s: big fak
e
state re-wo
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpente
r
avl: remo
v
e
s
ign() f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slist: introduc
e
type_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpen
t
er
conditi
o
ns: add a NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
an Carpente
r
implied: rev
e
rt not alre
a
d
y
set
change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carp
e
n
ter
extra: hand
l
e
p
ost
op increment lo
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan C
a
rpenter
type:
f
ix "strange non-value funct
i
o
n
or
a
r
ray"
w
arning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Da
n
Carp
e
nter
l
e
aks: don
'
t
reset states to themselves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
D
an C
a
rpent
e
r
flow,
c
onditions: h
a
ndle
l
abel st
a
tement
s
c
orre
c
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
D
an Carpenter
d
b: fix a
bug in splitting return
stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Da
n
C
arpenter
Revert "states:
o
nly
set
the fa
k
e_
s
tr
e
e
i
n
set_
s
t
a
te()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
loc
k
ing: don't w
a
rn ab
o
ut
i
mpossible p
a
ths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
a
rpenter
validation/sm_impli
e
d8
.
c
:
update
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
func
t
ion_hooks: use
__set
_
sm
_
cur_stree() in db_return_state
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
states:
only set the
fa
k
e_s
t
ree in set_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Car
p
enter
implic
a
tions: use stored_
c
onditions the
d
efault
f
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
implied: unbreak assig
n
_ra
n
ged_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
st
a
t
e
s: delet
e
an unu
s
ed f
u
nct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
r
p
enter
i
mplied: fix PARAM_L
I
MIT implica
t
ion
s
a
g
a
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpenter
imp
l
ied
:
f
a
ll out f
r
o
m fake_cur_stree c
h
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
an Carpenter
re
a
l_
a
bsolute:
+= and = are not the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpe
n
t
e
r
sta
t
es: __s
e
t_sm_cur_stree
(
) should not ch
a
nge the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
C
arpenter
sta
t
e
s: se
t
ting the true
s
tate do
e
s
n't se
t
the cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
penter
implied
:
f
i
x a
b
ug
h
andling PARAM_LIMIT impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpent
e
r
v
a
lida
t
i
on: add sm
_
impos
s
ible2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
nter
struct_assi
g
nment: s
i
le
n
ce a GCC f
a
lse positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
validation/sm_i
m
p
l
ied1
0
.
c: update t
h
e test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
extra: fix values_
f
it_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carpenter
Revert "
s
l
ist: make __merge_slist(
)
allocate le
s
s me
m
ory"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
penter
f
low: silence a GCC f
a
lse
p
o
sitive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validation/sm_c
o
mpa
r
e3
.
c:
u
pdate th
e
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n
Carpenter
v
ali
d
ati
o
n: updat
e
s
m
_math1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
C
a
r
penter
valida
t
ion: update sm_overflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpe
n
ter
validation/sm_inline3
.
c
:
r
emove ac
c
i
d
ental
include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpen
t
er
valid
a
tion: update a couple compare tests and
make
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
C
a
rpenter
validation
/
sm
_
buf_size
6
: us
e
corr
e
ct element
cou
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validat
i
on: update sm
_
array_ove
r
flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an
C
arpen
t
er
m
emcpy_overflo
w
: ignore s
o
me struct typ
e
s w
h
ich cause
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Carpenter
m
emcpy_ov
e
rflow:
h
andle variable length structs
c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
implied: use i
m
plications f
r
om
function conditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
function_h
o
oks: don't parse
c
omparison c
o
ndit
i
o
ns twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
t
e
r
conditions: set the parent expression when
p
arsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carpenter
flow: rename set_par
e
nt() to set_p
a
rent_e
x
pr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
prece
d
ence: fi
x
some f
a
l
se p
o
s
i
tiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
kernel_pr
i
ntf: ignore
%pg which ar
e
block p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carp
e
nt
e
r
indenting: ignore
p
re
a
n
d
post s
t
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
comparison:
f
i
x
fall
o
ut
f
rom algeb
r
a ch
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
comparison:
don't re-impl
e
ment
expr_to_chunk_sym
_
vsl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arp
e
nt
e
r
helper:
a number is
not a chu
n
k in expr_to_chunk()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hooks: don't proces
s
cond
i
tion functions twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
conditions: introduce
t
he big_
c
ondition
_
s
tack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hooks: reset st
a
t
e
s
to o
r
i
ginal stat
e
betw
e
en
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
function
_
hooks:
return earlier on
culled paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpe
n
ter
memcpy_overf
l
ow: sil
e
nce false
posi
t
ive wh
e
n destinatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpen
t
er
memcpy
_
o
v
erflow
:
i
m
pr
o
ve struct me
m
ber boundary ca
l
culation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan
Carpenter
memcpy
_
overflow: fa
l
l
bac
k
to type size t
o
ca
l
culate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
D
an Carpenter
modification_hoo
k
s
: f
i
x f
a
ll out from re
c
ent changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan C
a
r
p
e
n
ter
memcpy_ove
r
flow: ig
n
ore
1
element
arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
memcpy_
o
verfl
o
w: ha
n
d
l
e array members be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpent
e
r
index_
o
ve
r
flow: silenc
e
false positives with --sp
a
mmy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n Ca
r
pent
e
r
Mak
e
file: turn o
n
-W
n
o-switch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpent
e
r
extra: re
t
urn a bit quicker if there
a
re no true and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpente
r
e
xtra: simpl
i
f
y the code in handl
e
_comparison() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
an Carp
e
nter
extra
:
han
d
le if (offset + b
y
t
es > si
z
e) co
m
parisons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next