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: ignore a lot of PCI errors
2016-03-15
Dan Car
p
enter
db/fix
u
p_
k
ernel
.
sh: ignore a lo
t
o
f
PCI
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carp
e
n
t
er
dat
a
/ke
r
n
el
.
clea
r
s_ar
g
ume
n
t: add copy_
u
ser_generi
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db: split positive f
r
om negative
r
etur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
Ca
r
p
ente
r
expressi
o
n
s
: introduce compare_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
a
rpenter
imp
l
ied
:
i
n
troduce assu
m
e
(
c
o
n
d
ition)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db:
han
d
le pa
r
ameter
f
unction p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpente
r
states: han
d
l
e fake slis
t
p
roper
l
y when we merge
t
rue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpe
n
ter
valid
a
tion: add a t
e
st for range
d
case statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
rpe
n
ter
conditions: big fake state re
-
work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
av
l
:
r
e
move sign() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slist: int
r
oduce type_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
condit
i
ons:
a
d
d
a
NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
implie
d
:
rev
e
rt not
al
r
eady
set c
h
ange
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Da
n
Carp
e
nter
ex
t
ra: hand
l
e post op increment
l
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Da
n
C
a
rpen
t
er
type: fix "strange non-value func
t
ion or array
"
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
D
a
n Carp
e
nt
e
r
leak
s
: don't re
s
et sta
t
es to themselve
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
flow, co
n
ditions: handle label statem
e
nts correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db
:
fix
a
bug
i
n splitting return
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpen
t
er
Rev
e
rt
"states:
only set th
e
fake_stree in
set_state()
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
lock
i
ng: don't warn
a
b
o
ut i
m
p
ossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
validation/sm_implied8
.
c: update test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
Carpenter
function_hooks:
us
e
__
s
et_s
m
_cu
r
_stree()
i
n db_return_st
a
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
states:
o
nly s
e
t
the fake
_
st
r
ee in
set_s
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
imp
l
ica
t
ions:
u
se s
t
ored_condit
i
ons t
h
e defaul
t
f
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
arpenter
im
p
lied: un
b
reak assign_ran
g
ed_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpen
t
er
stat
e
s: del
e
te
a
n un
u
s
e
d
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
implied:
f
ix PARA
M
_LIMIT implicati
o
ns again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpent
e
r
im
p
lied
:
fall out from fake
_
cur_stree changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carp
e
nter
real_absolute: += and = a
r
e not the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
st
a
tes: __set_sm_cur_stree() should not chang
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
state
s
:
se
t
ting the true
state doesn't
set
t
he cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carpent
e
r
implied: fix a bug han
d
li
n
g PARAM_LIMIT im
p
li
c
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
C
arpenter
validation: add sm_
i
mpossi
b
le
2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
pe
n
ter
s
t
ru
c
t_assignmen
t
: silence a GCC false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
v
alidat
i
o
n
/sm_implied10
.
c: upda
t
e the te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
extra:
f
ix values_fit
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
penter
Revert "slist: make __merge_slist() allo
c
ate l
e
ss memory
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
flow: silence a GCC fals
e
po
s
itiv
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
rpenter
v
a
l
idat
i
o
n
/
s
m_compare3
.
c: update the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpent
e
r
validati
o
n: updat
e
sm_math1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n Ca
r
p
e
n
ter
validation: update sm_
o
ve
r
flow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
an Carpenter
validation/sm_inline3
.
c: re
m
ove accidental in
c
lude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
arpenter
v
a
li
d
ation: update a
c
ouple compare tests and ma
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n
Carpenter
v
alida
t
ion/sm_buf_size6: use correct
e
lement c
o
unt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
ar
p
enter
va
l
i
d
ation
:
upd
a
te s
m
_a
r
ray
_
overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
m
e
mcpy_overf
l
o
w
: igno
r
e some stru
c
t
type
s
which
cause
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
memcpy_overflow: ha
n
dle variab
l
e
l
e
ngth stru
c
ts correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
i
m
p
lied: us
e
implications from functi
o
n condi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n
C
arp
e
n
ter
function
_
hooks: don't
parse compar
i
son
con
d
itions twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
conditions
:
set th
e
parent expression when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
f
low:
rename
s
e
t_pare
n
t() to se
t
_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
e
n
t
e
r
precedence:
f
ix some fa
l
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
ke
r
nel_printf: ignore
%pg wh
i
ch are
b
lock pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carpenter
in
d
entin
g
: ign
o
re pre and po
s
t
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpent
e
r
comparison: fix fallout from
alge
b
ra cha
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n
Carpenter
compari
s
o
n: don't re-implement
expr_to
_
chunk
_
sym_vsl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
helper: a number is no
t
a chunk in e
x
pr_to_chun
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
te
r
function_
h
ooks: don't
p
rocess condit
i
on fun
c
ti
o
ns twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
a
rpe
n
ter
conditions:
i
ntrodu
c
e the big_c
o
ndit
i
on
_
stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carpenter
f
unctio
n
_hooks: reset states
t
o
origin
a
l
state b
e
twe
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
function_hooks: return earlier on culled paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
mem
c
p
y_overflow: silenc
e
false posi
t
ive when desti
n
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan
C
arpenter
memcpy_overf
l
ow: imp
r
ove s
t
r
u
ct memb
e
r
boundary calculation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
memcp
y
_overfl
o
w: fall bac
k
t
o
type size t
o
calculate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpen
t
er
modifi
c
a
t
io
n
_hooks:
fix fall out from recent changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
D
a
n Carpent
e
r
memcpy_overflow: ignore
1 e
l
ement arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
mem
c
p
y
_overflow: handle array m
e
mbers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
D
a
n Carpenter
i
n
dex_over
f
low: silence fals
e
positives with --
s
p
ammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
Makefile: turn on -Wno-switch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
Carp
e
nter
ext
r
a: return a bit quicker if there are
n
o true and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
C
arpe
n
ter
extra: sim
p
lify the code
i
n
handle_comparison() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Car
p
enter
e
x
tra: handle
i
f (of
f
set + bytes > siz
e
) comp
a
risons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carp
e
nter
com
p
ari
s
on: make m
o
difications clear
t
he comparisons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
an Carpenter
m
o
dification
_
hooks
:
introduce add_modification_h
o
o
k
_l
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n
C
a
rpenter
comparis
o
n: do a
l
gebra on "fo
o
+ bar > baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
ar
p
enter
index_overflow
:
s
i
lence some
warnings when --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Ca
r
p
e
n
t
er
comparison:
s
plit __compari
s
on_match_condition() up
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpente
r
comparison: sto
r
e
p
ar
a
me
t
er comparison
s
in
t
he database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpe
n
ter
buf_s
i
ze: add some mo
r
e alloca
t
ion fun
c
t
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
enter
memcpy
_
o
v
e
r
f
low: fix bu
i
ld
e
rror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_si
z
e: add a
l
loc_pages() an
d
friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
b
u
f_size: handle getting a
d
d
r
ess of a
r
r
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an
Car
p
e
nter
memcpy_overflow: silenc
e
a bunch of
f
al
s
e positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Ca
r
p
e
nter
memcpy_o
v
erflow: r
e
name 'data' to 'limit'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n
Ca
r
penter
memcpy_over
f
low: use range list from check_user_data
2
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
testing_index_after_use: rename check_ove
r
flow to t
e
sting_in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carp
e
nter
overflow, allocating_enoug
h
_data
:
spli
t
c
h
eck_overflo
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Ca
r
pent
e
r
overflow, snprintf_overf
l
ow:
s
pl
i
t out snprintf
c
hecking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
ov
e
rflow,
spri
n
tf_overflow:
s
p
l
i
t out
sprintf
checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpe
n
te
r
overflow, strcpy_ove
r
flow: split st
r
cpy overflows into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
arpenter
check_overflow: d
e
lete some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpe
n
ter
o
verflow, memcpy_overflow:
s
plit ch
e
ck_
o
verfl
o
w
.
c i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpenter
index_ove
r
flow
:
delete some
d
ead code, r
e
verse som
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
overflow, index_overflow:
s
tart splitting up check_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-01
Dan Carpente
r
symbol:
improve s
i
z
e
of() f
o
r pa
c
ked structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-28
Dan Carpenter
b
u
f_size: record varia
b
le size
buff
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-27
Dan Carpenter
a
dd
r
ess: tak
e
alignment into c
o
nsid
e
ratio
n
and export
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-23
Dan
Carpe
n
ter
sl
i
s
t: mak
e
_
_
merge_
s
lis
t
() al
l
ocate l
e
ss memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-19
Dan
C
ar
p
enter
c
o
mpariso
n
:
fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
mat
h
: tr
y
har
d
er
i
n var_to_absolute_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next