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
D
an Carpenter
db:
rever
t
a "sp
e
edu
p
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpenter
real_absolute: tu
r
n this code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
rpenter
er
r
_ptr_de
r
e
f: complain about dereferences
i
nside a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Ca
r
pent
e
r
retur
n
_efault: complain
about "return copy_from_
u
s
e
r();
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpenter
buf_size:
save
s
ize of fix
e
d a
r
rays that are returned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
modificat
i
on
_
h
ooks: remove an unneede
d
varia
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
slist: make merge_st
a
tes() s
t
ati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
penter
states:
make debug ou
t
put more co
n
s
i
stent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hook
s
: pu
t
each t
y
pe of hook into it's own a
r
ra
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
.
gitignore: add
.
gdb_hist
o
r
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
sto
r
e
d
_co
n
di
t
i
o
ns: white s
p
ace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
te
r
math: prefer real_abs
o
lut
e
_value to the db va
l
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
i
m
plied: remove
a bl
a
nk line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
conditions: bug in co
n
dition assig
n
ments like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
impo
s
s
ible: h
a
nd
l
e
assignment conditions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
n
t
er
string_condition: do
n
't
c
omplain a
b
out TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
enter
function_hooks: handle returs
t
h
at don't
set
a st
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
pente
r
db
:
don't us
e
split
_
su
c
c
ess_
f
ail
if it d
o
e
sn't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
pent
e
r
db
:
fix bu
g
i
n print_struc
t
_membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
d
b:
f
or
impo
s
sible returns jus
t
d
o
the
simp
l
est thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: use r
e
al_absolut
e
va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
enter
extr
a
: impro
v
e
a
r
r
ay handl
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n
Car
p
enter
smatch: ad
d
a --
t
ime option to print how long smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
ter
f
low:
han
d
le "*p++ = foo" better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
r
p
enter
flow: fix
i
nside_loo
p
() with inline fun
c
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carp
e
nter
p
a
ram
_
set:
handle arra
y
ass
i
g
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
an Carpen
t
er
i
m
p
lied: remove buggy code f
o
r
working around the old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan
Ca
r
p
e
n
ter
db/fixup_ke
r
n
e
l
.
sh:
a
d
d kmalloc_ord
e
r_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Ca
r
pen
t
e
r
db/
f
ixup_k
e
rnel
.
sh: i
g
no
r
e a lot
of PCI err
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
en
t
er
dat
a
/ke
r
nel
.
clears_a
r
gum
e
nt:
a
dd
copy
_
us
e
r_generic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
e
n
t
er
d
b
:
split positive
f
rom negative
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
an Ca
r
pe
n
ter
ex
p
ression
s
:
in
t
r
o
duce comp
a
re_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n
C
arpenter
implied: i
n
t
roduce as
s
ume(
c
ondition)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpen
t
er
db: ha
n
d
l
e
parameter
func
t
ion pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpent
e
r
states: handle f
a
ke
slist p
r
oper
l
y when
w
e
merge tru
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nte
r
validat
i
on
:
add
a
test for ranged case statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Car
p
en
t
er
c
onditio
n
s: big fake s
t
ate re-work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Car
p
enter
av
l
: r
e
mo
v
e sign() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
rpenter
s
l
ist: introduce t
y
pe_
s
t
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
conditi
o
n
s: add
a
N
ULL
c
hec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
a
rpe
n
t
e
r
impli
e
d: rev
e
rt
n
o
t
al
r
eady set ch
a
n
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan
C
arp
e
n
t
er
extra: handle post
o
p
increment
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
t
y
pe: fix "strange non-va
l
ue fu
n
c
t
i
o
n
or arra
y
"
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
le
a
ks: don't reset states to
t
hemselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
D
an
C
arpenter
f
l
ow, conditions:
ha
n
dle label statements correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carp
e
n
ter
d
b
: fi
x
a bug in spl
i
tting r
e
t
urn states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert
"stat
e
s: only
s
et t
h
e fake_stree i
n
set_state()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
lo
c
kin
g
:
don't warn about
impossible
p
a
t
hs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
rpent
e
r
v
alidation/sm_impli
e
d8
.
c: update test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
function_hooks:
u
se __set_sm_c
u
r_st
r
ee() in db_retur
n
_state
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Carpenter
st
a
tes:
o
nly set the fake_stre
e
in
s
et_sta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpen
t
e
r
implications: use
s
tored_condition
s
the default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Carpenter
im
p
lied:
u
nbreak assign_range
d
_
f
unct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
states: delete an un
u
sed function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
rp
e
nte
r
implied: fix PARAM_LIMIT implications again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
an Carpenter
implied: fall
out from
fak
e
_cur_st
r
ee changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpent
e
r
real_ab
s
olute: +=
a
nd
= are not the same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
states:
_
_set_sm_cur_stree() should not change the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
a
n
Carpenter
sta
t
es: setting the
t
r
u
e
s
t
ate
d
oesn't s
e
t
t
h
e
cur
_
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
im
p
li
e
d: fix a bug hand
l
ing PA
R
AM_L
I
MIT i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validat
i
o
n: add sm_i
m
possible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpent
e
r
struct_assignme
n
t: s
i
len
c
e a GCC false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
vali
d
ation/
s
m_implied10
.
c: update t
h
e te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
n
ter
extra
:
fix values_fit
_
t
yp
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
nter
Revert "slist: make __merge_s
l
i
s
t() allocate le
s
s memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
fl
o
w
: silence a GCC false p
o
sitiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validation/sm_com
p
are3
.
c: update the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpe
n
te
r
validation:
u
pd
a
te sm_math1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation: update sm_overflow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Carpen
t
er
validation/sm_
i
nline
3
.
c
: remo
v
e accide
n
tal includ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpent
e
r
v
a
l
i
dation: upd
a
te a
c
oup
l
e comp
a
re te
s
ts an
d
make
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation
/
sm_buf_size
6
: use
correct e
l
em
e
n
t
count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
valida
t
i
o
n: update sm_array_ov
e
rflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
memcpy_ove
r
f
l
ow
:
ignore
som
e
struc
t
types which cau
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
memc
p
y_overflow: handle vari
a
ble
l
e
ngth
s
truc
t
s cor
r
ectl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
impl
i
ed
:
us
e
implications from
f
u
n
ct
i
on con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
ent
e
r
f
u
nct
i
on_hooks:
d
on't
p
ar
s
e comparison con
d
itions twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
condi
t
ions: set the parent expression when pars
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an
C
arpenter
flow: rename set_par
e
nt(
)
to set
_
p
arent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpent
e
r
prece
d
ence:
fix some false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
e
nter
k
e
rnel_printf
:
ignore %pg whi
c
h a
r
e b
l
ock pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
penter
indenting: ignore pre and post
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
comparison: fix f
a
l
lout from algebr
a
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arpent
e
r
compariso
n
: don
'
t re-implement e
x
pr_
t
o_chunk
_
sym_vs
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
helper: a numb
e
r i
s
not a
ch
u
nk i
n
expr_t
o
_c
h
unk()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
funct
i
on_hooks: don'
t
proces
s
c
ond
i
ti
o
n
f
u
nctions
tw
i
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
cond
i
tions:
i
ntroduce
t
he
big_condition
_
s
tack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
func
t
io
n
_hook
s
: reset states
t
o original state between
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Car
p
enter
func
t
i
on_hooks: r
e
turn e
a
rlier on c
u
lled
p
a
ths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
memcpy_overflow: silence false positive
when de
s
tination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
memcpy_over
f
low
:
i
m
pr
o
ve struc
t
member boundary c
a
lculatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carp
e
n
t
er
m
e
m
c
py_overflow: fall back to type s
i
ze to calculat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpent
e
r
modification_
h
ooks: fix fall out from recent changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan
Ca
r
penter
memcpy_overflo
w
:
i
gnore 1 element
a
rra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpe
n
ter
me
m
cp
y
_overf
l
ow
:
h
a
n
d
le array
m
embers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
inde
x
_o
v
erflow: s
i
lence fals
e
pos
i
ti
v
e
s with --spammy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
M
ak
e
file:
turn on -Wno
-
sw
i
t
ch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
Carpenter
extra:
return
a bit quicker
if th
e
r
e
are no true and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpenter
e
xtra: simplify the code in handle_comparison() a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n Carpenter
ex
t
ra: handle if (off
s
et +
by
t
es >
si
z
e) compariso
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next