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
*new* assign_vs_compare: if ((x = <constant>)) {
2012-07-24
D
a
n
Ca
r
penter
*new* as
s
i
gn_vs_com
p
are: if
(
(x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
r
anges
:
in
t
r
o
duce rl_con
t
iguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
deref_check:
silenc
e
s
ome f
a
lse po
s
i
tiv
e
on
cross f
u
nctio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
fill_db_call_implies: check correc
t
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n C
a
rpenter
fill_db_
r
eturn_implies
:
delete the co
r
rect tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpen
t
er
p
o
inte
r
_math: check ALIGN() ma
c
ro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
Carpenter
h
e
lper: ha
n
dl
e
i
f (WARN_ON(i == ARRAY_SIZE(foo
)
)
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
sma
t
ch_s
c
ripts: fix s
p
el
l
ing of
"usag
e
"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smat
c
h:
f
ix several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
a
ssigned_
e
xpr: move c
h
eck_assig
n
ed_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro
_
side_effects: only enable when
-
-spammy is
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
en
t
er
i
gno
r
e_side_effects: add some more m
a
cros
t
h
a
t h
a
ve
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arp
e
nter
bu
f
_size: a
d
d --spammy
t
o validat
i
on tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpente
r
ov
e
rf
l
ow: remove
s
trn
c
p
y
() false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge br
a
nch
'
devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
arpent
e
r
buf_s
i
ze: turn
o
ff buf size f
o
r &addres
s
es unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
flow: handl
e
the __
n
or
e
turn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Car
p
enter
buf
_
s
i
z
e
: r
e
mo
v
e the &
*
and [0] from arou
n
d the point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KO
S
AKI Motohiro
s
p
arse
:
Add 'error
'
to ignore
d
attr
i
butes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse:
A
dd '_
_
vector_size__' to ignored attrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_b
u
f: don't return
t
he m
a
xi
m
um st
o
re buffer s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: return the size of
&
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
n
t
er
b
u
f
_
s
ize: add kmalloc
_
a
r
ray
(
) and sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size:
i
f t
h
e me
m
ber
size is not known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
ar
p
ent
e
r
Me
r
g
e
branch
'
b
uf_siz
e
' into d
e
v
e
l
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Merge g
i
t:/
/
git
.
ke
r
nel
.
org/
p
u
b/scm
/
devel/spars
e
/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpente
r
buf_size: first get the size in
b
ytes then c
o
nvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
b
u
f_size: remove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: fi
x
b
y
tes_per_elem
e
nt() for strings and a
r
r
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size:
delete some duplicate co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpent
e
r
buf_siz
e
: prefer the declar
e
d array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpe
n
ter
buf_
s
ize: strcpy() on
l
y sets the size of
t
he des
t
i
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: ignore
casts in
get_array_si
z
e_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e:
c
r
e
ate an elements_
t
o_bytes() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
te
r
buf_size:
s
eparat
e
b
y
tes_
p
er_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: using ->
b
it_siz
e
doesn't work
fo
r
v
oid
p
oin
t
ers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf
_
size: use
get_stored_size
_
bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
pente
r
buf_size: make get_stored_size
_
by
t
e
s
() a sepa
r
ate
f
unctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpenter
buf_size
:
pull b
y
tes_to_elements()
i
n i
t
s own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: cal
c
ul
a
te byt
e
s per element be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
buf_size: add
a
basic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_siz
e
:
if the size is variab
l
e pick the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
buf
_
siz
e
:
move get
_
size_from_s
t
rlen
(
) i
n
to it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
buf_size: pull get_
s
i
ze_
f
rom_ini
t
ialize
r
()
i
n
t
o
separat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
C
a
r
penter
buf_size: move get_stored_size() o
u
t of g
e
t_array_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
C
arpe
n
ter
buf_size:
pull handli
n
g of normal arrays
i
n
to
s
epara
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpen
t
er
buf_size: move some
f
u
nctions
a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n C
a
rpenter
b
u
f_size: add modif
i
cation ho
o
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug: add a wa
y
to debug buffer size
s
_
_smatch_bu
f
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
a
r
pen
t
er
Or vs
a
nd: warn about
b
itwise ANDs that alw
a
ys give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Carpent
e
r
Or vs and:
if (foo & ZERO) i
s
nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
t
e
r
fun
c
tion_hash
:
make it easier
t
o handl
e
a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed:
u
nbreak the
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
o
v
erflow: update validation
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
C
a
rpenter
flow:
h
andle struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
flow: handle EXPR_
O
FFSETO
F
and EXPR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
ter
overflow:
i
gnore "x = &foo[ARRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
ar
p
ente
r
overflow: whi
t
e space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
implied: the base slist is not specia
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
slist
:
chan
g
e format f
o
r
debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
C
arpe
n
ter
ex
p
ressions: introdu
c
e some more
e
xpression a
l
l
ocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
an Carp
e
nter
validation: update dereference check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
te
r
impl
i
ed: ce
r
t
ai
n
states sho
u
ld be left as
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
rpenter
slist: put the sm_state itself
into ->possi
b
le n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist:
c
l
eanup
merge_hooks AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
e
x
tra: don't crea
t
e a
n
ew me
r
ged esta
t
e if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
e
states
:
re
u
se same es
t
at
e
fo
r
extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pe
n
ter
c
o
nstraints:
g
et rid of a
d
d_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
e
r
constrain
t
s
:
r
em
o
ve some
d
e
a
d
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpente
r
constraints: fix set_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpe
n
t
er
constraints: add_relat
e
d() sho
u
ld take a related_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constra
i
nts: s
o
rt
the ->related list
proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
c
onstra
i
nt
s
:
r
ep
l
a
c
e get_common_rel
a
tionship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpen
t
er
slis
t
: move add
_
p
ool() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan
Ca
r
penter
b
it_
s
hift: add test_bi
t
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpenter
flow:
s
ilen
c
e false posi
t
ives c
a
u
sed by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
implie
d
: re
n
ame
-
>my_pool
to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
slist: ren
a
me
a
dd
_
po
s
sible() => copy_possibles()
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
Dan Carpente
r
t
racker: fix a smal
l
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
modification: remove
c
a
l
l
s to delete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
check_dere
f
erenc
e
:
enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
db: store whether fun
c
tion
s
are
global or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker:
r
e
mo
v
e unu
s
ed clone_trac
k
e
r
_li
s
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
slist
:
buffer o
v
er
f
low i
n
debuggin
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
user_data: fix
N
ULL dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
enter
db: whi
t
e s
p
ace cle
a
nu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
C
arp
e
nter
db
:
mov
e
param
e
ter_implications into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
C
a
rpenter
ran
g
es: add pos
s
i
bly_tr
u
e/fa
l
se_range_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Carpente
r
overf
l
ow: autom
a
tically list functi
o
ns that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
mo
d
ification_
h
ooks
:
comp
l
ete rew
r
ite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Ca
r
p
e
nter
db:
print the
SQL qu
e
r
i
es when
--debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
cleanup: use valid_
p
tr_min/max
.
get r
i
d of PO
I
NTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpe
n
ter
e
xtra: derefe
r
encing a pointer mean
s
it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carp
e
nter
implied: cleanup debug o
u
tput a
l
ittle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
er
sl
i
st: pull sho
w
_sm() into a
s
eparate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kernel
:
ER
R
_PTR
(
) retu
r
ns non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpent
e
r
dereference checks: use
the
cr
o
ss function in
f
o fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
*
n
ew* check_deref
e
ren
c
es_
p
aram:
l
ist fun
c
tions tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carp
e
nter
*
n
ew* return
s
: merge all slists from a
l
l returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next