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
buf_size: fix bytes_per_element() for strings and arrays
2012-06-13
Dan Carpente
r
buf_size: fix bytes_per_element() f
o
r strings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_size: delete some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size:
p
refer the decla
r
ed array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carp
e
nte
r
buf_size: strcpy() on
l
y sets the size of the destin
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
buf_s
i
z
e
: ignore
c
asts i
n
get_ar
r
ay_size_byte
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: create an elements
_
to_
b
y
te
s
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
buf_si
z
e: se
p
arate bytes_per_element(
)
in
t
o its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
usin
g
->bit_s
i
ze doesn't
work for
void
p
ointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_size: use get_stored_
s
ize_bytes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: make get_
s
t
o
red_
s
i
z
e_bytes(
)
a separate
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_
s
ize:
p
ull bytes_
t
o_e
l
e
m
ents()
in its own fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: calculate bytes per
e
lement better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size
:
ad
d
a basic validation t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
:
if the s
i
ze i
s
variable pick
t
he larger
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf_size:
m
ove get_size_fro
m
_
s
trlen() into i
t
's
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
buf_size:
p
ull
get_size_from_ini
t
ializer() into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpente
r
buf_size:
m
ov
e
get_stored_size() out of ge
t
_array
_
size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
bu
f
_size:
pull handling of n
o
rmal arrays
into s
e
parat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
buf
_
si
z
e: m
o
v
e s
o
me functions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
buf_size: a
d
d modific
a
tion hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug: add a way to debug buffer
s
izes __smatch_buf
_
si
z
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs
and: warn
about bitwise ANDs that
a
lways give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs
and: if (fo
o
& ZERO) is non
s
e
n
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpente
r
function
_
hash: ma
k
e i
t
easier
to handle a file
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Da
n
Carp
e
n
t
e
r
s
i
gned:
unbrea
k
t
he chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
o
v
erflow:
u
p
d
ate
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpent
e
r
flow: handle st
r
uct i
n
itializati
o
n bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
r
pent
e
r
flow: handle EXPR_OF
F
SE
T
OF and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpe
n
ter
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
C
arpe
n
ter
o
verflow:
white
s
pace cl
e
anups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the base slis
t
is not spec
i
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: change format
f
o
r
d
e
bug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Car
p
enter
expre
s
sions: introduce some more
e
x
p
ression alloc
a
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validation: update d
e
refe
r
ence check outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Carpenter
im
p
li
e
d: cert
a
i
n
s
t
a
t
e
s sho
u
l
d
be left
a
s
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Car
p
enter
s
list: put the sm_stat
e
itself into -
>
possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cle
a
nup merge_hooks A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don'
t
create a ne
w
merged estate if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
estat
e
s: reuse same
estate for ex
t
ra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
c
o
nstrai
n
ts: g
e
t rid of add_eq
u
i
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
const
r
aint
s
: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpent
e
r
cons
t
raint
s
: fix
s
e
t
_
e
qu
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
co
n
st
r
a
ints: add_related() s
h
ould take a related_lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: so
r
t
the ->re
l
ated
list pro
p
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
con
s
t
raint
s
: replace
get_comm
o
n_
r
elati
o
nshi
p
() w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
penter
slist:
move add_pool(
)
to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
an C
a
rpenter
b
i
t_shift: add t
e
st_bit
(
) fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n Carpenter
f
low: silence false positives
c
a
u
sed by ha
i
ry fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: r
e
n
a
me ->my_
p
ool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
l
i
st: ren
a
m
e
add_possible() => copy_possi
b
les()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
or_vs_and:
ignore *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
trac
k
er:
fix a
s
mall memory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
mo
d
ification: r
e
move
c
alls
t
o delete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
c
h
e
ck_de
r
efere
n
ce: enab
l
e thi
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpe
n
ter
db: store whether function
s
are global or sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
tra
c
ker:
r
e
mov
e
unused clone_tracker_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slis
t
:
buf
f
er overflow
in
d
ebugging
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data
:
f
i
x NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
r
penter
db: white s
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move param
e
ter_implicati
o
ns int
o
the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ran
g
e
s
: add possibly_true/false_ran
g
e
_
l
ists_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpe
n
ter
o
v
er
f
low: autom
a
ticall
y
l
ist functions that ta
k
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
mo
d
ifi
c
ation_hooks:
c
omp
l
ete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
D
an
C
arpent
e
r
db: print the SQL q
u
er
i
es when --debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup: use
valid_ptr_mi
n
/max
.
get
rid
o
f POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
e
x
tr
a
: dereferen
c
ing a pointer m
e
a
ns it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carp
e
nter
impl
i
ed: cleanup debug output a l
i
ttl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpent
e
r
slist: pull show_sm() into
a
separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kernel: ERR_PTR(
)
returns n
o
n-NULL (mo
s
tly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
ereference checks: use the
c
ross functi
o
n in
f
o from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
*n
e
w
*
check
_
der
e
ferences_param: list funct
i
ons th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* ret
u
rn
s
: merge
a
l
l sl
i
sts
f
rom all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
a
rpenter
db:
add call_implies tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
f
l
ow: p
r
int a
di
f
feren
t
filename when -
-
info
option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
deref: f
i
x a typ
o
in th
e
error
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
en
t
er
us
e
r_data: track
us
e
r data that is
returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
enter
bool_implicati
o
n
s
: remove d
e
b
u
gg
i
n
g
o
u
tpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Da
n
Carpenter
f
ix
compile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
e
nter
generisize
.
pl: strip all strings not
just t
h
e first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpen
t
er
buf_size: Add
a
NULL check to get_array_size
_
bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*n
e
w* sizeof_po
i
nte
r
:
using
s
izeof(p
)
where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
ar
p
e
n
ter
over
f
l
ow
:
c
h
eck
m
emcpy() to see if we're comparin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpe
n
ter
extra: don't re
s
e
t &argume
n
ts
u
nt
i
l th
e
other
c
hecks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpent
e
r
flow:
chan
g
e h
o
w "for (
i
=
0
; ; i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
*new* or_vs_and: c
o
mplain abo
u
t i
f
(x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse: in
t
roduce get_e
x
pression_
v
alue_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
ype: i
n
troduce
is_point
e
r
(
) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
pent
e
r
extra: f
r
o
b(foo) resets t
h
e
v
al
u
e
o
f *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra
:
foo((void *)&x) writes to x prob
a
bly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
r
a
nges:
i
ntroduce inv
e
rt
_
r
a
nge_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpenter
ma
t
h
:
handle __smatch_im
p
lied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
rang
e
s: commit range_lists
_
equiv() so t
h
a
t bool_implication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nte
r
s
mdb_param
_
buf_siz
e
.
sh: ask db what size
b
uffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
e
xtr
a
: get_im
p
l
i
ed_range_
l
ist() should handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size
:
sto
r
e b
u
ffer si
z
es in db
(
t
u
rned o
f
f by
d
e
f
ault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
db: don
'
t
die on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bo
o
l_
i
mplicat
i
o
ns: ma
k
e a
l
ist of im
p
li
c
ations for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
arpe
n
ter
math:
h
and
l
e logic
a
l expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
core
:
p
rint sm_msg()s before parsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
ar
p
enter
parameter_i
m
p
l
i
c
a
t
ions: generat
e
list of func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next