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
states: handle fake slist properly when we merge true and false paths
2016-03-07
Dan C
a
rp
e
nter
sta
t
e
s
: han
d
le fake slist
properly
w
h
en
w
e merg
e
true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Car
p
e
n
ter
validat
i
on: a
d
d
a
t
e
s
t for ra
n
ged
case statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Car
p
enter
conditions: big fak
e
state
re-wor
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
Ca
r
pente
r
a
v
l: remove sign() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nter
sli
s
t: introduce typ
e
_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
conditions: add
a NULL
chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carp
e
nt
e
r
impl
i
ed: rever
t
not
alr
e
ady set
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
D
a
n C
a
rpenter
extra: handle
post
op increment loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan
Carpe
n
t
e
r
t
ype: fix "st
r
a
n
ge non-value func
t
i
on or array"
w
arning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan C
a
rpenter
leaks:
do
n
't
reset states to themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpe
n
ter
flow, condi
t
i
o
n
s
:
h
andle label
s
tate
m
e
nts correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db:
f
ix a bug in split
t
i
n
g re
t
urn st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert "sta
t
es:
o
n
l
y
set the fake_stree in set_state(
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n
Ca
r
penter
locking: do
n
'
t
warn ab
o
ut impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Car
p
e
nte
r
validation/sm_implied8
.
c: update
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
function_hoo
k
s: use __se
t
_sm_cur_stree() in
d
b_return_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n C
a
rpenter
states: only se
t
t
h
e fake_stree
i
n se
t
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
implicatio
n
s: use stored_con
d
i
t
i
ons the default fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
rpenter
implied: unbreak as
s
ign_
r
ang
e
d_func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n
Ca
r
penter
states: delete an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Da
n
Carp
e
nter
impli
e
d: fix PA
R
AM
_
LIMI
T
implications again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
an Carpenter
i
m
plied:
fall out from fak
e
_cur_stree c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Carpe
n
ter
real
_
a
b
solute: +=
a
nd =
a
re not
the
s
ame
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Car
p
ente
r
states:
__se
t
_s
m
_cur_stree() should not change t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
an Carpenter
states:
setting t
h
e true state d
o
esn't set the
cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carpenter
implied: f
i
x a bug hand
l
ing PARA
M
_L
I
M
IT implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carpenter
validation: add sm_impossi
b
l
e
2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carp
e
nter
struct_ass
i
g
n
ment:
s
i
lence a GCC
false
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
a
rpenter
validat
i
on/sm_implied10
.
c: update t
h
e test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpen
t
er
extra: fix values_fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
C
arpenter
Revert "slist: make __merge_s
l
ist() allocate less
m
emo
r
y"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
r
penter
flow: silence a
G
CC false
pos
i
t
ive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Car
p
enter
valida
t
ion/sm_compare
3
.
c: upda
t
e
the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
an Carpenter
validation: upda
t
e sm_mat
h
1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Carpen
t
e
r
validation: update sm_o
v
erf
l
ow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validatio
n
/sm_inline3
.
c
: remove acci
d
ental in
c
lude
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Car
p
enter
valida
t
i
o
n
:
update
a
couple compare tests and make
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
a
r
p
e
nter
validation/sm_b
u
f_size6
:
use
cor
r
ec
t
element cou
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation
:
upd
a
te sm_arra
y
_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
me
m
c
p
y_ove
r
flo
w
: ignore
s
ome str
u
ct types whi
c
h caus
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
memcpy_overflo
w
: ha
n
dle va
r
iab
l
e
l
e
ngth st
r
ucts correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carp
e
nter
implied: use
i
m
plications
f
r
om function conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
function_hooks: don't p
a
rse
c
ompa
r
ison conditions twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
cond
i
tion
s
: set th
e
parent expres
s
io
n
when
p
a
rsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
flo
w
: re
n
ame
s
et_parent()
to se
t
_paren
t
_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
p
recedence: fi
x
some
false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
kern
e
l_printf:
i
gnore %pg which are block point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n C
a
rpenter
i
n
dentin
g
: ignore pre
and post statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
compa
r
ison: fix fallout fr
o
m algebra change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Carpenter
c
o
mpar
i
son: don't re-implement expr_
t
o_c
h
unk_s
y
m_vsl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
h
elper: a numb
e
r is not a chunk in
expr_to_chunk()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Carp
e
nter
function_
h
ooks
:
don't process condit
i
o
n functions
twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpe
n
ter
conditions:
i
ntroduce the big_condition_stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Carpe
n
ter
funct
i
on_hook
s
:
reset states to original
s
tat
e
betwe
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpente
r
function_hooks: return earlier on culled p
a
t
hs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpen
t
er
memcpy_overflow: si
l
ence
f
alse positive when d
e
st
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpente
r
memc
p
y_overflow: imp
r
ove struct member boun
d
ary c
a
lculati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
Dan Carpenter
memcp
y
_ov
e
r
f
lo
w
: fall back to ty
p
e size t
o
ca
l
culate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-05
D
a
n
C
arpe
n
ter
mo
d
if
i
cation_hooks: f
i
x
fa
l
l out from re
c
ent
c
han
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Carpenter
memcpy_
o
verflo
w
: ignore 1 e
l
ement arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan Car
p
e
nter
memcpy_o
v
erflow: han
d
le array
m
e
m
bers bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-04
Dan
Carpe
n
ter
index_overflow: silen
c
e false positives with --spammy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Car
p
enter
Makefile
:
turn on
-Wno
-
switch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpe
n
ter
ex
t
ra: return a bit quicker if there are no true a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
extra:
s
implify
t
he code in handle_compari
s
o
n
() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan
C
arpenter
ex
t
ra: handle if (of
f
se
t
+ byte
s
>
s
ize) compariso
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Da
n
Carpenter
comparison: mak
e
m
o
difi
c
ations
cl
e
ar
t
he comparison
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
mo
d
ification_
h
ooks:
int
r
odu
c
e add_modification
_
ho
o
k_la
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
D
an Carpenter
c
o
mpari
s
on: do algebra
o
n "foo + bar > baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-03
Dan Carpenter
i
ndex_overflow: sil
e
nc
e
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
C
a
r
penter
comparison:
s
p
l
it __comparison_match_condi
t
ion() up
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Ca
r
penter
comparison: stor
e
parameter c
o
mparisons in the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_
s
iz
e
:
add so
m
e mor
e
allo
c
a
t
ion functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpenter
memcpy_overflow: f
i
x build erro
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
buf_
s
ize: add alloc_pages() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Ca
r
penter
buf_size:
h
andle g
e
t
ting ad
d
ress of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
D
a
n Carpenter
memcpy_overflow: s
i
lence a bunch of
f
alse posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
memcpy_overflow: rena
m
e 'data' to 'limit'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpe
n
ter
m
emcpy_overflow:
u
s
e ran
g
e list f
r
o
m che
c
k_user_
d
ata
2
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Car
p
enter
testing_index_after_use: renam
e
c
h
e
c
k_overflow to
tes
t
ing_in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
overflow,
alloc
a
ting_enough_data: s
p
lit check_o
v
erflow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carp
e
nter
ov
e
r
f
low, snprintf_overflow: split out s
n
printf checkin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan C
a
rpenter
overflow
,
sprin
t
f_
o
verflow: split out sprintf checki
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
C
a
r
pen
t
er
overflow, strcp
y
_
overf
l
ow
:
split strcpy o
v
erf
l
ows into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpenter
check_over
f
low: delete some d
e
a
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Da
n
Carpenter
o
verflow, memcpy
_
overflo
w
:
split check
_
overf
l
ow
.
c i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan
Carpenter
in
d
ex_o
v
erflo
w
:
delet
e
some dead code, reverse s
o
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-02
Dan Carpente
r
o
v
e
rflow, index_ov
e
rfl
o
w:
star
t
splitt
i
ng up check_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-01
Da
n
C
arpen
t
er
symbo
l
: improve sizeof() for p
a
cked structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-28
Dan Car
p
enter
bu
f
_si
z
e: record varia
b
l
e
s
iz
e
buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-27
Dan Carpen
t
e
r
a
ddress
:
take ali
g
nment into considera
t
ion
and
e
xport
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-23
Dan
Carpenter
sli
s
t: make __merge_slist()
a
l
locate
less memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-19
Dan Carpenter
compari
s
on: fix build
e
rror
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpen
t
e
r
math:
t
ry harder in var_to_ab
s
o
lute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Car
p
enter
user_
d
ata2: introduce
get_user_rl_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
user_d
a
ta2: w
h
ite spac
e
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
kernel_print
f
: we
ch
a
nged %
p
g to %pj
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Ca
r
penter
capp
e
d: multiplications
c
an be capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Da
n
Carpenter
capp
e
d:
w
h
ite sp
a
ce change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next