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
D
an Carpent
e
r
avl: remove
s
ign()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nte
r
slist
:
in
t
roduce typ
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Ca
r
penter
condi
t
ions: add a NULL che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carpenter
i
m
plied: revert n
o
t alrea
d
y
se
t
chang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
extr
a
: han
d
le post
o
p increment l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan
C
arpe
n
t
e
r
type: fix
"
str
a
nge non-value function
o
r
array" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
le
a
k
s
: do
n
't r
e
set states to
t
hemselves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan C
a
rpente
r
flow,
c
o
nditions: handle la
b
el s
t
atements
correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan
C
arp
e
nt
e
r
db: fix a
bu
g
in s
p
l
i
tting return states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Ca
r
p
ent
e
r
R
e
vert "s
t
ates: only set
t
he fak
e
_stree in set_state()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
locking: don't war
n
about i
m
possible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
validation/sm_implied8
.
c: update test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
function_hooks: u
s
e __se
t
_sm_cur_stree
(
) in db_retu
r
n_
s
ta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
an C
a
rpe
n
ter
states: only set
t
he
fake_stree in
set_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
a
r
penter
implica
t
ions: use stor
e
d
_
c
o
ndit
i
on
s
the default f
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Car
p
enter
impli
e
d: unbreak assig
n
_ranged_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Ca
r
penter
s
tate
s
:
d
elet
e
a
n
u
nused functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan
Carpenter
imp
l
ied: fix
P
ARAM_LIMIT implications again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
implied: fall
out from fake_cur_str
e
e
chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Car
p
enter
real
_
absol
u
te: += and
=
are n
o
t t
h
e same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Car
p
enter
states:
__set_sm_cur_stree() should
n
o
t
change the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
state
s
: sett
i
ng the true stat
e
doe
s
n't se
t
t
he cu
r
_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
imp
l
ied: fix a
b
ug handli
n
g
P
ARAM_LIMIT
im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
v
ali
d
ation: add
sm_impossible2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
a
r
p
en
t
e
r
struct_assignmen
t
:
silence a GCC
false
positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carpenter
validation/
s
m
_
i
m
p
lied10
.
c: update th
e
te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
ex
t
ra: f
i
x values_fit_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
Revert "sl
i
st: mak
e
__merge_s
l
ist() allocate less memory
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
flow: silence a GCC
false posi
t
ive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validation/sm_co
m
par
e
3
.
c: update the c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
an Carpenter
validation: update sm
_
math1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
an C
a
rpe
n
ter
v
a
l
idation: updat
e
sm_overflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validati
o
n/s
m
_inline3
.
c
:
rem
o
v
e
acciden
t
al include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
enter
validation: update a couple compare tests a
n
d
m
ake
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Ca
r
pente
r
v
ali
d
ation/sm_buf_size6: us
e
cor
r
ect element count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation: update sm_
a
rray
_
ov
e
rfl
o
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
mem
c
py_ove
r
flow: ignore some struct types which caus
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arpenter
m
e
mcpy
_
overflow: handle variab
l
e length
structs correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
implied: use
i
mplicat
i
ons from fu
n
c
tion conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Carpenter
function_ho
o
ks
:
don'
t
par
s
e
compa
r
ison conditions twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
co
n
diti
o
ns
:
s
e
t the pare
n
t expre
s
sion when p
a
r
s
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Ca
r
p
ent
e
r
flow: rename set_paren
t
() to
s
et_pare
n
t_expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carpenter
precede
n
ce: fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
ke
r
n
e
l_pr
i
nt
f
: ignore %pg w
h
ich a
r
e
block pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
i
n
de
n
ting: ignore pre
a
nd post statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
compari
s
on: fix
fallout
f
rom algebra change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
comp
a
rison: d
o
n't re-im
p
l
e
me
n
t ex
p
r_to_chunk
_
sym_vsl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Carpenter
help
e
r: a number is
not
a
chunk
i
n expr_to_c
h
un
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan
C
arpenter
function_hooks: don't proce
s
s
condit
i
on funct
i
ons twic
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
conditions:
intro
d
u
ce th
e
big_condition_stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carpenter
function_hooks:
r
eset stat
e
s to original state between
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
function_hooks: ret
u
rn
earlier on
culled path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan
Carpenter
memc
p
y_o
v
erflow: silence
f
alse posit
i
ve when destin
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Ca
r
penter
memcp
y
_overflow: imp
r
ove struct member bounda
r
y
c
alculation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
memcpy_ov
e
rflow: fall back to
t
ype size to cal
c
ulate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-05
Da
n
C
arpenter
modi
f
ication_
h
o
oks:
f
ix fall out
from recen
t
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
D
an Carpen
t
er
memcpy_overflow: ig
n
ore
1 element arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
D
an Ca
r
p
e
nter
me
m
c
py_overflow:
handle
a
r
ray members better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
i
ndex_overflow: silence fa
l
se p
o
sitives with
-
-s
p
am
m
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpe
n
ter
Mak
e
file: turn o
n
-Wno-switch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n
Carpenter
extra: return a bit quicker
i
f t
h
ere
are
no
true
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
ext
r
a:
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
D
a
n Carpenter
extra: handle if
(
offse
t
+ bytes > s
i
ze) c
o
mp
a
risons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpenter
com
p
arison
:
make
m
odifi
c
ations clear the comparisons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n Car
p
e
n
ter
modificat
i
on_hooks: int
r
odu
c
e add_modification_hook_late()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Carpenter
comp
a
ri
s
on: d
o
algebra on "foo +
b
ar
> baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-03
D
a
n Carpen
t
er
index_ov
e
rflow: silence so
m
e war
n
ings
w
h
e
n
--spammy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
compari
s
on:
s
pl
i
t __comparison_match
_
condition()
u
p
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
c
o
mparison: store
p
arameter compa
r
isons
i
n t
h
e
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
buf
_
size: add
s
ome more al
l
o
cation functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpe
n
ter
m
emcpy_o
v
e
rflow:
f
ix build er
r
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
bu
f
_size
:
ad
d
all
o
c
_pa
g
es() and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_size:
ha
n
dle getting address of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
er
memcpy_overflow: silence a bun
c
h of false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
memc
p
y_overflow:
re
n
ame 'data' to 'limit
'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpen
t
er
memcp
y
_
o
verflow: use range list from check_user_data2
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
testing_index_
a
fter_use: rename check_overflow to testing
_
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpen
t
er
overflow, allo
c
ating_en
o
ugh_data: spli
t
check_overflow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
ove
r
flow, snpr
i
ntf_over
f
low: s
p
l
it
o
ut s
n
printf
checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpent
e
r
over
f
low, sprintf_overflow: spl
i
t out
s
printf
checking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Ca
r
penter
o
v
erflow, strcpy_overflow: split s
t
rcpy o
v
erflows into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
check
_
ove
r
flow: delete
s
om
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Dan
C
arpen
t
er
o
verflow, memcpy
_
overflow:
split ch
e
ck_overflow
.
c
in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
C
a
rpe
n
ter
in
d
e
x
_ove
r
flow: delete so
m
e
dea
d
code, reverse some
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-02
D
an Carpent
e
r
overflow, index_over
f
l
o
w
:
st
a
r
t splitting
up check_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-01
Dan Carpenter
symb
o
l: improve sizeof() fo
r
pa
c
ked
structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-28
Dan Carpenter
bu
f
_
si
z
e: record var
i
able size bu
f
fers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-27
D
a
n Carpent
e
r
addr
e
ss: take alignment into consid
e
rati
o
n and export
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-23
D
an Carpenter
slist
:
ma
k
e __merg
e
_slist() allocat
e
less memo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-19
Dan Carpen
t
er
comparison:
f
ix bu
i
ld
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carp
e
nter
math: try h
a
rder in var_to_absolute
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
C
arpen
t
er
user_data2: introd
u
ce get_us
e
r_rl_var
_
sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan
Carpenter
u
s
e
r_dat
a
2
: white space stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
strin
g
_list: silence a GCC warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Car
p
ent
e
r
kernel_printf:
w
e
c
hange
d
%pg to
%pj
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
c
appe
d
:
m
u
l
t
ipl
i
cations
ca
n
be
cappe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpen
t
er
capp
e
d
:
whi
t
e
s
pace change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpent
e
r
capped: fix r
e
turn implies
ca
p
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
D
a
n
Car
p
enter
capped: better
h
andl
e
on
unm
a
t
c
he
d
st
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
D
an
C
arpenter
e
x
tra: handl
e
returned struct m
e
mbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next