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
absolute: track the absolute limits that variables can be
2012-10-12
Dan Carpenter
absol
u
te: track the absolute li
m
its t
h
at varia
b
l
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
Carpenter
math: impr
o
ve how get_absolute_m
i
n
/
ma
x
(
)
work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
an Carpenter
math
:
impr
o
ve how known logical operations are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpen
t
e
r
type: simplify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Ca
r
penter
type: improve handling of
typ
e
p
r
omotion o
n
binar
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: d
e
lete some debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
a
r
p
enter
ranges:
p
ars
e
the ra
n
g
e
s
l
i
st
c
orr
e
ctly
i
f
i
t onl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
m
ath: know
n
conditions ar
e
e
q
ual to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
math:
ha
n
dle
se
l
ect statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
he
l
per: improve printed messages a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
extra:
handl
e
asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
e
n
ter
dereferen
c
es_p
a
ram: h
a
ndle str
c
mp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpenter
ranges: k
i
l
l
the "Erro
r
invalid r
a
nge mes
s
age"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
a
s
signed_expr: ignore += a
s
sign
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: w
h
ite space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
function_hooks:
use the stri
p
ped function cal
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an
C
arpenter
d
b
,
buf_si
z
e, parse_call_math: tr
a
ck the size of
r
eturned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_imp
l
ied_ra
n
ge_list: use
t
h
e new functio
n
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implied
_
value: d
o
n't g
e
t
confused
by
cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
db/
r
eturn_sta
t
es:
f
i
x
re
t
urn values for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
C
arpenter
f
unction_hooks
:
clean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
a
r
p
enter
f
u
nc
t
ion_hooks: introduce get
_
im
p
lied_
r
e
turn(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
misc: wh
i
tespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpen
t
er
db
_
ca
l
ler_info: add some co
m
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
d
b
, function_h
o
oks: pass assi
g
nment
e
x
press
i
on to
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpe
n
ter
buf
_
size:
i
ntr
o
duce get_a
r
ray_
s
ize
_
bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Hors
t
H
.
vo
n
Brand
Instal
l
cgcc
too
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
r
pen
t
e
r
capped: fix how the m
i
n()
macro is hand
l
ed
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
buf_size:
db: Use the --spammy opti
o
n to fill
the data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_siz
e
: me
r
ging two sa
m
e
size buffers g
i
v
e
a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpenter
bu
f
_size: record stat
i
c variables in the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
e
nter
proc_create: fix
a whitesp
a
ce issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpenter
buf_size, db
:
if
a struc
t
m
e
mber
s
iz
e
i
s
s
et in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carp
e
nter
c
h
eck_
k
e
rnel:
f
ix E
R
R
_PTR() false po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan
C
a
rpen
t
er
logical_inst
e
a
d
_of_bitwise: f
o
o = (1 << x)
&
& y
;
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
a
n C
a
rp
e
nter
locking:
_
bh lock fu
n
c
t
io
n
s are n
e
stabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
extra:
i
ntroduce filter_r
a
nge
_
l
i
st
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
k
ernel:
h
andle IS_ER
R
() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
db_info: remove u
n
used pri
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, function_hooks,
db:
c
h
ang
e
cross function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
d
b: remo
v
e the return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpe
n
ter
smatch_data
:
upda
t
e th
e
dat
a
directo
r
to
the lat
e
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info:
f
ix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_si
z
e: si
l
e
n
c
e a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
caller_info: upd
a
t
e fix
u
p
_ke
r
nel
.
s
h to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
e
xtra: get
_
im
p
l
ied
_
range_
l
ist() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_data: us
e
the new return
_
state
s
d
a
tabase ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
u
s
er_dat
a
:
s
yscalls are a sou
r
ce of u
s
er
dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
user_data:
i
f "ptr" i
s
user
data th
e
n
"
*
ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add i
s
_user_macro() s
t
ub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
t
a
: skb->dat
a
is u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
penter
extra: make a functi
o
n
sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b
:
c
reate
retur
n
_states tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db:
a
dd ge
t
_return_id() and retur
n
mar
k
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: improve
er
r
or message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nter
d
b: caller_inf
o
c
hange
s
:
s
tore the
c
aller, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
db:
a
d
d r
e
turn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
err_pt
r
_de
r
ef: remove dup
l
icate co
n
flicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpente
r
f
un
c
tion_hooks: move regi
s
tration
to the
right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Om
a
i
r
M
ohammed
A
bdullah
Fix bug in Makefile that causes lin
k
ing t
o
fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_che
c
k:
r
e
m
o
v
e dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
misc wh
i
te space fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
i
m
plied: change debuggi
n
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
c
h
e
cks:
g
e
t rid
of some del
e
te_state
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_c
h
ec
k
: fix a false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix
a
bug with
v
ariable
s
named
"x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Car
p
ent
e
r
sparse: comment out an internal
e
r
r
o
r
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
ar
p
enter
Merge g
i
t://git
.
k
e
rnel
.
org/pub/scm/d
e
v
e
l/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assig
n
_vs_compa
r
e
:
i
f ((x
=
<
c
onstant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: introduc
e
rl_conti
g
uous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Car
p
ent
e
r
deref_check: silence some false
positive
o
n cross f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
fill_db_
c
a
l
l
_
i
m
plies
:
check co
r
rect var
i
a
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpe
n
ter
fill_db_return_
i
mplies:
delete
the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n Carpenter
pointer_
m
ath:
check ALIGN() mac
r
o math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
he
l
per:
h
andle if (
W
ARN_ON(i == ARRAY
_
SI
Z
E(f
o
o)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_
s
cr
i
pts: fix spe
l
li
n
g
of "usage"
commit
|
commitdiff
|
tree
2012-07-02
J
onathan
N
euschäfer
smatc
h
:
f
ix sever
a
l
typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr: move ch
e
ck_
a
s
s
igned_exp
r
() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
m
a
cro_side_e
f
fects: o
n
ly enable when --spammy is
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nte
r
ig
n
o
r
e_side_effects: ad
d
so
m
e
more
m
acros that
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
b
uf_siz
e
: add --spammy to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
ove
r
flow: remove
s
t
rncpy() false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge bran
c
h 'devel
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf_si
z
e:
turn
off buf size for &addres
s
es unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
Carpenter
f
low: han
d
le th
e
__noreturn
_
_ at
t
ribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size: remo
v
e t
h
e
&*
a
nd [0] from around the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otoh
i
r
o
sparse: Add 'error' to igno
r
ed attr
i
b
utes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Motohiro
s
p
arse
:
Add '__vector_si
z
e__' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_
b
uf: don't r
e
turn the maximum store b
u
ffer s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
buf_size: return th
e
s
i
ze
o
f &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
t
e
r
b
u
f_size: ad
d
kmallo
c
_array() and
sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpente
r
buf_size: if the memb
e
r siz
e
is not know
n
then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge bran
c
h
'b
u
f_size
'
into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Mer
g
e git://git
.
kernel
.
org/
p
ub/scm/devel/s
p
arse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
uf_
s
ize: first get t
h
e size in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size
:
remove ca
s
t
_
ratio
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_size: fix 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 du
p
l
i
cate co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpent
e
r
buf_size: prefer the decl
a
r
e
d
arr
a
y size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpe
n
ter
buf_size
:
strcpy()
o
n
l
y
set
s
the
s
ize of
the
d
e
s
t
ination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next