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
db: create return_states table
2012-08-14
Dan Carpenter
db
:
c
r
eate return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db:
add
get_return_id() and return mar
k
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
db
:
improve error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
cal
l
e
r
_info changes: st
o
r
e
the
caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
db:
a
dd return_va
l
ues table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
n
t
e
r
err_ptr_deref: remove duplicate
c
onflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n C
a
rpenter
function_hook
s
:
move regi
s
tration t
o
the rig
h
t place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
d
e
r
e
f_check: remove dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white s
p
ace fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
impli
e
d
: change debugging
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
che
c
ks: ge
t
rid of
s
ome delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Car
p
ent
e
r
d
eref_ch
e
ck: fix
a fal
s
e posit
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Car
p
enter
sparse: commen
t
out an inter
n
al error messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Mer
g
e git
:
//git
.
kernel
.
org/pub/scm/deve
l
/sparse
/
ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* as
s
i
gn_vs_compare: if ((x
= <con
s
ta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Car
p
enter
rang
e
s
: introduce rl_c
o
nti
g
uous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an
C
arpente
r
deref_
c
heck: silence s
o
me false positive on
c
ross functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fil
l
_db_call_implies:
c
heck c
o
rrect
variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
ll_db_return_implies:
d
elete the correct tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan C
a
r
penter
p
o
in
t
e
r
_
math: check
ALIGN() macro ma
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n Carpenter
helper
:
handle if
(
WARN_ON(i == ARRAY_SIZ
E
(
f
o
o)
)
re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigne
d
_expr:
m
ove check_assigned_
e
xp
r
(
)
t
o
smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
m
acro_side_e
f
fec
t
s: only enabl
e
when --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n C
a
rpenter
ignore
_
s
ide_effects: add some more macr
o
s t
h
a
t have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpen
t
e
r
bu
f
_si
z
e: add --
s
p
ammy to validati
o
n tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
overflow: remo
v
e strncpy() fals
e
p
ositiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
e
n
t
er
Merge bran
c
h 'd
e
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan
Ca
r
penter
buf_size: tu
r
n
off buf size for &addre
s
ses u
n
le
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
flow: handle the __n
o
r
eturn__ att
r
ibute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_siz
e
: remove the &* and [0
]
from arou
n
d the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arp
e
nter
s
m_buf: don't return the maximum s
t
o
r
e buffe
r
s
iz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpen
t
er
b
uf_s
i
ze
:
ret
u
rn
the size
of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
buf_
s
i
z
e
: add
k
m
alloc_array() and sock_
k
malloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
buf_size: if the
member
s
ize is not known then
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Ca
r
penter
Merge branc
h
'buf_size'
i
nto devel
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpent
e
r
Merge
git:
/
/git
.
kernel
.
org/pub/scm/devel/spar
s
e/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: first
g
et the
s
i
z
e
in bytes
t
hen c
o
nver
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
u
f_siz
e
:
r
emo
v
e c
a
st_rat
i
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: fi
x
b
ytes_per_element() for strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_
s
i
ze: delete
some duplicate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_size:
p
refer the declared array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: strcpy() only set
s
the size of
the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size
:
i
g
nore casts i
n
g
et_array_
s
i
ze_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
c
r
e
a
te a
n
ele
m
en
t
s_
t
o_bytes
(
) funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: separate byte
s
_
per_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size: u
s
ing
-
>bit_size do
e
sn't
w
o
r
k for void
p
ointer
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: use
get_stored_siz
e
_
b
y
tes() dire
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carp
e
n
ter
bu
f
_size: m
a
k
e g
e
t_stored_size_bytes
(
) a separate f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpen
t
er
b
u
f_size: pull bytes_t
o
_elemen
t
s()
i
n i
t
s own
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: calculate b
y
tes per element better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: add a basi
c
valid
a
tion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_s
i
ze: if the size
i
s variable
pick the l
a
rger o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf_size:
m
o
ve get_s
i
ze_from_strle
n
(
)
into it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
b
u
f
_size: pull
get_size_from_initiali
z
er()
into s
e
pa
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpente
r
buf_size:
move get_stor
e
d_size
(
) out of get_array
_
si
z
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Car
p
enter
b
uf_size: pull handling of normal
a
r
r
ays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
b
uf_
s
i
z
e: move some
functi
o
ns arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
buf
_
size: add modific
a
tion hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug
:
a
d
d a way to debug buff
e
r sizes __smatch
_
buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
vs and: w
a
rn about bit
w
ise AND
s
that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or v
s
an
d
: if (foo & ZERO
)
is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function_hash: make it eas
i
er to h
a
ndle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signe
d
: unb
r
e
ak
the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow:
update validation
t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
h
andl
e
struct
i
ni
t
ia
l
iz
a
t
i
on be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
penter
flow:
h
and
l
e EXP
R
_OFFS
E
TOF
a
nd EXPR_AL
I
GNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carp
e
nter
ov
e
rflow:
i
g
n
o
r
e "x = &foo[ARR
A
Y_SIZE(foo
)
];
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
ov
e
rflo
w
: white space clea
n
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
implied: the
base slist
is not spec
i
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
a
r
pe
n
ter
slist: cha
n
ge
format
f
or debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
e
x
p
r
e
ssions: intr
o
duce some
more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
ter
validation
:
update
d
eref
e
rence check outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
impl
i
ed: certain st
a
tes sh
o
uld be
left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: put
the sm_st
a
te itself into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
C
a
rp
e
nter
slis
t
: cleanup merge_hooks A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
e
xtra: don't
create
a new merged esta
t
e
i
f ->
r
igh
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
estate
s
: re
u
se same estate for extr
a
_unde
f
ined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constraints: get rid of a
d
d_equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constra
i
nt
s
:
re
m
ove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carp
e
nter
cons
t
raints: fix
s
e
t_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Ca
r
penter
constraints: a
d
d_related()
should t
a
k
e
a rel
a
ted_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
const
r
aints: sort the ->related lis
t
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
ns
t
ra
i
nts
:
replace get_common_relationship()
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
s
l
i
st: mov
e
add_poo
l
()
t
o smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_shift: add test_
b
it() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Car
p
enter
flow: si
l
ence
f
a
lse posit
i
ve
s
ca
u
sed by hairy functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Car
p
en
t
er
implie
d
:
r
ename ->my
_
pool
t
o
-
>p
o
ol
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist
:
r
e
n
ame add_possib
l
e
(
)
=
>
c
opy
_
possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nte
r
or_vs_and: ignore *p
+
+ ||
*
p
++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpe
n
te
r
track
e
r: fix a
small me
m
ory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
modification: re
m
ove calls to delete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
check_dere
f
erence: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpenter
db: st
o
re whether functio
n
s
a
re glob
a
l or s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
t
r
a
c
ker:
remove unused c
l
one_tracker
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
s
l
i
s
t
: b
u
ffer overflow in debuggin
g
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
ar
p
en
t
er
u
s
e
r_data: fix NULL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: w
h
ite
s
pace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
e
n
te
r
d
b
:
move
parameter_
i
m
plications
into the da
t
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add po
s
sibl
y
_tru
e
/false
_
ra
n
ge_li
s
t
s
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpent
e
r
overflow: au
t
omatically list functions th
a
t take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next