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: handle parameter function pointers
2016-03-10
Dan Carpe
n
ter
db: ha
n
dle parameter function pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpent
e
r
states: handle fake
s
list pr
o
perly when we merge true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
validation: add a test fo
r
range
d
c
a
se statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
t
er
conditions: big fake state re-w
o
rk
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
C
arpent
e
r
avl: remove si
g
n()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpenter
slist:
i
ntroduce ty
p
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpente
r
conditions: add a
NU
L
L check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Carpenter
implied
:
revert no
t
a
lready set change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carp
e
nter
extra:
handle post
op increment loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
t
ype
:
fi
x
"strange non-value function or array" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
leaks: don'
t
reset states to themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpente
r
flow,
c
o
nditions: handle l
a
bel stateme
n
t
s
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpen
t
er
db: fix a
b
ug in
spl
i
tting r
e
turn stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
D
an Ca
r
penter
Revert "st
a
t
es: only
s
et
the f
a
ke_stree in set_state()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
lo
c
king: don't warn about impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carp
e
nter
vali
d
ation/s
m
_
i
m
pli
e
d8
.
c: update test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
f
u
n
c
tion_hooks:
use
__s
e
t_sm_cur_
s
t
ree() in
d
b_return_s
t
ate
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
states:
only set 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
i
mp
l
ications
:
use sto
r
ed_c
o
n
ditions the
default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpente
r
im
p
l
i
e
d: unbre
a
k
assign
_
ranged_func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
stat
e
s: delete an
u
n
used fu
n
ct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
rpe
n
ter
implied:
f
ix
PARAM_LIMIT
i
m
plications ag
a
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpent
e
r
implied: fall out fr
o
m fa
k
e_c
u
r_stree changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
an Carpen
t
er
re
a
l_absolu
t
e: += and =
a
re
not the same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
a
n Carp
e
nter
states: __set_sm_cur
_
stree(
)
sh
o
uld not
change
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
C
a
rpenter
states: setting the true state do
e
sn't set the cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
implied
:
fix a
bug handl
i
ng PARAM_LIMI
T
i
m
pl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
v
a
lid
a
tion: add
s
m
_impossible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
struct_assignment: si
l
e
n
c
e
a
GCC f
a
l
s
e
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an
C
arpe
n
t
e
r
validation/sm_
i
mplied10
.
c: update
t
he test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
a
r
pe
n
ter
extra
:
fix valu
e
s_fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
a
rpenter
Revert "slist: m
a
k
e
_
_me
r
g
e
_
slist() all
o
ca
t
e
less memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Car
p
ent
e
r
f
low: silence a G
C
C fals
e
p
ositive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Car
p
enter
validation/
s
m_c
o
mpare3
.
c: update
the chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpen
t
er
val
i
datio
n
: update
s
m_math
1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
v
a
lidation: update
s
m_
o
verflow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
arp
e
n
t
er
va
l
idation/
s
m_inline3
.
c: remove accidental include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
validation:
u
pdate a
couple
compare tests and
m
a
ke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n
C
arpenter
validation/sm_buf_siz
e
6: use correct
e
le
m
en
t
coun
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation: update sm
_
array_
o
verfl
o
w
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n C
a
r
pent
e
r
m
e
m
cpy_o
v
erflow: ignore some str
u
c
t
t
y
pes whic
h
cause
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
memcpy_ove
r
f
l
ow:
h
andl
e
variable leng
t
h structs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
ar
p
e
n
te
r
implied: use implic
a
t
i
o
ns from function
conditi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
f
u
nctio
n
_hooks: don't parse com
p
ariso
n
condit
i
ons twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
conditions:
set th
e
parent expression when parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carp
e
nter
flow: renam
e
s
et_
p
arent() to set_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
pr
e
cedenc
e
: fix som
e
fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
a
r
pe
n
ter
kernel_print
f
:
ignore %pg wh
i
ch are
b
lock po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
ind
e
nti
n
g: ignore
p
re an
d
p
o
st statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
compa
r
ison
:
f
i
x f
a
llout from
a
lgebra chang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpenter
comparison:
don't re-
i
mplement expr_to_chunk_sym_v
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpenter
helper:
a number is not a c
h
u
n
k in
e
x
p
r_to
_
chunk()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
pen
t
er
function_hooks: don't proce
s
s condi
t
ion functions twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
c
o
n
d
itions: int
r
oduce the
b
ig
_
condition_sta
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
pe
n
ter
function_hooks: reset st
a
tes t
o
original
state between
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
f
un
c
tio
n
_hooks
:
return earli
e
r o
n
culled
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
mem
c
py_overflow: sile
n
ce fa
l
se positive
whe
n
destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
memcpy_overflow:
imp
r
ove struc
t
member boun
d
ary cal
c
ul
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
memcp
y
_ov
e
rflow:
f
all back t
o
t
y
pe size t
o
c
a
lculate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan C
a
rpenter
modifi
c
atio
n
_h
o
oks: fix fall out from rec
e
nt cha
n
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
D
a
n
Carpe
n
te
r
memcpy
_
o
v
erflow: ign
o
re 1 e
l
ement array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
m
e
mcp
y
_overflow: handle
a
rray members
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan
Carpent
e
r
i
n
dex_ov
e
r
f
low: silence fal
s
e
positives with
-
-spammy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpenter
Ma
k
efile: turn on -Wno-switch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Carpenter
extra: return a
bit quicker if there ar
e
n
o true and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpen
t
er
extra: simplify t
h
e code in handle_comparison() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Car
p
e
n
ter
e
x
tra: handle if (offset + bytes > size) compa
r
isons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpente
r
compar
i
son: make modificati
o
ns clear the c
o
mparisons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n
Carpenter
modifica
t
ion_hooks: int
r
oduce add_modifica
t
i
o
n_hook_late()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Carpent
e
r
co
m
pari
s
on: do
alg
e
bra on "foo
+
b
ar
>
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpe
n
t
er
index_ov
e
rflow: silence
s
ome warnings when --sp
a
mm
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpen
t
e
r
co
m
parison: sp
l
it
__c
o
mparison_match_con
d
ition() up
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
compariso
n
:
st
o
re param
e
t
er compariso
n
s
i
n t
h
e d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
buf_size: add some more a
l
l
oc
a
t
i
on functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
memcpy_ove
r
flow: fi
x
build
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpe
n
ter
buf_size: add
all
o
c_
p
ages
(
) and fri
e
nds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Ca
r
penter
buf_size: handle
ge
t
ting addres
s
o
f arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpe
n
ter
memcpy_
o
verflow: silence a b
u
nch o
f
false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
memcpy_ov
e
r
f
low: rename 'data' to 'l
i
mit'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpent
e
r
memcpy_
o
verflo
w
:
u
se range lis
t
from check_u
s
e
r
_data2
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
te
s
ting_in
d
ex_after_use: renam
e
check_overflow to
t
esting
_
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
ove
r
flow, alloca
t
in
g
_
enou
g
h_
d
ata: split check_overflow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
ove
r
flo
w
, snprintf_overflow: split out snprintf ch
e
cking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
er
o
verflow, sprintf_overf
l
ow: split out sprintf c
h
e
c
k
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
r
p
e
n
t
er
overfl
o
w, str
c
p
y
_
overflow: split strcpy overflows in
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
arpenter
check_overfl
o
w
: delete some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
ov
e
rflow, memcpy_overflow: split chec
k
_overf
l
ow
.
c i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
index_overflow: delete so
m
e
dead co
d
e, rever
s
e
s
ome
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
enter
overflow, inde
x
_o
v
erflow: start s
p
litt
i
ng up
check_overf
l
ow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-01
Dan
C
arpent
e
r
sym
b
ol: imp
r
ove siz
e
of()
for packed str
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-28
D
an Carpen
t
er
b
u
f_si
z
e: record variab
l
e size buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-27
D
a
n Carpenter
ad
d
re
s
s: take alig
n
m
e
n
t into consideration and ex
p
ort
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-23
D
a
n C
a
rpenter
slist: make __me
r
g
e
_slist() allocate less memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-19
Dan
Carpenter
comparis
o
n: fi
x
b
u
ild er
r
or
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
math
:
t
r
y harder
i
n var_to_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpen
t
er
user_data
2
: introduce get_user_rl_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpent
e
r
user_da
t
a2: white spa
c
e stuf
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Ca
r
pent
e
r
stri
n
g_list
:
silenc
e
a GCC warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
D
an Carpenter
kernel_
p
rintf: we
c
h
a
nged %pg to
%pj
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpe
n
te
r
capped: multipli
c
ati
o
ns can be cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next