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 final_pass if we have to bail on a function
2016-03-23
Dan Ca
r
penter
impossible: handl
e
assignme
n
t cond
i
t
i
o
n
s
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpente
r
str
i
ng
_
co
n
dition: don
'
t complain a
b
out TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
f
u
n
ctio
n
_hooks: handle ret
u
rs that
don't set a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
db: d
o
n't us
e
sp
l
it_
s
ucc
e
ss_fa
i
l if i
t
doesn't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db:
f
i
x bug i
n
pr
i
nt_struct_members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
d
b: for
impossible re
t
ur
n
s ju
s
t do the simplest thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpent
e
r
extra: use r
e
al_absolute
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: impr
o
ve
a
rray han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpenter
smatch: add a --time
o
ption to print how long sm
a
t
ch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
flow
:
h
an
d
le
"*p++ =
f
oo
"
better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
flow: fix insi
d
e_lo
o
p()
w
ith inline
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carpent
e
r
param_set:
h
andle
array
a
ssignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
imp
l
ied: remove bugg
y
cod
e
for work
i
n
g
a
r
ound the old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan
Carpenter
db/fixup_kernel
.
sh: add kmalloc_order_trac
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpente
r
db/fixup_kernel
.
sh: igno
r
e a lot of PCI errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Ca
r
penter
data/
k
er
n
el
.
cle
a
rs_argument: add copy_u
s
e
r_ge
n
eric()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
a
r
penter
db: split positive f
r
om negative return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
enter
express
i
ons: introduce compar
e
_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
enter
imp
l
ie
d
:
intro
d
u
ce assume(condit
i
on)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db: handle
parameter function
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan C
a
rpenter
states:
h
andle
f
ake slist properl
y
when we merge
t
ru
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpent
e
r
valida
t
io
n
: add
a
tes
t
for
ranged case
s
tatem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Carpenter
conditions: big fake
state re-work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpenter
avl:
r
emove sign() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpente
r
slis
t
: introduce type
_
stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Carpenter
c
o
nditions: add a NULL c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpent
e
r
im
p
li
e
d
:
revert no
t
already set c
h
ange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
extra:
handle post op incre
m
ent loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type: fix "stra
n
ge non-
v
alue function or array" warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
lea
k
s: don'
t
r
ese
t
stat
e
s to themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
flow, conditions
:
handle label statements correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db: fix a bug in
s
plitt
i
ng retu
r
n states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Da
n
Ca
r
penter
Revert "states:
o
nly set
t
he fake_stree in set_s
t
ate()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpen
t
er
locking: don't warn about impossible pat
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Ca
r
p
e
nter
va
l
idation
/
sm_implied8
.
c: update test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
function_
h
oo
k
s: use _
_
s
e
t
_
s
m
_cur_
s
tree() in db_re
t
urn_state
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
st
a
te
s
: only
s
et the
f
ake_stree
i
n set_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n C
a
rpe
n
te
r
implications: use
stored_condit
i
ons t
h
e
default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpe
n
ter
implied:
unbreak
assign_ra
n
ged_funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpe
n
t
e
r
states:
dele
t
e
an
unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
i
mplied
:
fix PARAM_LIMIT im
p
lications agai
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpent
e
r
impl
i
ed:
f
all
o
ut
from fake_cur
_
stree changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan
Carp
e
nte
r
real_absolute: += and = are not th
e
same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan C
a
rpenter
states
:
__set_
s
m_cur_stree()
sh
o
u
l
d
n
ot change t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan C
a
r
p
enter
s
ta
t
e
s
: settin
g
the tru
e
state doesn
'
t set the cur_str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpente
r
impl
i
ed: fix a bug handling PARAM_LIM
I
T implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpen
t
e
r
va
l
idati
o
n: add sm_i
m
p
o
ssible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carp
e
n
t
er
struct_
a
ssign
m
ent: silence
a GCC false pos
i
tive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validati
o
n/sm_imp
l
ied10
.
c: update the
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an
Carp
e
nter
extra: fix values_fit_t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpe
n
t
er
R
ever
t
"sli
s
t: make __mer
g
e_slist() allocate less memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
flo
w
: silence a GCC fals
e
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
pe
n
t
e
r
validation/sm_c
o
mpar
e
3
.
c: upd
a
t
e
the
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n
Carpenter
validati
o
n: update sm_math1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
an
Ca
r
penter
v
alid
a
tion: update s
m
_o
v
erflow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
Carpenter
validat
i
on/s
m
_i
n
l
ine3
.
c: r
e
mov
e
a
c
cid
e
ntal
i
nclu
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n
Carpent
e
r
vali
d
ation:
u
p
date a couple compare tests and
make
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
validation/sm_buf_size6:
use correct element c
o
unt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpe
n
ter
v
a
lida
t
i
on: upda
t
e sm_
a
rray_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
pente
r
memcpy_ov
e
r
flow:
ignore some str
u
c
t types which cause
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carpenter
memcpy_overflow: handl
e
variable leng
t
h structs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
implied:
u
se implications from fu
n
ction conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
r
pe
n
t
e
r
f
u
n
ction
_
hooks: don't parse comparison condition
s
twic
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carpente
r
condition
s
:
s
et the pa
r
ent expr
e
s
sion when parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
flow: ren
a
me set_parent()
t
o set_
p
ar
e
nt_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpenter
precedence: fix some
f
alse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
ker
n
e
l
_printf: ignore %pg which are b
l
ock pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
indenting: ignore pre and
p
ost statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
c
o
mparison: fix fal
l
out from algebra change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpenter
compa
r
ison: don'
t
re-implemen
t
expr_to_chunk_sym_vsl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arpenter
h
elper: a number is not a c
h
unk in
expr_to
_
ch
u
n
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_h
o
o
ks: don't process c
o
nd
i
tion f
u
nctions twi
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpenter
con
d
itions: in
t
roduce the big_condition_
s
tack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hook
s
: r
e
set states to original state between
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
funct
i
o
n
_hooks
:
return earlier
o
n
culled
p
aths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Car
p
enter
memcpy_
o
v
erflow: sil
e
nce false
positive when des
t
i
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
me
m
cpy_over
f
lo
w
:
i
mprove struct member b
o
undar
y
calculation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n
Carpenter
m
emcpy_overflow:
fall back to ty
p
e size to calcu
l
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n
Carpenter
modification_h
o
oks
:
fix fall out from rec
e
nt changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
D
a
n
C
a
rpen
t
er
memcpy_ov
e
r
flow:
ignore
1 element arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
memcpy
_
over
f
low: ha
n
dle
a
rray mem
b
ers bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan C
a
rpenter
in
d
ex_o
v
erflow: s
i
len
c
e false p
o
sitives with
--spa
m
my
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
D
an Car
p
enter
Make
f
ile:
t
urn
on
-Wno-switc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
Carpenter
extra: return a bit
q
u
i
c
ker if ther
e
ar
e
no tr
u
e and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
e
xtra: simplify the code
i
n
handle_comparis
o
n() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Carpenter
extra: handle if
(offset + bytes > siz
e
)
co
m
p
ariso
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan C
a
rp
e
nter
comparison: make modifications clear the comparisons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
m
odification_
h
ooks: int
r
oduce add
_
m
o
dif
i
ca
t
i
o
n_hook_late()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
Carpe
n
ter
comparison:
d
o
a
l
gebra on
"
f
o
o + bar > baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpen
t
er
index_overf
l
ow: silence
s
ome war
n
ings
w
hen --spammy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
comparison: split __comparison_match_conditi
o
n
() up
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpe
n
ter
compa
r
ison: stor
e
par
a
me
t
er compari
s
ons i
n
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n
C
a
rpenter
b
uf_size: add some more allocation
f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
er
memcp
y
_
o
ve
r
flow: fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf
_
size: ad
d
alloc_pages() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
ar
p
enter
buf
_
s
i
z
e: ha
n
dle get
t
ing address of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n
Carpenter
memcpy_overflow: silenc
e
a bunch of fal
s
e posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpenter
memc
p
y_overflow: re
n
ame 'd
a
ta' to 'limi
t
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Ca
r
pe
n
ter
memcpy_overflo
w
:
use range list from check_use
r
_data
2
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
testing_ind
e
x_after_
u
se: r
e
nam
e
c
h
eck_
o
verflow to tes
t
i
ng_in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next