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
absolute: track the absolute limits that variables can be
2012-06-13
Dan Carpenter
buf_siz
e
: calculat
e
byt
e
s
per element
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
e
nter
b
uf_si
z
e: add
a b
a
sic validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_siz
e
:
if the size is variable pick the larg
e
r one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
b
u
f_siz
e
: move get_size_from_strlen
(
)
into it's ow
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
e
nter
bu
f
_
size: pull
g
et_size_from_
i
nitializer() into se
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
b
u
f_siz
e
:
m
ove get_sto
r
ed_size(
)
o
u
t of
g
et_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: pull handling of nor
m
al
arrays i
n
to separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Car
p
e
n
ter
buf_size: m
o
ve some functions aro
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size
:
add
modification
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
debug: add a way to debu
g
buff
e
r
s
ize
s
_
_
s
m
atch
_
buf_
s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an Carpenter
O
r vs and: warn abo
u
t
bitwi
s
e AND
s
that always gi
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpen
t
er
Or vs and
:
i
f
(fo
o
& ZERO) is
n
onsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
fun
c
t
ion_h
a
sh: make it easie
r
to h
a
ndle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
p
e
nter
si
g
ned: unbr
e
ak t
h
e check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpenter
o
v
erflow: update valida
t
ion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
h
andle struct initialization b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Car
p
en
t
er
f
l
o
w
: han
d
le EXPR_OFFSETO
F
and EXP
R
_ALIGNO
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
overflow: ignore "
x
= &
f
oo[ARRAY_S
I
Z
E(foo
)
];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
overflo
w
: white space cleanup
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
i
m
plied: the
b
ase slist is n
o
t sp
e
cial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
slist: ch
a
nge format fo
r
debug outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpen
t
er
ex
p
ress
i
ons:
introduce some more
e
xpres
s
ion
a
llocat
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
ter
valida
t
ion: update der
e
ference check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpenter
im
p
lied: certain states sh
o
uld be
l
eft as
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
slist: put the
s
m_state itself into ->pos
s
ibl
e
no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
sl
i
s
t: cleanu
p
me
r
ge_hook
s
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nte
r
extra: don't
c
r
ea
t
e a new merged estate
i
f ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
arpenter
estates: reuse same
estat
e
for
extra_
u
ndefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pente
r
constraints: get ri
d
of ad
d
_
e
q
u
i
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an
C
arpente
r
c
o
nst
r
aints: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
c
o
n
s
traints: fix set_
e
q
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: add_r
e
l
a
te
d
() should take
a
r
elated_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pente
r
constr
a
ints:
s
o
rt
t
he
-
>re
l
a
ted list p
r
op
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: r
e
place get_co
m
m
o
n_relationship() wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpente
r
slist:
mov
e
a
d
d_pool()
to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
an Carp
e
nter
b
it_shift:
a
dd test_bit()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpen
t
e
r
flow:
silence false positives
caused
b
y hairy funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
im
p
lied: rename ->my_p
o
ol to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
t
e
r
slist: rename add_possible() => copy_p
o
ssibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpen
t
er
or_vs_
a
nd: ignore *p+
+
|| *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
t
r
acker:
fix a sma
l
l memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
m
odificat
i
on:
remove
calls to
d
e
l
ete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Car
p
enter
c
heck_dereference: en
a
ble this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
db: store wh
e
ther f
u
nct
i
ons are
g
lobal or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
t
r
a
cker: re
m
ove unused clone_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
s
list: buffer ove
r
flow in deb
u
g
g
i
ng co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: fix
N
U
L
L
de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
er
db: white space clea
n
up
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpent
e
r
d
b: mo
v
e
para
m
eter
_
implicat
i
o
n
s into
the
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
C
a
rpenter
ra
n
g
es: add possibly_tr
u
e
/
false_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Carpe
n
ter
overflo
w
: a
u
tomatically list f
u
nction
s
t
h
at take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
arpent
e
r
modification_hooks: comple
t
e rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
D
an Carpenter
db: print the SQL queries
w
hen --debug is
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
c
leanup: use
valid_p
t
r_
m
in/ma
x
.
get rid of PO
I
N
TE
R
_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rpen
t
er
extra: derefere
n
cing a pointer mea
n
s
it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
C
arpenter
i
m
plied:
c
le
a
nup debug
o
u
t
p
ut a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
slist:
pu
l
l
show_sm()
i
nto a
separate func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
ch
e
ck_kernel: ERR
_
PTR() returns non-NULL (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
a
rpenter
dereference chec
k
s:
u
se the cross fun
c
tion info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carp
e
nter
*new* check_dere
f
e
r
en
c
es_param
:
l
ist functions th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*new* returns:
m
erge al
l
slists from all
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
db:
a
dd call
_
implie
s
t
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
flow: pr
i
n
t a d
i
fferent filename wh
e
n --info o
p
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpen
t
er
deref: fix a
t
ypo in
t
he e
r
r
o
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpenter
us
e
r_data: tr
a
ck user
d
ata that
i
s
r
e
turned to oth
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
rpent
e
r
bool_i
m
plic
a
tions
:
remove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
a
r
penter
f
ix
c
o
mpile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carp
e
nter
generisize
.
p
l: strip all strings
n
ot just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
Ca
r
pen
t
er
b
uf_
s
ize: Add
a
NULL
c
heck to get_array_size_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new*
sizeof_point
e
r
: using
s
izeof(p)
where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
overflow: check memcpy() to
s
ee if we're co
m
p
a
ring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
ext
r
a: don't r
e
set &arg
u
ments
until the other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
fl
o
w: change
h
ow
"
for
(i = 0
;
;
i++) {
.
.
.
" is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
*
n
e
w* or_
v
s_and:
complain about i
f
(
x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpen
t
er
sparse:
i
n
t
ro
d
uce get_expression_value_nomod
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan
Ca
r
penter
type: intr
o
duce is_poi
n
ter() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpen
t
e
r
extra: fro
b
(foo) resets
t
h
e
v
alue of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
penter
extra: foo((v
o
id
*)&x) writes to x probab
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
a
r
pe
n
ter
r
a
n
g
es: int
r
oduce inver
t
_ra
n
g
e
_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: h
a
ndle __smatch
_
impl
i
ed(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: com
m
it range_lists_equiv()
so that bool_i
m
plicat
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
smdb_pa
r
am_buf_siz
e
.
s
h: a
s
k db what size buff
e
rs
a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carp
e
nter
extra: get_implied_
r
ange_list() should handle condit
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
buf_size:
s
tore b
u
ffer size
s
i
n db (turned of
f
by
d
efaul
t
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
db: don'
t
die
o
n SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
b
o
o
l
_i
m
p
l
ications:
make a li
s
t
o
f implications for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carp
e
nter
math: handle logical
e
xpress
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carp
e
n
ter
core: print sm_msg()s before
p
a
rsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
en
t
er
para
m
eter_impl
i
cati
o
ns: ge
n
erat
e
l
i
st of f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Ca
r
p
e
nter
db:
match_return() s
h
oul
d
n't re-implement get_implied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h
: sort
of han
d
l
e
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
m
a
th:
s
implify implied_c
o
ndition
_
true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
r
penter
ma
t
h:
s
implify known_condit
i
on_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rp
e
n
ter
math: han
d
l
e
__smatch_implied(({frob(
)
; 2;}
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle
f
oo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
ext
r
a, math: move known_co
n
diton_true/false(
)
etc
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpenter
proje
c
t: fi
x
parameter
i
mplicati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
help
e
r: intro
d
uce g
e
t_member_
n
am
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
t
er
db:
p
r
int all ret
u
rn values
a
t
end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Da
n
Carpenter
db: add s
o
me s
m
db_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next