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
kernel: handle IS_ERR() properly
2012-08-14
Da
n
Carp
e
n
t
e
r
k
ernel: handle
IS_ERR() pr
o
pe
r
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
db_info
:
remove unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
extra, function
_
hooks, db: change
cross function a
n
al
y
sis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remove t
h
e return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
smatc
h
_data
:
u
p
date the data director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
c
a
l
ler_i
n
fo: fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db: type_siz
e
: sile
n
ce a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
c
aller_info:
upd
a
t
e
fixu
p
_
k
ern
e
l
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implie
d
_r
a
n
g
e_
l
ist
(
)
s
hould
r
e
turn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpent
e
r
user_da
t
a:
u
s
e
the
new retur
n
_states databas
e
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
u
ser_data
:
s
y
scal
l
s a
r
e
a
sou
r
ce
of user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data: if
"ptr"
is u
s
er d
a
ta then "*ptr"
is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_
d
at
a
: add
i
s_user_macr
o
() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
n
ter
user_data: s
k
b->
d
ata is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra: make
a fun
c
t
i
on static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: create re
t
urn_stat
e
s
ta
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db: add get_return_id() and
return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: caller_info c
h
anges: store the call
e
r
,
par
a
m =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b
:
a
d
d r
e
t
u
rn_values tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
err_ptr_deref: rem
o
ve
duplicate
c
onfli
c
ting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n C
a
rpent
e
r
function
_
hooks: move regi
s
tration to t
h
e right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
m
a
ir Mohammed Abdul
l
ah
Fi
x
bug in M
a
kef
i
le th
a
t cause
s
linking to fail
commit
|
commitdiff
|
tree
2012-08-09
D
an Ca
r
penter
d
e
ref_check: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
mis
c
white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
im
p
lied:
c
hange debugging
o
ut
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get rid o
f
some
delete
_
state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
d
ere
f
_ch
e
ck:
fi
x
a
f
alse
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
h
ristopher Li
Fix a
bu
g
with variab
l
es named "x86_6
4
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
a
n Carpenter
spar
s
e
: comment out an internal error messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge
g
i
t://git
.
kernel
.
or
g
/pu
b
/scm/dev
e
l/sparse
/
chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpent
e
r
*ne
w
* assign_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 Carpenter
ran
g
es: introduce
rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
t
er
d
eref_che
c
k:
s
ilence som
e
false positive on cro
s
s
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpent
e
r
fil
l
_db_call
_
implies: check corre
c
t variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_return
_
implies:
d
e
l
e
te
t
he correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Ca
r
penter
pointer_math: check A
L
IGN() macr
o
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
he
l
p
e
r
: handle if (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 Neuschäfer
sm
a
tch_scripts:
fix spel
l
i
ng o
f
"u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
Neu
s
chäfer
smatch
:
fi
x
several typos
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
assigned_
e
xp
r
: move ch
e
ck_assigned
_
ex
p
r()
t
o smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpente
r
m
a
cr
o
_side_effects: only
enable
when --spammy
i
s us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpent
e
r
i
gnore_side_ef
f
ects
:
add so
m
e more
m
acros that ha
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: add --spam
m
y to validation t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
p
e
nter
ove
r
f
l
o
w
: remove strncpy() false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch
'
devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
buf_size: tur
n
o
ff buf size
f
or &a
d
dre
s
ses
u
nless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
flow: handle the __nor
e
turn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_s
i
ze: rem
o
v
e
the
&
* and [0] from
aro
u
nd the poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAK
I
Mot
o
h
i
ro
sp
a
rse: Add 'erro
r
' to ignored attrib
u
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
spar
s
e: Add '__ve
c
tor_size__
'
t
o
ignored
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carpenter
s
m_buf: don't re
t
urn the maximu
m
s
t
o
r
e
b
u
ffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
b
uf_
s
ize: return
t
he siz
e
of &
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_
s
ize: add kmalloc
_
array() and sock_kmal
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an
C
arpent
e
r
buf_size: if the me
m
ber size is not known then s
t
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Ca
r
pen
t
er
Merg
e
b
ranch 'buf_size' into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Merge g
i
t
://git
.
kernel
.
org/pub/sc
m
/dev
e
l/spars
e
/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_
s
ize: first get t
h
e size in byt
e
s then conve
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_
s
ize: remove
cas
t
_rat
i
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
te
r
buf_size: fix bytes_pe
r
_element
(
)
f
o
r strin
g
s and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
penter
b
uf_size: d
e
lete
s
o
m
e duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size: prefer th
e
d
eclared a
r
ray
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
s
ize:
s
trcpy() o
n
ly
s
ets the size of the destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: i
g
nore cas
t
s in get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size: creat
e
an elem
e
nt
s
_to_bytes() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpente
r
buf_si
z
e:
s
eparate bytes_per_element() i
n
to its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: using ->b
i
t_size doesn
'
t work for vo
i
d pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_
s
i
z
e
:
use get_store
d
_
size_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_si
z
e
: make
g
et_s
t
ored
_
size_by
t
e
s
() a
s
eparate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpent
e
r
buf_size:
p
ull bytes_to_elements() in its own
functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: cal
c
ulate bytes per element bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arp
e
nter
buf_size: add
a basic va
l
i
d
at
i
on test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
bu
f
_
s
ize: i
f
the size is variable pick the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpent
e
r
bu
f
_size:
move
g
et_size_fr
o
m
_strlen() into it's ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
Carpente
r
b
uf
_
size:
pull get_si
z
e_from_initi
a
liz
e
r() into s
e
p
a
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size
:
m
o
v
e get_store
d
_size() o
u
t of get_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf_size:
p
ull ha
n
dling of normal array
s
into s
e
parate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
size:
move so
m
e functions a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n C
a
rpe
n
ter
buf_size:
a
dd mo
d
ificat
i
on
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
debug: a
d
d a way to debug buf
f
er sizes __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Ca
r
penter
Or vs and:
w
arn about bitwise AN
D
s that a
l
ways gi
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
an
C
arpente
r
O
r vs and: if
(foo & ZERO)
i
s
nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function
_
hash: make it
easier
to h
a
ndle a
f
ile with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signe
d
: u
n
break the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
e
r
overflow: update
v
a
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
r
p
e
nter
f
l
o
w: h
a
n
d
le struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an
C
arpenter
f
low: handle EXPR_OFFSETOF
a
n
d
EXPR
_
A
L
IGN
O
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
C
arpenter
overflow:
igno
r
e
"x = &foo
[
ARRA
Y
_SIZE(foo)];
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overflow:
w
hite
s
pace cleanup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
i
mplied: the base slist i
s
n
o
t special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
slist: chan
g
e
format
f
o
r debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
te
r
expres
s
ions: i
n
troduce
s
ome more ex
p
r
ession allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
e
n
ter
validation: upda
t
e d
e
reference c
h
eck output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nter
impl
i
ed: certain states should
b
e left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
slist: pu
t
the sm_state itself int
o
->possib
l
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slis
t
: cleanup
m
erge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
e
x
t
ra: don't create a
new merged estate if
->rig
h
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
es
t
a
tes: r
e
u
s
e same estat
e
for extra_undef
i
ne
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
cons
t
raints: get rid of a
d
d_equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nst
r
aints: remove some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next