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
Fix bug in Makefile that causes linking to fail
2012-08-09
Omair Mohammed Ab
d
ullah
Fix bug in Makefil
e
that causes linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
d
eref_ch
e
ck: re
m
ov
e
dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pe
n
ter
misc whit
e
s
p
ace
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpente
r
implied: change
d
ebugging o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get ri
d
of some
d
e
lete_st
a
te() call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
deref_c
h
ec
k
:
fix a
f
als
e
p
osit
i
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
topher Li
Fix
a
bug with variables n
a
m
ed "x
8
6_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
s
parse: commen
t
out an inte
r
nal error mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
D
an Ca
r
penter
M
e
r
ge git://g
i
t
.
kern
e
l
.
o
r
g
/pub/scm/devel/sp
a
rse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpent
e
r
*new* assign_vs_com
p
are:
if
((x = <c
o
nstant>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: int
r
oduce rl_contiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
deref_check
:
silence some false p
o
sit
i
ve on cro
s
s function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
fill_db_
c
al
l
_impl
i
es
:
check correct variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
fill_db_return_
i
mplies:
d
e
lete the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Car
p
e
n
ter
p
o
i
nt
e
r_math: chec
k
ALIGN() macro mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n Ca
r
pe
n
ter
h
e
lper: han
d
le if (WARN_ON(
i
==
A
RRAY_SIZE(f
o
o
)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusc
h
äfer
smatch_scri
p
ts: f
i
x spelling of "usag
e
"
commit
|
commitdiff
|
tree
2012-07-02
Jonat
h
an Neuschä
f
er
sm
a
tch: fix several ty
p
os
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carp
e
nter
assign
e
d_expr:
move check_assigned_expr()
t
o smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ma
c
ro_side_ef
f
ects: on
l
y
enab
l
e when --spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
C
arpe
n
t
e
r
igno
r
e_
s
ide_ef
f
ects: add some m
o
re mac
r
o
s
tha
t
ha
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
pent
e
r
buf_si
z
e
:
add --spammy to validation
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
overflo
w
: remo
v
e
s
trncpy() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
Merge
b
ranch
'
de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
buf_size: turn off buf si
z
e
f
o
r &add
r
esses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
f
low: handle
t
he __noreturn__ attri
b
ute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpente
r
buf_s
i
z
e
: remo
v
e the &* and [0] fro
m
around the poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otohiro
sparse: Add 'erro
r
' to igno
r
ed attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sp
a
rse: A
d
d
'_
_
vect
o
r_size__' to ignored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
sm_bu
f
: don
'
t r
e
turn th
e
maximu
m
store b
u
ffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpenter
b
uf_size
:
r
eturn the size o
f
&foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
bu
f
_
s
ize: add kmalloc_array
(
) and sock_k
m
allo
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
buf
_
si
z
e:
i
f the
m
e
m
ber size is not kn
o
wn then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
n
t
er
Me
r
ge
b
ranch 'buf_
s
ize' into
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
erge git:
/
/git
.
kern
e
l
.
o
rg/pub/s
c
m/de
v
el/sp
a
rse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: first get the si
z
e in bytes th
e
n
c
onv
e
rt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpente
r
bu
f
_s
i
ze: remov
e
ca
s
t_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ente
r
buf_size:
f
ix bytes_per_element() for strings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: delete some duplicat
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
e
nter
buf_size: prefer the declar
e
d array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_siz
e
: strcpy() only
sets th
e
size of
t
he destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: ignore cas
t
s in get_arr
a
y_si
z
e_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: create an elements_to_
b
ytes()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
u
f_size
:
separate
bytes_per_e
l
ement(
)
i
nto its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_siz
e
: using
-
>b
i
t_size does
n
't
work for void poi
n
ters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_si
z
e: us
e
get
_
stored_size_byte
s
() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_si
z
e: make get_stored_size_bytes() a separate f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: pul
l
bytes
_
to_e
l
ements() in its
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: calculate bytes per element
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
en
t
er
buf_size: add a basic validation t
e
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf
_
size: i
f
the size is variab
l
e pi
c
k th
e
large
r
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
b
u
f_size: move g
e
t_size_
f
rom_strle
n
()
in
t
o it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
b
uf_size:
pull get_size_from_in
i
ti
a
lizer(
)
in
t
o separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpe
n
ter
b
u
f_size:
m
ove get_stored
_
size() out of get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carp
e
nter
buf_s
i
ze
:
pul
l
h
a
n
dling of
n
ormal arr
a
ys i
n
to separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
buf_size:
m
ove some functions
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
b
uf_siz
e
: add m
o
dification
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
deb
u
g:
add a way to debug buffer
s
izes __smatch_bu
f
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
vs an
d
:
w
a
rn about b
i
twise
ANDs
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
:
if
(
foo
&
ZE
R
O)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Ca
r
penter
function_hash: m
a
ke
i
t
e
asier to handle a file
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Da
n
Carpenter
signed: unbreak
t
he c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: upda
t
e
valida
t
i
on
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an
C
arpenter
flow: handle stru
c
t initialization bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpenter
fl
o
w:
h
a
ndle EXPR_OF
F
SET
O
F
and EX
P
R
_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow:
ign
o
re "x
= &foo[AR
R
AY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
n
t
er
overf
l
ow: white s
p
ace
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
i
mplied:
t
he base
s
list
i
s
not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slis
t
: chang
e
format f
o
r
d
e
b
u
g outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
a
rpe
n
ter
expre
s
sion
s
:
introd
u
c
e s
o
me more expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nter
valid
a
tion: update dereference check o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
i
mpli
e
d
: certain state
s
should be left
as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
ter
sli
s
t: put the sm_st
a
te itself int
o
->possible no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpent
e
r
slist: clea
n
u
p merge_hooks AP
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 estate if ->righ
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpente
r
estat
e
s: reuse same estate for extra_u
n
define
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: get rid of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
n
st
r
aints: remove s
o
me
dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
c
o
nstraints: fix set
_
eq
u
i
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
arpenter
constrain
t
s: add_related() should ta
k
e a rela
t
e
d_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpente
r
constraints: sort the ->
r
e
lated
list pr
o
perly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
cons
t
raints: re
p
la
c
e get_co
m
m
o
n
_
relationship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
slist: move add_pool
(
) to smatch_
i
mp
l
ie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
an Carpenter
bit_shift: add
te
s
t
_
bit(
)
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: si
l
ence false pos
i
t
i
ves caus
e
d
by hairy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
implied: renam
e
->my_pool
to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
en
t
er
s
list: rename
a
dd_p
o
ssible() => co
p
y_
p
ossibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
o
r_vs_and: ignore *p++ |
|
*p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nte
r
tracker: fix a
s
m
a
ll memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modifi
c
ation: re
m
ov
e
calls to delete_st
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
ch
e
ck_dereference: enable
t
h
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
db: store whe
t
her functions
are global or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
tracker: re
m
ove unused c
l
one_
t
r
a
ck
e
r_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
t
e
r
slist: buffe
r
overflow in debugg
i
ng co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
rpenter
u
ser_d
a
ta: fix NULL derefe
r
enc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpe
n
t
e
r
db:
w
h
ite
space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
e
n
t
er
d
b
: move parameter_implications
i
n
t
o
t
he
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
ranges: add po
s
sibly
_
tr
u
e/false_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
overflow: automatically list fu
n
c
tions
t
ha
t
t
ake a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
modi
f
ic
a
tion_hooks: complet
e
rewr
i
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next