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: fix a bug in splitting return states
2016-02-23
Dan
Carpenter
db:
fix a bug in s
p
l
itting retur
n
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert "
s
tates: only
s
et the
fake_stree
i
n set_state()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
locking: don't warn about
impossible p
a
ths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Car
p
ente
r
validation/sm_implie
d
8
.
c:
updat
e
tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Carpe
n
t
er
function_hooks: use __set_sm
_
cur_st
r
ee(
)
in db_return
_
states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n
Carpenter
s
t
at
e
s: only set the fake_stree in
se
t
_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
implications: use store
d
_conditions
t
he
d
efault fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Car
p
enter
implied: unbreak assign
_
ranged_
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
states: delete an unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n C
a
rpenter
implied: fix PARAM_LIMIT im
p
lications again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpen
t
er
implie
d
: fall out f
r
om fake_c
u
r_stre
e
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Carpent
e
r
rea
l
_absolute:
+= and = are
n
ot
the s
a
m
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Carpen
t
er
states: __set_sm_cur_stree() shou
l
d not
c
hange the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Ca
r
penter
states: setting the
t
rue state doesn't set the cur_st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpen
t
e
r
i
mplied: fix a bug handling PARAM_LIMIT
i
m
plic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
vali
d
ation: add sm_imp
o
ssib
l
e2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
struct_assignment: silence a GCC false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validation/sm_imp
l
ied10
.
c: upd
a
te the test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
er
e
x
tra: fix value
s
_
f
it_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carp
e
nter
Revert "slist: make __merge_slist() alloc
a
t
e
l
ess
mem
o
ry"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
flow:
s
ilence a GCC f
a
lse posit
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpenter
validation/sm_
c
ompare3
.
c:
u
pdate the che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation: up
d
ate sm_math1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
v
a
li
d
ation:
update sm_
o
v
erflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
enter
validation/sm_inline3
.
c: remov
e
accidental include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Carpenter
validation: updat
e
a cou
p
le
c
o
mpare tests and
m
ake
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation/sm_
b
u
f_siz
e
6: use corr
e
c
t
element co
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n C
a
rpenter
validation: up
d
ate
sm
_
a
rray
_
overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpent
e
r
memcpy_over
f
lo
w
: ign
o
r
e
some struct types which cause
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
memcpy_o
v
erflo
w
:
h
andle v
a
riable length structs correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carp
e
n
ter
impl
i
e
d
: use im
p
lications from functi
o
n co
n
ditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n
Carpenter
fu
n
c
tion_h
o
oks: don
'
t parse com
p
a
r
ison cond
i
tions
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carpenter
co
n
ditions: set the parent e
x
pression
when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
f
l
ow:
rename set_parent() to set_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
precedence: f
i
x some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpe
n
ter
kernel_pr
i
ntf: ignore
%pg
which are b
l
ock pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
a
rpenter
inde
n
ting: ignore pre
a
nd po
s
t
s
t
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
r
p
enter
comparis
o
n: fix fallo
u
t
from al
g
ebra change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carp
e
nter
c
o
m
pa
r
ison: don't re
-
implement expr_t
o
_chunk_sym_vsl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an Car
p
enter
helpe
r
: a number
is no
t
a chunk
i
n expr_t
o
_ch
u
nk()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
functio
n
_
hooks: don't process c
o
ndition fun
c
t
ion
s
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
penter
condit
i
ons: introduce the
b
ig_co
n
dition_stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpen
t
er
f
u
nction_hooks: re
s
et s
t
ates
t
o o
r
igin
a
l state between
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
function_
h
ook
s
:
return earlier on culled
paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
D
an Carpenter
memcpy_overflow: s
i
lence false positi
v
e
w
hen de
s
t
i
n
a
ti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carp
e
n
ter
memcpy_o
v
erflow: impro
v
e st
r
uct
m
ember bo
u
nd
a
ry calcul
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
me
m
c
py
_
overflow: fall back t
o
type
s
ize to
calculate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpente
r
modi
f
i
cation_
h
ooks: f
i
x
f
all out from recent changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpe
n
ter
memcpy_overflow:
i
g
nore 1 element ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
m
e
mcpy_overflow: handle array
members better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpente
r
i
ndex_overflow: s
i
le
n
ce fa
l
se posi
t
i
v
es with --
s
pammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
Ma
k
efi
l
e
:
t
urn on -W
n
o-switch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpente
r
e
xtra: return a bit quicker
if ther
e
ar
e
no true and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpent
e
r
ex
t
ra: simp
l
ify
the
c
o
de
in
h
andle_comparison() a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpent
e
r
extra: handle if (of
f
s
et +
b
ytes > si
z
e) compa
r
iso
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
comparison: make modifications clear th
e
comparison
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Ca
r
penter
m
odification_hooks: intro
d
uce add_modif
i
catio
n
_hook_late()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpen
t
er
comparison: do alg
e
bra on "foo +
bar > baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpen
t
er
i
n
dex_o
v
erflow: silence some wa
r
n
i
ngs when --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
arpent
e
r
comparison:
s
plit __comparison_match_c
o
ndi
t
i
o
n() up
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
comparison: st
o
re par
a
meter comparisons in
the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_size: add
some more allocation functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpen
t
er
memcpy_overflow:
f
ix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
e
r
bu
f
_s
i
ze: add alloc_pages() a
n
d friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpenter
buf_size:
ha
n
dle getting address of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carp
e
nte
r
m
e
m
cp
y
_over
f
low: s
i
lenc
e
a b
u
nch of
fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
m
e
mcpy
_
overflo
w
:
r
en
a
me 'data' to 'limi
t
'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpen
t
er
mem
c
py_over
f
low: use rang
e
list from chec
k
_user_data2
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Car
p
e
nter
tes
t
i
n
g_in
d
ex_a
f
ter_use: ren
a
me ch
e
ck_o
v
erf
l
ow t
o
testing_in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
arpenter
overf
l
o
w
, allocating_e
n
ough_data: spli
t
check_ove
r
flow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n
C
a
rpenter
o
v
erflo
w
, sn
p
rint
f
_overfl
o
w: split o
u
t
s
nprintf checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
e
n
ter
overflow,
sprintf_over
f
low: s
p
lit
o
ut
s
printf checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpente
r
overflo
w
,
strcpy_ove
r
f
l
ow: spl
i
t strcpy overflows in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an
C
arpenter
ch
e
c
k
_
o
v
erfl
o
w: d
e
lete some dead
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
er
overflow,
m
e
mc
p
y_
o
v
er
f
low: spli
t
che
c
k_
o
verflow
.
c into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
index_
o
verflo
w
: delet
e
some dead code, rever
s
e some
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpe
n
t
e
r
overflow, index_overflow
:
start splitting up check_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-01
Dan
C
arpenter
symbol: i
m
prove s
i
zeo
f
(
)
for packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-28
Dan C
a
r
pent
e
r
b
u
f_size: re
c
or
d
variabl
e
siz
e
bu
f
fer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-27
Dan C
a
r
p
enter
ad
d
ress: take alignme
n
t into consideration a
n
d e
x
port
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-23
Dan Car
p
enter
slist: m
a
ke __merge_sl
i
st() a
l
l
o
cate
less memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-19
Dan Carpenter
comparison: fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Ca
r
penter
math: try harder in var_to_a
b
solute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
user_da
t
a2:
i
ntroduc
e
get_user_rl
_
v
ar_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan C
a
rpente
r
user_data2:
w
hite space stu
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
C
arpenter
strin
g
_list:
silence a GCC
w
ar
n
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
k
e
rnel
_
printf: we cha
n
ged %pg to %pj
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
C
a
rp
e
nter
c
a
pped: multiplications can
b
e capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan C
a
rpent
e
r
capped: white sp
a
ce cha
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
Carpenter
capped: fix ret
u
rn implies capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
cap
p
ed: better handle on unmatc
h
e
d
st
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Da
n
Carp
e
nter
e
x
tra: handl
e
retu
r
ned s
t
r
uct
member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpenter
d
b
: mak
e
get_par
a
m_name
(
) check for NULL sm->s
y
m po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpenter
user_data2: simple_strtoul() is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpenter
user_data2: alw
a
ys
s
et
*fo
o
t
o
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan
C
a
r
pe
n
ter
u
ser_data2:
u
se fa
k
e
a
s
si
g
n
m
e
n
ts ins
t
ead of dup
l
icati
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpenter
us
e
r_data2: han
d
le arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-06
D
a
n
Carp
e
nter
*new* vim_s
m
db: a script
f
or looking
u
p caller
i
nformat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-04
Dan Carpenter
buf_size: fix
c
omp
i
le on old
e
r GCCs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-22
Dan Carpenter
m
ath: use r
e
al_
a
bsolute f
o
r custom math handling (use
r
_data
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next