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
smatch_data: update the data director to the latest code
2012-08-14
Dan Carpenter
s
m
atch_data: update th
e
d
ata
dire
c
to
r
to the l
a
test
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nte
r
db: c
a
ller_info
:
fix mor
e
f
a
l
l
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_s
i
z
e
: silen
c
e
a perl wa
r
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b
: call
e
r_info: update fixup_ker
n
el
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra:
get_implied_range_list() should
retur
n
0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_
d
ata:
u
se the new ret
u
r
n_states d
a
t
a
base ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
use
r
_data: sysc
a
lls a
r
e a source of
u
s
er dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
u
s
e
r_d
a
ta: i
f
"ptr" is user da
t
a the
n
"*ptr"
i
s user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add is_user_mac
r
o() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpen
t
er
use
r
_data:
skb-
>
d
ata is
u
ser data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra:
m
ake a function sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
d
b: create
retur
n
_
s
tates ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpente
r
d
b: add get_return
_
i
d
() and retur
n
mark
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve error
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b
:
c
aller_info cha
n
ges: stor
e
the call
e
r, p
a
ra
m
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_pt
r
_deref: remove
d
u
p
licate confl
i
cting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Car
p
enter
functi
o
n_hoo
k
s:
m
ove re
g
i
stration to th
e
r
i
g
h
t p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Ca
r
penter
d
ere
f
_c
h
eck:
r
emove dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white spa
c
e fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: chang
e
d
e
b
ugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Car
p
ent
e
r
checks
:
get
ri
d
o
f
s
o
me delete_state() ca
l
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
d
eref_c
h
eck
:
f
i
x
a
f
alse positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carp
e
n
t
er
sparse: commen
t
out a
n
internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
C
a
rpenter
Merge gi
t
://
g
i
t
.
k
e
rnel
.
org/pub/s
c
m
/d
e
v
el/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* as
s
ig
n
_vs
_
compare: if
(
(x = <consta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
ranges: intr
o
duce
rl_co
n
t
i
guous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpe
n
ter
d
eref_ch
e
ck: s
i
lence some false positive on cross functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpente
r
fill_db_call_implies: check
correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
f
ill
_
db_return_implies:
dele
t
e th
e
correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math: check ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carp
e
nter
helper: han
d
le if (WARN_ON(i
== ARRAY_SIZE(f
o
o)) r
e
t
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr: mo
v
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_side_effects:
only ena
b
le when --spa
m
my i
s
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
pen
t
er
ignore_side_
e
f
f
e
cts: add so
m
e mo
r
e
m
acros that
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
buf_s
i
ze: add --spammy to va
l
idation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
over
f
low
:
r
e
m
o
v
e s
t
r
ncpy() false
p
osi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpent
e
r
Me
r
ge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Ca
r
pente
r
buf_
s
i
z
e: turn
o
ff
buf size
for &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
f
l
ow: handle the __noreturn__
attribu
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
b
uf_s
i
ze
:
remove the &* and [0]
f
rom aroun
d
the
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpen
t
er
sm_buf
:
don't ret
u
rn the m
a
x
imum s
t
ore
b
uffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_si
z
e: return the si
z
e of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Ca
r
penter
buf_size:
a
dd
kmalloc_ar
r
ay(
)
and
s
ock_kmallo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: if t
h
e member size is not known th
e
n
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
Merg
e
branch 'buf_size' into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
erge git://git
.
k
ernel
.
org/pub/scm/devel/sp
a
rse/s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpente
r
buf_size: firs
t
get the si
z
e
in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: remove cast
_
ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_
s
ize:
f
ix bytes_
p
er
_
element() for strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
te
r
b
u
f_size: delete some du
p
licate
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
b
u
f_size: prefer the declared arr
a
y size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_siz
e
: strcpy() only
sets the si
z
e of the
d
esti
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: ign
o
r
e
casts in
g
et_
a
rray_size_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
b
u
f_size: create an elements_to_bytes() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_siz
e
:
separ
a
t
e
bytes_per_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
nte
r
buf_
s
ize
:
using ->bit_size do
e
sn't work for void pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf
_
size
:
use ge
t
_
stor
e
d
_
size_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
bu
f
_size: make get_st
o
red_size_byte
s
(
)
a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpen
t
er
b
u
f_size: pull bytes_to_eleme
n
ts() in
i
t
s own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_
s
ize: cal
c
u
l
at
e
bytes per ele
m
ent better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_siz
e
: a
d
d a basic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_
s
ize:
i
f
t
he si
z
e is variable pick the
larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpente
r
buf_s
i
ze: move
g
et_size_fro
m
_strlen() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
buf_s
i
ze: pull
get_size_f
r
om_initi
a
lizer() into
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
b
u
f_s
i
ze: move get_
s
tored_size(
)
ou
t
o
f
get_arra
y
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
p
u
l
l handli
n
g
o
f normal ar
r
ays into separ
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_
s
ize: m
o
ve so
m
e functions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Ca
r
p
enter
buf_size:
ad
d
modific
a
t
ion
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
d
e
bug
:
ad
d
a way to debug buff
e
r
siz
e
s
_
_
s
match_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
p
enter
O
r
vs
and: war
n
about
b
it
w
i
se
ANDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpente
r
O
r vs
a
nd: if (foo & ZERO) is no
n
sen
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function_hash: make
i
t easier to handle a file
w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Da
n
C
a
rpenter
s
igned: unb
r
eak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
over
f
l
ow:
u
pdate
valida
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
penter
f
low: handle struct initialization bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpenter
fl
o
w
:
ha
n
dle
E
XPR_OF
F
SETO
F
and EX
P
R_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carp
e
nter
overflow: ignore "x = &foo[ARRAY
_
SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
nter
o
v
e
r
f
l
ow: white spac
e
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implie
d
:
t
h
e base slis
t
is not spe
c
ial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
pen
t
e
r
sl
i
st:
c
hange format for debug o
u
tp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
expressi
o
n
s
: in
t
roduce some more expre
s
sion allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpe
n
ter
v
alidati
o
n:
update
d
ere
f
e
r
en
c
e
ch
e
ck
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpen
t
er
imp
l
ied: certain states sh
o
uld
be le
f
t as
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
sl
i
st: p
u
t the
s
m
_
s
t
ate i
t
s
e
lf into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
slist
:
cle
a
n
u
p merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpe
n
ter
extr
a
:
don't create a new merged es
t
ate
i
f ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
e
s
tates: reuse
same estate
f
or extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carp
e
nter
c
o
nst
r
aints: ge
t
rid of add_equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
co
n
straints: remove so
m
e
d
ea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
c
o
n
straints:
fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arp
e
nter
constraints: add_related() shou
l
d take
a
relat
e
d_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
cons
t
raints: sort t
h
e ->related list pr
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
c
o
nstrain
t
s: replac
e
get_comm
o
n_rel
a
tionship()
wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an C
a
rpenter
slist: move add_
p
ool
(
) to s
m
at
c
h_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan C
a
rpenter
bit_shift: add te
s
t_bit() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: silence false
p
ositives cau
s
ed by hairy funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
r
p
enter
i
mplied: re
n
am
e
->m
y
_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
r
pen
t
e
r
s
l
ist: rename
a
dd_possible() =
>
cop
y
_poss
i
bles()
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
next