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
locking: don't warn about impossible paths
2016-02-17
Dan Carpenter
locking: don'
t
warn
about im
p
ossib
l
e paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
v
a
lidatio
n
/sm_
i
m
p
lied8
.
c: update test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Carp
e
nte
r
function_hoo
k
s: use __se
t
_sm_
c
u
r_
s
tr
e
e() in
d
b_r
e
t
u
rn_states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
sta
t
es: only
set the fake_stree in se
t
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
i
mplicat
i
on
s
:
use stored_
c
onditions the default fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
i
mplied: un
b
re
a
k
as
s
ign_ranged_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpenter
s
t
ates:
delete an
unus
e
d fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
implied: fix PARAM_LIMIT implicat
i
o
n
s again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
implied: fall o
u
t f
r
om fak
e
_cu
r
_stree changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan
C
a
rpen
t
er
real_absolute: += and = ar
e
n
ot
the
s
ame
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
an C
a
rp
e
nter
st
a
tes:
_
_set
_
sm_cur_stree
(
)
s
hould not c
h
a
nge
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpen
t
e
r
state
s
:
settin
g
the true stat
e
doe
s
n't set the c
u
r_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Ca
r
penter
i
mplied: fix a bug handling
PARAM_LIM
I
T i
m
plication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
validation: add s
m
_impossible2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
C
a
r
pen
t
e
r
struct_assign
m
ent: silence a GCC false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
er
validation/sm_imp
l
ied10
.
c: update the test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Car
p
enter
extra: fix values_
f
it_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
an C
a
rpe
n
ter
R
e
vert
"
s
l
is
t
:
make _
_
merge_slist()
a
l
l
ocate less mem
o
r
y
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
flow: s
i
lence
a
GCC
f
a
l
se
p
ositive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
rpente
r
val
i
dati
o
n/sm_compare3
.
c: up
d
ate the
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpe
n
ter
validation
:
up
d
ate sm_m
a
t
h1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
e
nter
validation: up
d
ate sm_overflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
e
nter
validation/sm_inline3
.
c: rem
o
ve accidental include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation: update a couple compare tests and
make
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validat
i
on/sm_buf
_
size6:
use c
o
rrect e
l
ement
c
o
u
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpent
e
r
validation: u
p
date sm_array_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
memcpy
_
o
verflo
w
:
ignore so
m
e str
u
ct ty
p
es which cause
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
memc
p
y_overflow: h
a
ndle variable length stru
c
ts correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
impl
i
ed
:
use implications f
r
om
f
un
c
t
i
on
co
n
ditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hooks: don'
t
parse comparison conditions twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
c
onditions: set the parent express
i
on when p
a
rsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
flow: rename
set_parent() to
set_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
p
r
e
cedence: fix some
f
alse p
o
si
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
k
ernel_
p
rintf: ignore %pg
whic
h
are block po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an
Carpenter
inden
t
ing:
i
gnore pre
a
nd post s
t
ateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
comparis
o
n:
f
ix fallo
u
t
fro
m
algebra
cha
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
comparison
:
don
'
t re-im
p
l
ement expr_t
o
_ch
u
n
k_sym_vsl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
helper: a number is not a chunk in expr_to_c
h
unk()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
a
r
penter
f
unction_hooks: d
o
n't pro
c
e
ss con
d
ition functions twic
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
penter
con
d
itio
n
s:
i
ntroduce th
e
big_
c
ondition_st
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carpe
n
ter
fun
c
tion_hooks: reset states to original state between
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an C
a
rp
e
nter
function_hooks: return ear
l
ier o
n
culled paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan C
a
rpenter
memcpy_overflow: silen
c
e fa
l
se positive wh
e
n dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
memcpy_overflow:
i
mpr
o
ve
struct member
b
o
undary calculation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Da
n
Carpenter
memcpy_overf
l
ow: fall ba
c
k to type size to calculate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Ca
r
penter
mo
d
ification_hooks: fix fall out from recent changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan
Carpenter
memcpy_
o
verflow:
ign
o
re 1 element arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
memcpy_ov
e
rflow: handle array m
e
mbers bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Da
n
C
a
rpenter
index_overflow: silenc
e
false positives with
--spammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
M
akefile: turn on
-
Wn
o
-switch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Car
p
ente
r
extra: return a bit quicker if ther
e
are n
o
t
r
u
e and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
C
ar
p
ent
e
r
extra
:
s
i
m
plify the cod
e
in handle_comparison(
)
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
extra: handle if (off
s
e
t
+
b
ytes > siz
e
)
comparisons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpe
n
ter
comparison: make modifi
c
at
i
ons clea
r
the comparison
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
Car
p
ente
r
mo
d
ifi
c
ation_
h
o
o
ks:
intro
d
uce add_modifi
c
ation
_
hook_late()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
c
o
mparison: do alg
e
b
r
a on "foo + bar > baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpe
n
t
e
r
i
nd
e
x_overflow
:
silence
s
o
m
e
war
n
ings when --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
comparison: split __com
p
a
rison_mat
c
h_conditi
o
n(
)
up
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
comparison: store parameter comparisons in the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
a
rpe
n
ter
buf_size:
ad
d
so
m
e
m
ore allocat
i
on fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carp
e
n
t
er
memcp
y
_
overflow:
fix b
u
i
l
d error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
buf_s
i
ze:
a
d
d
a
l
l
oc_page
s
() and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
e
nter
buf_si
z
e: handle g
e
tting
addres
s
of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
e
r
mem
c
p
y_overflow: s
i
lenc
e
a bun
c
h o
f
false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
memcpy_overflow: rename 'da
t
a' to 'limit'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
memcp
y
_overf
l
ow
:
use range list
f
rom check_u
s
e
r
_data2
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
t
e
st
i
ng
_
inde
x
_after_use: rename check
_
o
verflo
w
to testin
g
_in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
o
v
e
rflow, a
l
locati
n
g_e
n
o
ugh_data: split
check_ov
e
rflow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
a
r
pe
n
ter
ov
e
r
f
l
o
w, snpri
n
tf_overflo
w
: split out snprint
f
chec
k
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
overflow,
sprintf_o
v
er
f
low: split out sprin
t
f checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpent
e
r
over
f
l
o
w, s
t
rc
p
y_over
f
low: split strc
p
y overflows into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpente
r
ch
e
ck_overflow: delete some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Ca
r
pent
e
r
overflow, memcpy_
o
verflow: split check_overflow
.
c into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpe
n
ter
index_
o
ve
r
flow: delete some de
a
d code,
r
ev
e
rse so
m
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
overflow, inde
x
_overflow:
start splitting
u
p c
h
eck_ove
r
flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-01
Dan Carpenter
symbol: improve siz
e
o
f
() for packe
d
s
t
ructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-28
Dan Carpenter
b
uf_si
z
e: record var
i
able size buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-27
Dan Carpen
t
er
a
d
dress: tak
e
alignment into consideration and export
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-23
Dan Carpenter
slist: make __mer
g
e_sl
i
st()
allocate less memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-19
Dan Carpente
r
c
omparison: fix
b
uil
d
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carp
e
nter
math: try
harder in var_to_abs
o
l
ute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
user_data
2
: intr
o
duce get_user_rl_v
a
r
_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
user_d
a
t
a2: wh
i
t
e
spa
c
e stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
strin
g
_list: silence a GCC warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
D
a
n Carpen
t
er
k
ernel_printf: we changed %pg to %pj
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
D
an Car
p
enter
cap
p
ed: multiplications can be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Ca
r
penter
capped: w
h
ite space ch
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carp
e
nter
capped: fix ret
u
rn im
p
lies capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
capped:
b
etter
h
andle on unmatch
e
d state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
C
a
rpe
n
ter
e
x
tra: handle
r
et
u
rned s
t
r
uct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Car
p
enter
d
b
:
make get_param_
n
ame() che
c
k for
N
ULL
s
m->sym po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Da
n
Carpenter
u
ser
_
d
ata2
:
simple_strtoul()
i
s user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Car
p
enter
u
se
r
_data2: always
set *
f
oo to user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Car
p
e
n
te
r
us
e
r_data2: use fa
k
e assignments i
n
stea
d
of
duplicating
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpe
n
t
er
u
s
er_data2: handle arrays
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-06
Da
n
Carpen
t
e
r
*new
*
vim_smdb: a script for lookin
g
u
p c
a
l
ler i
n
form
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-04
Dan Carpenter
bu
f
_size:
fix compile
o
n
older GC
C
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-22
Da
n
C
a
r
penter
mat
h
:
u
s
e real_abs
o
l
u
te f
o
r
custom math hand
l
ing (user_data)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-22
Dan C
a
rpenter
debug:
a
dd __sm
a
tch_real
_
absolu
t
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-21
Dan Ca
r
penter
smd
b
.
py: add
t
race
_
param feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next