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: remove strncpy() false positives
2012-06-18
Dan
C
arpenter
o
v
erflow: rem
o
ve strnc
p
y() false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
p
e
n
t
er
Me
r
g
e branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpe
n
ter
b
uf_size: turn
o
ff b
u
f si
z
e for &a
d
dresses un
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: h
a
ndle the
__n
o
r
e
tu
r
n
_
_ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_si
z
e: remove the &
*
and [0] f
r
om
aro
u
nd the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carp
e
nt
e
r
sm_buf: d
o
n't return the maximum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_si
z
e: retur
n
the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size: add kmalloc_array() and
sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
b
uf_siz
e
: if
t
he member size i
s
no
t
kn
o
wn then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carpente
r
Merge
b
ranch '
b
uf_size' into de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
Merge git://git
.
ke
r
n
e
l
.
o
r
g/pub/scm
/
devel/spars
e
/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
en
t
er
buf_siz
e
: first get the size in bytes t
h
en convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: r
e
move cast_ratio
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
b
uf
_
size
:
fix bytes_p
e
r_element() for strings and
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carp
e
n
t
er
buf_s
i
ze:
delete some du
p
licate
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size
:
prefer the declared
a
r
ray
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpenter
b
u
f_size: strcpy() on
l
y sets t
h
e
s
ize of the
d
estination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: ig
n
or
e
casts
i
n g
e
t_array_si
z
e_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpente
r
buf_size: create an elements_to_bytes() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: se
p
arat
e
byt
e
s_
p
er_element() i
n
to its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpent
e
r
buf_size: u
s
ing ->bit_size
d
oesn't work for void pointer
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
b
uf_size: use get
_
s
t
ored_size_b
y
t
es() dir
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: m
a
k
e g
e
t
_stored_size_bytes()
a
s
ep
a
rate
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_siz
e
: pull bytes
_
to_elements() in its
own
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carp
e
n
t
er
buf_siz
e
: ca
l
c
u
late bytes per el
e
ment
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: add a ba
s
ic validation te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: i
f
th
e
si
z
e is var
i
abl
e
pick
the large
r
o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
buf_
s
ize: mo
v
e get_si
z
e_from_strl
e
n() into it'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_si
z
e
:
pull get_size_from_initi
a
lizer() into separ
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move get_st
o
red_size()
out of
g
et_
a
rray_size(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
b
uf_size: pull h
a
ndling of normal
a
rra
y
s in
t
o separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
bu
f
_s
i
z
e
:
move some functions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f
_size: ad
d
modif
i
cation
ho
o
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debu
g
:
add a wa
y
to debug buffe
r
sizes __sm
a
tch_
b
uf_si
z
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rpenter
Or vs and: wa
r
n about bitwise A
N
Ds that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
Or vs and
:
i
f (foo
&
ZERO) is nonse
n
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpen
t
er
function_ha
s
h:
make it easier to han
d
le a fi
l
e with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpent
e
r
sig
n
ed:
unb
r
eak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
r
penter
o
verfl
o
w: update validat
i
on t
e
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flo
w
: h
a
ndle str
u
ct
i
n
i
ti
a
l
i
z
a
tion be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
flow: h
a
ndle EXPR_OF
F
SETOF and
EXPR_ALIG
N
OF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpenter
overflow: ignore "x = &foo[ARRAY_
S
IZE(f
o
o
)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
overf
l
ow:
w
h
i
te space
clea
n
up
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: th
e
bas
e
slist is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
sl
i
st
:
change f
o
rm
a
t
f
o
r debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
ex
p
ress
i
ons: introduce
s
ome
more expression
allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Ca
r
p
e
nter
validation: up
d
ate dereference check outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
i
m
pl
i
e
d: c
e
rta
i
n s
t
a
tes shou
l
d be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpente
r
sl
i
st: pu
t
t
h
e sm_state i
t
self into
->possib
l
e no
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpenter
slist
:
cleanu
p
merge_
h
oo
k
s
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
e
x
tra: don't c
r
eate a new
m
e
r
ge
d
e
s
tate if ->r
i
ght
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carp
e
nter
esta
t
e
s
: reuse same estate for ext
r
a_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
ints:
g
et rid of add_eq
u
iv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
rpenter
con
s
traints:
remove some dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
train
t
s: fix se
t
_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
penter
constra
i
n
ts: add_rela
t
ed() should take a rel
a
t
ed_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpent
e
r
con
s
trai
n
t
s: sort the ->related list properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constraints: r
e
plac
e
get_
c
ommon_relationship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
s
l
i
st
:
move ad
d
_p
o
o
l
() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
an Carpen
t
er
bit_shift:
a
dd test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Da
n
C
a
rp
e
nter
flow: silence f
a
lse posit
i
ves c
a
u
sed by hairy fun
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
imp
l
ied: rename -
>
my_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
slist:
re
n
a
m
e add
_
possible() => co
p
y_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
o
r_vs_and: ig
n
ore *
p
++ ||
*p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
t
rack
e
r:
f
i
x
a small me
m
ory
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
a
r
penter
mod
i
fic
a
tion: remove calls to delete_st
a
te(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
check_dereference: e
n
able this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
db:
s
tore whet
h
er
f
u
ncti
o
ns ar
e
glob
a
l
or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
tr
a
cke
r
: remove unused clone_tra
c
ker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist:
b
uffer overfl
o
w i
n
debu
g
ging co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
user_data: fix
N
U
LL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
db:
w
hite space
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
d
b
:
move parameter_im
p
lications into the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpen
t
er
ranges: a
d
d possibly_tru
e
/f
a
lse_range_lists_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
o
v
erflow: a
u
tomatical
l
y list
f
unctions that
take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpent
e
r
modification_hoo
k
s: complete
rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
a
n Carpente
r
db
:
prin
t
the SQL quer
i
es when
--debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpenter
c
leanu
p
: use
valid_ptr_
m
in/max
.
get rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra: derefer
e
nc
i
n
g a pointer m
e
ans it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rpenter
i
m
p
lie
d
: cleanup de
b
ug output a l
i
t
t
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pul
l
sh
o
w_s
m
() into a
s
eparate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nt
e
r
check_kernel: ERR_PTR
(
) returns non
-
NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
e
reference
check
s
: use the c
r
os
s
function i
n
fo from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
*new* check
_
dere
f
erences_param:
l
ist func
t
ions t
h
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n C
a
rpenter
*
n
ew
*
returns: merge a
l
l sl
i
sts from all
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db:
a
dd cal
l
_
implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
flow: print a different
f
il
e
n
a
me whe
n
-
-info op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
deref: fix a t
y
po in the error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
us
e
r_
d
ata: track user data
t
hat i
s
return
e
d to
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
bo
o
l
_
implicatio
n
s: rem
o
ve debu
g
ging outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix compile on
U
b
u
ntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carpenter
generisize
.
pl: strip all strings
n
ot just th
e
firs
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carpente
r
buf_size: Add a NULL check to g
e
t_array_size_byte
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
*new*
s
izeof_poi
n
t
e
r: using sizeof(p) wh
e
re
s
izeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
overfl
o
w: check m
e
mcpy(
)
to see
if w
e
'
r
e comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ex
t
ra: don't res
e
t &arguments
u
ntil the ot
h
e
r checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flow: change 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 Carpenter
*new* or_vs_and: complain about if (x
!= 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpen
t
er
sparse: introduce get
_
expressi
o
n_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpen
t
er
typ
e
:
i
ntr
o
duce is_pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next