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
dev_queue_xmit: turn on by default
2012-06-15
Dan Carp
e
nter
Mer
g
e branch
'
buf_size
'
into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
D
a
n C
a
rpenter
Merge gi
t
:
//git
.
kern
e
l
.
o
r
g/pub
/
scm/devel/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
:
f
irst get the size in byt
e
s then
c
onve
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
b
u
f
_size: remove
c
a
s
t
_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: fix
byt
e
s_
p
er_element() for
s
trings
a
nd arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
b
uf_size: delete som
e
d
u
plicate c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pr
e
fer th
e
declared array
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
u
f_size: strcpy()
o
n
l
y sets the s
i
ze of the destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rpenter
b
u
f_s
i
ze: ig
n
o
r
e ca
s
ts i
n
get_array_size_b
y
te
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e
:
cre
a
te an el
e
m
ents_to_bytes() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpent
e
r
buf_size: se
p
arate bytes
_
per_el
e
me
n
t() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
u
f_s
i
z
e: using ->bit_size doe
s
n't work
for void pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_
s
ize: use ge
t
_st
o
red_size_byte
s
(
) directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpen
t
er
buf_si
z
e: make get_stored_size_bytes() a
separate fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pull bytes_to_element
s
() in its
o
wn functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
pen
t
er
buf_size: ca
l
c
ulate bytes per element better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
:
add a
b
asi
c
validation t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: i
f
the s
i
ze
i
s variable
pi
c
k th
e
lar
g
e
r
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
si
z
e: move get_size_
f
rom_strlen
(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
bu
f
_
size: pull g
e
t_siz
e
_from_initiali
z
er() into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: m
o
ve get_stored
_
size
(
)
out
o
f get_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpen
t
er
buf_s
i
ze: pull handling of no
r
mal arrays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_
s
ize:
m
ov
e
s
ome functions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpe
n
ter
buf
_
s
ize: add modi
f
i
cation hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpe
n
ter
deb
u
g: add a way to debu
g
buffer
sizes __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
Or v
s
and: warn about bitwi
s
e ANDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
pe
n
ter
Or
vs and
:
if
(foo & ZERO) is no
n
sense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
f
u
nction_hash: make
it
easier to handle a file
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed: unbreak
the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
overflow: update valida
t
ion tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
f
low:
h
an
d
le struc
t
initiali
z
ati
o
n b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle EXPR_OFFS
E
TOF and EX
P
R_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpen
t
er
overflow:
i
gnore "x = &foo[ARRAY_
S
IZE
(
fo
o
)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
ar
p
enter
ove
r
f
l
ow
:
white sp
a
ce c
l
eanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the base slist is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
s
l
is
t
: change format for
debug ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
expressions: i
n
troduce s
o
m
e
more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Ca
r
penter
v
a
l
ida
t
ion: upda
t
e dere
f
erence
check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implied: certain s
t
a
t
es should be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an
C
arpenter
s
l
i
st: put th
e
sm_state itself into ->pos
s
ible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpenter
slist: c
l
eanup merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
ext
r
a:
d
on't create a n
e
w me
r
ged
e
state if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
pe
n
ter
estates:
reus
e
same
e
s
tate for extra_un
d
efined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
arpent
e
r
constraints: get rid of a
d
d_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpe
n
t
er
co
n
s
t
r
aints:
r
emove s
o
me dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
cons
t
ra
i
nts: fi
x
s
et_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
constraints
:
add_rela
t
ed() should take a relate
d
_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrain
t
s
: sort the ->related list properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: replace get_common_relationship
(
) with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
a
rpenter
slist: move
a
d
d_pool()
t
o smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
b
i
t
_
shift: add test_bi
t
(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpen
t
er
flow: si
l
ence false positives
c
aused
b
y hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: re
n
ame ->my
_
po
o
l to
->
p
ool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
slist:
r
ename
add_possible
(
) => copy_
p
oss
i
bles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and: ignore *p++ ||
*
p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
p
en
t
er
tracker: fix
a
sma
l
l memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modifi
c
a
tion: remove calls to delete_st
a
t
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
check_
d
ereference:
e
nable
t
his
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
db: store whether functions
a
r
e
gl
o
bal or st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
r
acker:
r
emove unused clone_tracke
r
_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist
:
b
uffer overf
l
ow in
d
ebugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data
:
fix NULL dere
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
r
penter
db: wh
i
t
e space
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move
p
arameter_implications into th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nte
r
rang
e
s: add
po
s
s
i
bly_
t
rue/false_range_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: autom
a
ti
c
ally list funct
i
ons that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpenter
mo
d
ification_
h
o
oks:
complet
e
rewrit
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpente
r
db: print
the SQL q
u
eries when
--deb
u
g is
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpenter
cl
e
an
u
p: use valid_ptr_m
i
n
/
max
.
get rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
e
x
t
ra: dereferenci
n
g a pointer means i
t
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Ca
r
pent
e
r
implie
d
: cleanup
debug ou
t
put a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpe
n
ter
slis
t
:
p
ull show_sm() into
a s
e
parate fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
arpe
n
ter
check_kernel: ERR_PTR() returns non-NU
L
L (m
o
stly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
d
er
e
f
e
rence checks:
use the cross
f
u
nction info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_de
r
efe
r
ences_para
m
: list
f
unct
i
ons that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*
n
ew* returns: merge all
s
lis
t
s from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpent
e
r
db: add call_implies tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
flow: print a
d
i
fferent
filename
w
hen
-
-
i
nfo o
p
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
der
e
f: fix a t
y
po in the
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an Car
p
enter
user
_
data
:
track u
s
er
d
ata that i
s
returned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool_implicatio
n
s: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Da
n
Carpent
e
r
fix comp
i
l
e on
Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpent
e
r
gene
r
i
size
.
pl:
strip
al
l
s
t
rin
g
s no
t
just the
f
irst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpenter
bu
f
_
si
z
e: Add a NU
L
L
check
to get_array_size
_
bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n C
a
rpenter
*new* sizeof_point
e
r: us
i
ng sizeof(
p
) whe
r
e sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carp
e
nter
o
v
erflow: check memcpy() to see
if we'r
e
compa
r
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpent
e
r
ex
t
ra:
d
on
'
t
r
eset &argum
e
nts unt
i
l the othe
r
check
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
flow: chang
e
how "for
(
i = 0; ;
i
++) {
.
.
.
"
is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
*new
*
or_vs
_
an
d
:
c
omplain abo
u
t if (x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Ca
r
penter
spars
e
:
introduce g
e
t_expres
s
ion_va
l
ue_nom
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n Carpenter
t
y
p
e
: intr
o
d
u
ce is
_
point
e
r() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
ex
t
ra: fro
b
(foo) resets the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
a
rpe
n
te
r
extr
a
: foo((vo
i
d
*
)&x) w
r
ites to
x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: introd
u
ce invert_range_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
th: handle __smatch_im
p
lied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Car
p
enter
ranges: commit range_lists_equi
v
() so th
a
t bool_i
m
p
l
i
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_
p
aram_buf_size
.
sh: ask db
what size buffers a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carp
e
nter
e
x
t
r
a: get_implied_rang
e
_lis
t
() should handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
u
f_size: sto
r
e buffer sizes i
n
db (turn
e
d off by defau
l
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpen
t
er
db: d
o
n'
t
d
ie on SQL err
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next