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: add --spammy to validation tests
2012-06-18
Dan Carpenter
buf
_
si
z
e: add --spa
m
my t
o
validation
test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
verflow: remov
e
s
t
rncpy() false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
e
n
ter
buf_size
:
t
u
rn off bu
f
s
i
ze
f
o
r &ad
d
resses
u
n
less
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
flow: handle the __noreturn__ att
r
ib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: re
m
ove the &*
a
nd [0
]
from
a
r
oun
d
t
h
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_bu
f
: do
n
't return the m
a
ximu
m
stor
e
buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
buf_size:
return the
s
ize of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: add kmalloc_array() and sock_k
m
alloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carpenter
buf_siz
e
: if
t
he me
m
ber
siz
e
is not known th
e
n s
t
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
C
a
r
pen
t
er
Mer
g
e branch 'buf_size'
i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge g
i
t
:
//git
.
kernel
.
o
r
g/p
u
b/sc
m
/devel/s
p
arse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf
_
s
i
ze: first
ge
t
the
size i
n
bytes
then
c
onvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size
:
r
e
mo
v
e cast_ra
t
io()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
u
f
_
size: f
i
x bytes_per_element(
)
for str
i
n
g
s and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f_
s
ize: delete
some
d
uplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arp
e
n
t
er
buf_size: prefer the declared array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf_siz
e
: strcp
y
() only
s
ets
t
h
e si
z
e
o
f the
d
est
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pent
e
r
buf_size:
i
gnore
casts
i
n get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: create an ele
m
ent
s
_to_bytes
(
) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: separat
e
byte
s
_per_
e
lement()
into its
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: using ->bit_si
z
e doesn'
t
work fo
r
vo
i
d poin
t
ers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size: use ge
t
_sto
r
ed_si
z
e
_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: make get_s
t
ored_size_byt
e
s
(
)
a
separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_si
z
e: pull bytes
_
to_elements(
)
in i
t
s o
w
n fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
c
alculate
bytes per elemen
t
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpe
n
ter
bu
f
_
s
i
z
e: a
d
d a basic validation te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_siz
e
:
if the siz
e
i
s variable
p
i
ck t
h
e
l
arger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
buf_size:
move get
_
siz
e
_from
_
s
trlen() into
i
t's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpen
t
er
buf_s
i
ze: p
u
l
l
ge
t
_size_from_initializer() into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move get_stored_s
i
ze() out of get_array_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
b
u
f_size: pull ha
n
dling
of normal
ar
r
ay
s
into
separa
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: mo
v
e
s
ome
f
unct
i
ons
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
b
uf_siz
e
: add
modification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
debug: add a
way to
d
eb
u
g buffer si
z
es
__smatc
h
_buf_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Carpe
n
ter
Or vs
a
nd: warn about bit
w
ise ANDs tha
t
always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
Or vs and: if (f
o
o & ZERO) is n
o
nsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
function_hash: make it
e
asier to handle a file
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed: unbreak th
e
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
ter
overf
l
ow:
update v
a
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpenter
flow: handle
struct initialization be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpen
t
er
flow: handle EXPR_OFFSETOF and EX
P
R_
A
L
IGN
O
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Car
p
enter
overflow: ignore
"x = &fo
o
[ARRAY
_
SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
nter
o
v
erf
l
ow: whit
e
s
p
ac
e
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
imp
l
ied: the bas
e
s
lis
t
is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
s
list: change form
a
t for debug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Car
p
enter
expressions: introd
u
ce some
more expressio
n
all
o
cation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
te
r
validation: updat
e
dereferenc
e
c
h
eck output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
implied: cer
t
a
i
n
st
a
tes should be
l
eft as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: put the sm_state itself int
o
->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
enter
slist: c
l
e
anup merge_h
o
oks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
pent
e
r
extra: do
n
't c
r
ea
t
e a new merg
e
d esta
t
e
i
f ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
e
s
tat
e
s:
reuse same es
t
ate for extra_unde
f
ined
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
n
s
train
t
s
:
g
e
t ri
d
of a
d
d_equi
v
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: remove
some dea
d
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nstraints: fix set_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
cons
t
raints:
a
dd_rel
a
t
ed() should
t
a
ke a
related
_
list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pe
n
ter
c
o
nstra
i
nts: sort
t
h
e
-
>r
e
lated list properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Car
p
en
t
er
constraints: rep
l
ace get_common_relationship() wit
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
sl
i
st:
m
ove
a
dd
_
pool() to s
m
a
t
c
h_impl
i
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Ca
r
pent
e
r
bit_shift: ad
d
test_bit() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: s
i
lence false positives ca
u
sed by hairy f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
impli
e
d: rename ->my_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
list:
r
ena
m
e a
d
d_possib
l
e
() => copy_po
s
si
b
les()
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
D
an Carpenter
tracker: fix
a small memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Ca
r
p
e
nter
modification: re
m
ove calls to
dele
t
e_state(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
check_derefer
e
n
c
e: en
a
ble this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nt
e
r
db
:
store whether func
t
ions
a
r
e
g
l
obal or
st
a
t
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
r
a
c
ke
r
: rem
o
ve unused clone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carp
e
n
t
er
slist:
b
uffer overflow
in debugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
user_data: fix NULL
d
er
e
fer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
penter
db: whit
e
space c
l
eanup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
C
a
rpenter
db: move parameter
_
im
p
lication
s
into
the
dat
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
r
an
g
es:
a
d
d possibly_true/f
a
lse_ra
n
ge_lists_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: automatically
l
ist
f
un
c
tions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
rpenter
m
o
dif
i
cation_hooks: com
p
lete
r
ewri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpen
t
er
db: print the
S
QL queries when
-
-
debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cl
e
anup: use valid_ptr_
m
i
n
/
max
.
get
r
id of
POIN
T
ER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpente
r
e
x
tr
a
: dereferen
c
ing a pointer means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
penter
impli
e
d
:
cleanu
p
debug
output a
l
ittle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
s
l
i
s
t: pull show_sm() into a
s
eparat
e
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Car
p
enter
check_kern
e
l
: ERR_PTR() returns non-NU
L
L
(
most
l
y
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pente
r
dereference checks: use the cross
functi
o
n inf
o
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new*
c
h
eck_dereferen
c
es_pa
r
am: li
s
t fu
n
ctions t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carp
e
nt
e
r
*new* returns: merge all slists f
r
o
m
all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
b
: add call_impli
e
s ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
n
t
er
flow: print a
different f
i
lename
when -
-
in
f
o
option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
de
r
e
f: fix
a
typo in the err
o
r
m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Ca
r
penter
user_data: track user
d
ata that is returned to
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rpenter
b
o
ol_implicati
o
ns: remove
debugging
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an Carpen
t
er
fix
com
p
ile
o
n Ubu
n
tu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
e
n
ter
generisi
z
e
.
pl:
s
trip all strin
g
s not just the firs
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpe
n
ter
buf_
s
iz
e
: Ad
d
a NULL
check to get_array_size_byt
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
*ne
w
* size
o
f_poi
n
ter:
usin
g
siz
e
of(p)
w
h
e
re size
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
er
overflow: check
memcpy()
t
o see
if we're comp
a
r
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
rp
e
nter
extra: don't reset
&
ar
g
u
m
ents until
t
h
e other
c
h
ecks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
f
l
ow: change
how "for
(
i = 0; ; i++) {
.
.
.
" i
s
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
*new
*
or_vs_and: compla
i
n about
i
f (x != 3
|| x
!
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
D
a
n Carpe
n
ter
s
p
arse:
i
nt
r
oduce
g
e
t
_exp
r
ession_value_nomo
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next