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
sval: remove a whole_range reference in smatch_implied.c
2012-10-29
Dan Carp
e
nter
sval: cr
e
at
e
a coup
l
e
s
val allocator
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update ch
e
ck_unw
i
nd
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
C
arpenter
sv
a
l: update c
h
eck
_
template
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an C
a
rpenter
sval:
u
pdate check_sizeof_
p
ointer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: upda
t
e vali
d
ation/sm_pr
o
pagat
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpent
e
r
s
v
al: update c
h
eck_r
e
t
urn_enom
e
m
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: upda
t
e check_return_efaul
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpenter
s
v
al: update check_propa
g
ate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
r
penter
sval:
upda
t
e che
c
k_p
r
oc
_
c
r
eate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Car
p
enter
sv
a
l:
u
pdate
c
heck_precedence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
sva
l
:
upd
a
te check_param_ra
n
g
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpente
r
sv
a
l: update check_or_vs_and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pent
e
r
sval
:
upd
a
te
c
heck_mod_ti
m
e
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
te
r
sval: update check_mems
e
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
a
l
: update check_l
o
g
ical_ins
t
ead
_
of_bitwise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Car
p
enter
sva
l
: update check_kma
l
loc_wrong_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sval: updat
e
check_gfp_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
ar
p
en
t
e
r
sva
l
: up
d
a
t
e check_get
_
user_over
f
low
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an
Carpenter
sval: update check_
f
r
e
eing_
n
ull
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval: update check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
s
val: update
check_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_de
b
ug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carp
e
nter
s
v
al
:
up
d
a
te check_boo
l
_im
p
lications
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an
Carpenter
s
val:
update check_bogus_l
o
op
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: u
p
date
check_bogus_i
r
qr
e
st
o
re
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval:
u
pdate check
_
bit_shif
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update c
h
eck_assign_vs
_
com
p
are
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
s
val: upd
a
te ch
e
ck_a
l
location_funcs
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
a
rpente
r
s
v
al: up
d
a
te access_ok
_
math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: clean up som
e
na
m
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
rpenter
sval: implement
t
h
e
_sva
l
versions of a
bunch of fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: delete
get_absolute_max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpe
n
t
e
r
sval: update get_a
b
s
o
lut
e
_
max() ca
l
ls to use sva
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
m
ath:
move
s
mat
c
h
_
math
.
c to us
e
s
vals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type: sup
p
ort som
e
mor
e
types
i
n get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type: introduce sva
l
_type_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
sval: create a new b
a
sic storage for storing the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
unwind: only
ena
b
l
e
w
i
th --
s
pammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
db: don't tu
r
n
R
aiseEr
r
o
r
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Da
n
Carpenter
dev_qu
e
ue_xm
i
t: tur
n
o
n
b
y def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
db: add a commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
r
penter
si
g
n
ed:
tiny wh
i
tespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute
:
fix pa
r
a
m
eter info
coun
t
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
C
arpenter
abs
o
lute:
fix h
o
w modifications a
r
e handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
debug
:
f
i
x cut and p
a
ste
b
ug in print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
type: fix get_binop_type() for b
i
t s
h
ift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace: add a newl
i
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpen
t
er
absolute: track the absolute limit
s
tha
t
v
ariables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve how get_absolute_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
Carpenter
m
ath: improve how known logical o
p
er
a
t
i
ons a
r
e handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
C
arpenter
typ
e
:
s
implify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: impr
o
ve ha
n
dling of type prom
o
tion on
b
i
n
a
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpenter
extra: delete some de
b
u
g co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
an Carpenter
ranges: parse the r
a
nges list correctly if it on
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
C
arpen
t
er
math:
k
no
w
n conditions are equa
l
to
o
ne o
r
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpe
n
ter
m
a
th: handle s
e
lect statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pe
n
ter
h
elper
:
improve printed me
s
sage
s
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpent
e
r
extra: handle
a
sm expressi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferences_param: handle
s
trcmp
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
t
e
r
ranges: kill the
"
Error invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpenter
ass
i
gned_ex
p
r: i
g
nore
+
=
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpenter
f
unction_
h
o
oks: white
s
p
a
ce
f
ix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carp
e
nte
r
func
t
ion_hooks: use the
s
t
r
ipped func
t
ion
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpen
t
er
db, buf_size, parse
_
c
a
ll_math: track the s
i
z
e
of
retur
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpe
n
t
er
ge
t
_implied_range_l
i
st: use the
new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
imp
l
ied_value:
d
on't get
c
onfused by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
d
b/retur
n
_
s
tates
:
fix return v
a
lues
for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an
C
a
rpenter
functi
o
n_hooks: cl
e
an up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
function_h
o
oks: intro
d
uce get_implied_re
t
urn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
mi
s
c:
w
hitespace cl
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpenter
d
b_caller_info: add some c
o
mm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
db,
f
unction
_
h
ooks: pass as
s
ignme
n
t
e
x
pression to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan
C
arp
e
n
ter
bu
f
_s
i
ze: introduce get_arra
y
_siz
e
_by
t
es_
m
in()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
orst H
.
von Brand
I
n
stall cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
c
a
p
pe
d
: fix how the min() m
a
cro
is
h
a
ndled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
bu
f
_size: db: Us
e
t
h
e --spammy option t
o
f
i
ll the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
C
arpenter
buf_siz
e
:
merg
i
n
g
two sam
e
size
b
u
f
fers
g
i
ve a s
a
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
bu
f
_size: record static va
r
iabl
e
s in th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
r
p
ent
e
r
proc_create: fi
x
a
whitespace is
s
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carp
e
nter
buf_siz
e
,
db: if a struct
member
s
ize is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpen
t
e
r
c
h
eck_kernel: fix ERR_P
T
R()
f
alse pos
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_instead_of_bitwise: foo = (
1
<< x
)
&& y;
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking: _bh lock functions are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nt
e
r
ext
r
a: int
r
oduce
f
i
lter_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
kernel: handle
I
S_ERR() pr
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nte
r
db_in
f
o: re
m
ove
u
nused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
en
t
er
extra, func
t
i
on_hook
s
, db: change cros
s
functio
n
ana
l
ysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remov
e
th
e
return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
pente
r
smatch_data: up
d
ate the data director to the
l
a
test
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpente
r
db
:
c
a
ller_in
f
o: fix more fall
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: type_s
i
ze: sil
e
n
c
e a p
e
rl wa
r
nin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: call
e
r_i
n
f
o
:
u
p
date fixup_
k
ern
e
l
.
sh to the n
e
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
ext
r
a: get_impl
i
ed
_
ran
g
e_list() s
h
ould
return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r
_data: use
t
he ne
w
return_states
d
atabase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data:
sysc
a
l
l
s
are a source
o
f user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: if "
p
tr" is use
r
data then "*ptr
"
is
u
ser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user_da
t
a: a
d
d
is_
u
s
e
r_ma
c
ro() stu
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
user_data:
s
kb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: make
a fun
c
tion stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: create
r
et
u
rn_states tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next