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
function_hooks: move registration to the right place
2012-08-13
Dan Carp
e
nter
functi
o
n_hooks: move
r
egistration to the right plac
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdulla
h
Fix bug
i
n Makefil
e
that caus
e
s
l
inking
to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_
c
heck
:
remove
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
misc wh
i
t
e
s
p
ace f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
imp
l
i
ed: change debugg
i
n
g
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpe
n
t
er
checks: g
e
t rid of
so
m
e del
e
te_s
t
ate() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
der
e
f_check: fix a
fa
l
se positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chris
t
opher
Li
Fix a bug with variabl
e
s
named "x86_64
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpenter
sparse:
c
omment out an int
e
r
n
al error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
C
arpent
e
r
Merge git
:
//gi
t
.
kernel
.
org/
p
u
b
/scm/dev
e
l/sparse
/
chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assign_vs_comp
a
r
e: if
((x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpen
t
er
r
a
nges: intr
o
duce rl_co
n
tiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpe
n
t
e
r
deref_check:
s
ilence
some false posit
i
ve
on cro
s
s funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpe
n
ter
fill
_
d
b_call_implies: check correct
var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
f
i
ll_db_return_impl
i
es: de
l
ete the corre
c
t t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
a
rpenter
p
ointer_m
a
t
h
: c
h
eck ALIGN() mac
r
o math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
Carpenter
helpe
r
:
handle i
f
(
WARN_ON(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonath
a
n
N
eu
s
chäfer
smatch_scr
i
pts: fix sp
e
l
l
i
ng of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Neusch
ä
fer
smatch: fix
s
e
veral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr:
m
ov
e
check_assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
macro_s
i
de_effects: o
n
ly en
a
ble when --s
p
ammy
i
s u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
ignore_side_effects: ad
d
s
o
me more macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
bu
f
_s
i
ze: ad
d
--spammy to v
a
lidation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
overf
l
o
w
: remove strncp
y
() f
a
lse
positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch 'deve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
b
u
f_si
z
e:
t
urn off buf size f
o
r &
a
ddresses
u
nle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpente
r
flow: handle
t
he __
n
o
r
e
t
urn__ attrib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
r
e
move the &* and [0
]
from
around t
h
e
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI M
o
tohiro
sp
a
rse
:
Add
'
error' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI M
o
tohiro
sparse: Add '
_
_vector_
s
ize__'
t
o ign
o
re
d
a
ttrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
sm_buf
:
don'
t
re
t
urn the
maximum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan 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 C
a
rp
e
nter
buf_size:
add kmalloc_array() and sock_kmall
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
buf_size: if the membe
r
size is no
t
known
t
h
e
n
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Merge
b
r
a
n
ch 'buf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpenter
Merge git://git
.
ke
r
nel
.
or
g
/pub/sc
m
/devel/spa
r
se/spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
e
r
buf_size: first get the size in byte
s
t
hen convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_si
z
e: remo
v
e cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_s
i
ze: fix bytes_per
_
e
lement() for s
t
rings and
a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: delete some
d
uplicate
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
prefer the d
e
clare
d
ar
r
ay si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: strcpy() on
l
y set
s
the size of
t
he destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_size: ign
o
r
e casts in get_arr
a
y
_
size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
er
buf_size
:
crea
t
e an elements_to_bytes() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
size
:
separate bytes_per_element() into
i
ts own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf
_
size:
using
->bit_s
i
ze
d
o
e
s
n
't
w
ork for void
p
oi
n
ters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
b
u
f_size
:
use get_st
o
red_size_bytes() direc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
b
u
f_size: m
a
k
e
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
Da
n
Carpenter
buf_siz
e
:
pull b
y
tes_to_e
l
ements() in its own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: calculat
e
b
yt
e
s per
el
e
m
e
nt
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size:
a
dd a
b
asi
c
va
l
ida
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: if
t
he s
i
z
e
i
s
variable
p
ick t
h
e large
r
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
bu
f
_siz
e
: mo
v
e get_s
i
ze_fr
o
m_s
t
r
len() i
n
to it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an
C
arpenter
b
u
f_size: p
u
ll
get_si
z
e_from_initi
a
lizer
(
)
into
s
epar
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_s
i
ze: mo
v
e get
_
stored_size() out
of get_a
r
ray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpent
e
r
b
u
f_size:
p
ull handling of no
r
mal arr
a
ys into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
m
ove s
o
m
e
functions aro
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
buf_s
i
ze: a
d
d modi
f
icat
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
debug: add a
w
ay
to d
e
bug b
u
ffer si
z
es __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: warn abou
t
bitwise ANDs
t
hat always g
i
ve
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Car
p
ente
r
Or vs a
n
d: if
(
foo
&
ZERO) is no
n
sense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpente
r
function_
h
ash
:
make it easier to handle a file wit
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan
C
arpenter
signed
:
unbreak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
over
f
low: update
val
i
datio
n
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
flo
w
: hand
l
e
struct initialization
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
f
low: hand
l
e
E
X
PR_
O
FFSET
O
F
a
nd E
X
PR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
o
v
e
r
f
low: i
g
nore "x = &foo[ARRA
Y
_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpen
t
er
over
f
l
o
w:
white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
implie
d
: the base slist is not spec
i
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
slist: c
h
ange format for debu
g
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 some
m
ore expressi
o
n allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Carpente
r
validation: update der
e
fere
n
c
e
c
h
eck o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
enter
implied: ce
r
t
a
in states s
h
ou
l
d
be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
C
a
r
penter
slist: put the sm_stat
e
itse
l
f into -
>
possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cleanup merge_h
o
oks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don't create a new
merged estate
i
f
->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
e
r
estates
:
reuse
s
a
m
e
e
state for
e
xtra_undefined
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pen
t
er
constraint
s
: get
r
id
o
f a
d
d
_
equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpe
n
ter
co
n
s
t
raints: re
m
ove s
o
me de
a
d
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pen
t
er
constrai
n
t
s
:
f
ix set_equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
co
n
straints: add_
r
elated()
should
t
ake a related_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
a
rpenter
constra
i
nts: sort
t
he -
>
relate
d
l
i
s
t properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpent
e
r
constraints: r
e
place ge
t
_common_
r
elationshi
p
() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
s
l
ist: m
o
ve add_pool
(
) to
s
m
a
t
ch_imp
l
ied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Ca
r
pen
t
er
bit_
s
hift: add
test_bit() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Ca
r
penter
flow: si
l
en
c
e false p
o
s
i
tives caused by ha
i
ry fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: re
n
ame
->my_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
slist:
r
e
n
ame a
d
d_possible() => copy_po
s
sibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n 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:
f
ix a small memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpente
r
modifi
c
ation:
remove
c
alls to delete_s
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
ch
e
ck_
d
ere
f
e
r
ence: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: sto
r
e w
h
ether fun
c
ti
o
ns a
r
e g
l
obal or s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
trac
k
er:
r
emove unused clone_t
r
acker_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
slist:
buffer overflow in debugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
u
s
er_data: fix
NU
L
L
d
ereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
white s
p
ace clea
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
pent
e
r
db: mov
e
parameter_implications into the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
en
t
e
r
ran
g
es: add
p
ossibly_true/false_range_lists_
r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Ca
r
penter
o
v
e
r
flow: auto
m
at
i
cally list func
t
ions that tak
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next