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
avl: remove sign() function
2016-03-04
Dan Carpenter
avl: re
m
ove sign(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
r
p
ente
r
slist: intro
d
uce typ
e
_s
t
ree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
Ca
r
penter
conditio
n
s: add a NULL c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
penter
i
mp
l
i
e
d: r
e
ver
t
not already
s
et chang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan
Ca
r
p
e
nter
extra: handle
p
ost
o
p
incremen
t
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type
:
fix "s
t
range non-value
fu
n
ction or arr
a
y" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Da
n
C
ar
p
enter
leaks: don't reset states t
o
themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
D
an Car
p
enter
fl
o
w, co
n
ditions:
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 Carpe
n
t
e
r
db: fix
a
b
ug in
s
p
li
t
ting return states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
D
a
n Carpenter
Rev
e
rt "states: only set the fa
k
e_str
e
e
in set_
s
tat
e
()
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n C
a
rpenter
locking: don't warn
a
bout
impossibl
e
pa
t
hs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
v
alidation/sm_implied8
.
c
:
up
d
at
e
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpe
n
ter
functio
n
_hook
s
: use __set_sm_
c
ur_s
t
ree() in db_retur
n
_s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
rpenter
states:
o
nly set
t
h
e
fake_stree in set_s
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Ca
r
penter
implications:
u
se sto
r
ed_
c
ond
i
tions the defau
l
t
f
al
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
a
rpe
n
t
er
imp
l
ied: unbr
e
ak assign_ra
n
ged_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
an
C
arpenter
states: delete an
unuse
d
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
i
mpl
i
ed:
fix P
A
R
A
M_LIM
I
T implica
t
ions again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carp
e
nter
implied: fall
o
ut from
fake
_
cur_st
r
ee c
h
ang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Car
p
ente
r
r
e
al_absolute:
+
= and =
ar
e
not the same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan
C
a
rpenter
states: _
_
set_sm_cur_stree() should not change the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
stat
e
s
: setting the true s
t
a
t
e doe
s
n't set the cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpen
t
er
impl
i
ed: f
i
x a bug handling
PARAM_LIMIT implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
nter
v
a
l
idation
:
add sm
_
impo
s
sibl
e
2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Car
p
enter
struct_assignment: silence a GCC false posit
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
v
a
lidation/
s
m
_implied10
.
c: upd
a
t
e
the
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpen
t
er
extra:
f
i
x value
s
_fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Car
p
en
t
er
R
e
vert
"slist:
make __
m
erge_slist() al
l
o
cate less me
m
ory
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carp
e
nter
f
low:
s
i
le
n
ce a GCC false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
validation/sm_compare3
.
c: update the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
en
t
er
vali
d
at
i
on
:
update sm_math1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
a
rpenter
v
a
lidati
o
n: update sm
_
o
verflow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
valida
t
ion/sm_inline3
.
c
:
remove
accide
n
tal include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
val
i
dation: updat
e
a
couple compare tests and make
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
an Carpenter
vali
d
ation/sm_b
u
f_s
i
ze6: u
s
e
correct el
e
ment count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
Carpenter
validation: update sm_array_overflo
w
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
memcpy
_
overflow:
i
g
n
ore s
o
me st
r
uct
t
y
p
es which cause
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
memcpy_over
f
low: handle variab
l
e le
n
g
t
h structs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carpe
n
ter
implied: u
s
e implicatio
n
s from f
u
nction
c
o
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hooks: don't parse compa
r
i
son condit
i
o
n
s twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
conditions: set the
p
a
r
ent expression when parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arpenter
flow: rename set_parent() t
o
set_par
e
nt_ex
p
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n
C
a
r
penter
precedence:
f
ix some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpent
e
r
kernel_printf: ignore %pg whi
c
h are block pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
ind
e
ntin
g
:
ignore pre and po
s
t statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
comparison:
f
i
x
fallo
u
t
f
rom al
g
ebr
a
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
comparison: don'
t
re-implement expr_to_c
h
u
nk_sy
m
_v
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
e
n
te
r
h
e
lper:
a number is n
o
t a chunk in expr_t
o
_chunk(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carp
e
nter
function_hoo
k
s: d
o
n't process co
n
dition func
t
ions t
w
i
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
conditions: i
n
trod
u
c
e
t
he bi
g
_
c
ondi
t
io
n
_stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
function_hooks
:
reset sta
t
es to original state bet
w
e
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hoo
k
s:
r
eturn earlier on culled paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
memcpy_over
f
low:
sil
e
nce false pos
i
tive when destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n Carpenter
m
e
mcp
y
_
overflow: impro
v
e
struct mem
b
er
b
ounda
r
y
c
al
c
ulation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
an Carpenter
memcpy_overflow: fall back to type size to c
a
lculate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpe
n
ter
modi
f
ication_hook
s
: fix fall out
f
r
om
r
ec
e
nt change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
memcpy_over
f
low: ignor
e
1 e
l
ement arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
D
an
C
a
r
penter
memcp
y
_ov
e
rflow: handle array mem
b
ers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpen
t
er
i
n
dex_overfl
o
w: si
l
e
n
ce false positi
v
es
w
ith --sp
a
mmy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
Makefile: turn on -Wno-
s
witch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
extra: retur
n
a bit quicker if there are no tr
u
e and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carp
e
nter
extra: simpl
i
fy
t
he code in handle
_
com
p
ar
i
son() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpent
e
r
extra
:
handl
e
i
f
(offs
e
t + b
y
tes > size)
c
om
p
arison
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n
Carpe
n
ter
c
o
m
parison: ma
k
e modifications clear t
h
e co
m
parisons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Car
p
enter
modificatio
n
_hooks: in
t
roduc
e
a
d
d_mod
i
fication_
h
ook_late
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
compariso
n
: do algebra o
n
"foo + bar > baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Ca
r
penter
i
ndex_overflow: silenc
e
some warnings when --spammy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
comparison: spli
t
__co
m
p
a
rison_mat
c
h_co
n
d
i
t
ion() up
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpe
n
ter
comparison: store
parameter comparisons in the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_size: add some
m
ore allocation
functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
a
r
penter
me
m
cpy_over
f
l
o
w
:
fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n
Carp
e
n
t
er
buf_size:
ad
d
al
l
oc
_
pages() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
buf
_
size: handle getting address of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
memcpy_overflow: si
l
ence a
b
u
n
ch of f
a
lse posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Ca
r
p
ent
e
r
memcpy_ove
r
flow:
r
e
n
ame 'data' to
'limit'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
e
r
m
emcpy_overflow: use
ra
n
ge list from c
h
e
c
k_user
_
da
t
a2
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpe
n
ter
t
e
s
t
ing_i
n
dex_af
t
er_u
s
e: rename
c
heck_overflow to testing_in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carp
e
nter
overflow, alloca
t
ing_enough_data: split c
h
e
c
k_overflow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
over
f
low, snpr
i
ntf_overf
l
ow: split out snprintf checking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
r
penter
overflow, sprintf_overflow: split out s
p
r
intf checking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
overf
l
ow, strcpy_ove
r
f
low: s
p
lit strcpy
o
verflows into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
enter
c
heck_overflow:
delete some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
overflow,
m
emcpy_overflow: split che
c
k_ove
r
flow
.
c into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
enter
index_ov
e
rflow: delete some dead co
d
e, reverse some
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
overflow,
i
nde
x
_ov
e
rflow
:
sta
r
t spli
t
t
ing u
p
c
heck_over
f
low
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-01
Dan Carpenter
symbol
:
improve sizeof
(
) for
pack
e
d structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-28
D
a
n Ca
r
penter
buf_siz
e
: record variable size
b
uffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-27
Dan Ca
r
penter
address: take
a
l
ignment int
o
consideration and expo
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-23
Dan Carpenter
slis
t
: make __
m
e
rge_slist() allocate
le
s
s me
m
ory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-19
Dan Carpente
r
comparison:
f
i
x build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
D
a
n
C
arpenter
math: try har
d
er in
var_to_absolute
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
user_da
t
a2: introd
u
ce get_user_rl_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
D
an
C
a
r
p
ent
e
r
user_data2: white space stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan
Carp
e
nter
string
_
list: silence a
GCC warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
ke
r
nel_printf: we c
h
anged %pg to %pj
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpent
e
r
capped: multiplications can
b
e capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
D
a
n Carp
e
nter
capped: white
s
pace change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpente
r
capped
:
fix return implies
ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan
Carpe
n
t
er
capped: better handle on unmatched state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
e
x
t
r
a: hand
l
e return
e
d
s
tru
c
t members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next