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
overflow: check memcpy() to see if we're comparing past the end
2012-04-26
Dan Ca
r
penter
overflow: check memcpy() to see if we'r
e
comparin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
e
x
t
ra:
d
on't re
s
et
&arguments until
t
h
e
other
chec
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
flow: c
h
an
g
e how "for (i = 0; ;
i++) {
.
.
.
"
i
s handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpenter
*n
e
w*
o
r_vs_
a
n
d
:
c
o
mplain about if
(
x != 3 || x !
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Da
n
Carpenter
s
p
arse: introduce get_ex
p
ression_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n
Carpenter
t
y
pe: introdu
c
e
i
s_poi
n
ter() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rpenter
ext
r
a:
f
rob(foo) resets the value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
D
a
n Carpenter
extra: foo
(
(void *)&x) writes to x p
r
o
b
ably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpe
n
ter
ranges: intr
o
d
u
ce invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: h
a
ndle __
s
m
a
t
ch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Ca
r
pente
r
r
anges
:
commit range_lists_equiv() so
th
a
t
b
o
o
l
_implication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_
b
uf_size
.
sh: ask db what size buffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
C
a
rpenter
extr
a
: get_implied_ran
g
e_list()
sho
u
ld handle
c
onditi
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size: store buffer
sizes in db (tur
n
ed
o
ff
b
y
de
f
ault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
db: don't di
e
on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_impli
c
ations: make a list of impli
c
a
t
i
o
ns for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle l
o
gical
expre
s
sions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpenter
cor
e
: print
sm_
m
sg()s
b
efore
p
ar
s
ing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
par
a
meter_implica
t
ions:
g
enera
t
e list o
f
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
ar
p
enter
db:
m
a
tch_retur
n
() shouldn't r
e
-implement get_implie
d
_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Car
p
e
nter
math:
s
ort of h
a
n
d
l
e con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
n
te
r
math: simplify implied_condition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
si
m
plify known_c
o
nditi
o
n_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
math:
h
a
ndle _
_
smat
c
h
_
implied(({fro
b
(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpe
n
ter
math: handle foo =
!
2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpen
t
e
r
ex
t
ra, math
:
move know
n
_
conditon_
t
rue/false() e
t
c
fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
p
roj
e
ct
:
fix parame
t
er implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
nt
e
r
helper:
i
n
t
roduce get_mem
b
er
_
n
a
m
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
db: print all retur
n
values at
e
nd of
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpen
t
er
db: add som
e
smdb_
s
cr
i
pts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fil
l
_db_return_
i
nfo:
f
ix out dated pa
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
a
rpenter
extra: always initialize the range
in get_impl
i
ed_range_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
extra: fi
x
get_impl
i
ed_r
a
nge()
f
or fu
n
ction c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arpenter
check_mac
r
o
s: cleanup
:
us
e
posit
i
ons_eq
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pente
r
macro: take a struct position, not a
p
o
i
nter to
a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup:
m
ove dubug pr
i
ntfs to
t
h
e
ir
o
wn
f
unctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get
r
id of
p
ossibly_(true/fals
e
)
_range_l
i
st_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpent
e
r
ranges: cleanup: move
t
rue_comp
a
rison_ra
n
ge_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
e
x
tra:
a
dd para
m
eter imp
l
ic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Car
p
e
n
t
er
ranges: intr
o
du
c
e clone_permane
n
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
range
s
: initi
a
lize
the pointe
r
in ge
t
_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
db: ignore functions which a
r
e
c
alled
a
l
ot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: ex
p
ort get_
r
eal_
b
ase_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
db: add
c
ode t
o
hack up the database w
i
th pro
j
ec
t
specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpent
e
r
cond
i
tions: preser
v
e |= as the a
s
si
g
n op in foo
|=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan C
a
rpenter
type: sizeof
(
)
is unsign
e
d
long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
conditions:
s
parse never s
e
e
m
s to
use SPECIAL_
U
N
S
I
GNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
he
l
per: introduce positions_eq(p
o
s1, pos2) fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
b
u
ild
_
kernel_
d
ata
.
sh
:
m
a
ke it executab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
Carpenter
m
acro_s
i
de_effects: silence false p
o
sitives insi
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpent
e
r
test_kernel
.
sh: cre
a
t
e
a bak
.
smatch at
the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new* chec
k
_
m
acro_side_effects: m
a
cros wh
i
ch e
v
aluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpen
t
er
f
low: ignore __built
i
n
_
constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpe
n
ter
sparse: set the scope->t
o
ken memb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tree
.
pl: T
h
is
was still using t
h
e old
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan
Carpenter
b
uild_ke
r
nel
_
data
.
s
h
:
add --call-tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
locking:
i
g
n
ore
u
n
reachable unlock
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
er
locking: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpent
e
r
new_
b
ugs
.
s
h
: f
i
x it for gcc and
sparse warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
lo
c
kin
g
: tons o
f
locks were ig
n
o
r
ed because of cha
n
ges
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpen
t
er
token
_
store: cr
e
ates
a
po
s
i
tion -> token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merg
e
branch 'devel2
'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Carpenter
*new* check_bit_
s
hift
.
c
: (
f
oo &
B
A
R
) vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan
C
arpenter
*new* pointer_math: co
m
p
lain about ptr + sizeof() whe
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpe
n
ter
t
y
p
e:
export get
_
pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan
C
arpenter
t
ype: expor
t
g
e
t_po
i
nter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
flow: fix segfau
l
t
on pars
e
err
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carpenter
hooks: add CAST_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpenter
typ
e
:
add nr_
b
it
s
(str
u
ct expression *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpent
e
r
extra
:
dele
t
e the get_range_l
i
s
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Art
e
m Bityutsk
i
y
Makefile: do not insta
l
l
sparse and cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Car
p
enter
new: smatch_scripts/buil
d
_kerne
l
_dat
a
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan
C
a
rpenter
n
e
w
:
s
match_scripts
/
te
s
t_ke
r
nel
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
r
anges: make possibl
y
_true/false()
t
ake
e
x
p
r
e
s
s
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n Carpenter
expressions: new file sma
t
ch_expressions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpenter
tree wide:
d
on't pr
i
nt
o
ffse
t
into function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carp
e
nter
generize
.
pl: ma
k
e it w
o
rk for sparse warnings
a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n
C
arpenter
estate:
d
on'
t
r
e
use extra_un
d
efin
e
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpenter
contraints: add
option
-
-debug-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
r
penter
cons
t
r
aints: ma
k
e set_e
q
uiv() take an
e
xpression pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
extra, constraints:
m
ove set_e
q
uiv() from
e
xtr
a
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rp
e
n
t
er
debug: ad
d
__smatch_dump_rela
t
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
i
m
plied:
u
se add_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n C
a
r
p
ent
e
r
e
s
tate, ra
n
ges: move whole_range
from estat
e
to
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
extra: cleanup is_w
h
ole
_
range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an
C
a
r
pen
t
er
ranges: make pos
s
ibly_true_rang
e
_list_rl() take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
penter
ranges: rename get_singl
e
_value_from_din
f
o() =
>
estate_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
penter
impl
i
ed: use new estate_related() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n
Car
p
ent
e
r
c
on
s
train
t
s: use ne
w
e
sta
t
e_related() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constraints: make get
_
common_relationship() take
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate: introd
u
ce estate_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
C
arpente
r
e
state:
i
n
t
roduce estate_rel
a
ted()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
esta
t
e: i
n
troduce estat
e
_ranges() h
e
lper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpenter
dinfo, estate: mv
smat
c
h_dinfo
.
c s
m
a
tch_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpent
e
r
tree-wide: s/extra_stat
e
/estate/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra
,
d
info:
m
ove
ge
t
_dinfo() fr
o
m sm
a
tch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
e
x
tra,
rang
e
s: make
p
o
s
sibly_true/false() ta
k
e
an expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Car
p
enter
*new* kmalloc_wrong_si
z
e: ch
e
cks
the element si
z
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
debug: add _
_
s
m
a
tc
h
_im
p
lie
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-20
D
a
n Carpe
n
te
r
extra: modify matc
h
_
comparison()
s
o
i
t
can deal wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next