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
potential bug fix for gotos with implications
2009-05-04
D
a
n
C
arpenter
p
o
tent
i
al
b
ug fix for
go
t
os
with
i
mplicat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
pent
e
r
Make validat
i
on test ha
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework
smat
c
h i
m
plie
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpe
n
t
er
get_va
l
ue():
handle
a couple more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Set thin
g
s in smatch extra instead
o
f
smatch imp
l
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpenter
Handle s
w
itch s
t
atements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rp
e
nte
r
Revert "D
o
n
'
t the imp
l
ica
t
ions f
o
r the state determini
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Da
n
Car
p
enter
Rever
t
"Here is a bug in han
d
l
ing co
m
pound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
r
penter
handle if((fo
o
= down_tryloc
k
(
)
) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpente
r
add_is_merged_hoo
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
Dereferencing a v
a
riable does
n
'
t
mak
e
it
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Da
n
C
a
rpenter
R
e
do checking
f
or out of range args to ERR_PTR(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
an
Carpenter
H
e
re is
a
bug in ha
n
d
l
ing compound
c
onditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
er
Hand
l
e
straight forwa
r
d comparisons
t
o zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
St
o
re the implications
for
r
eturn_impli
e
s_state() assignm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
arpenter
Add:
return_im
p
l
ie
s
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
Rename smatch
_
extra_helper
.
c to smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Elimi
n
a
t
e set_cond_st
a
tes() funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
r
p
e
n
t
e
r
Small clean up
.
All
o
cating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify that t
h
e
v
a
l
ue passed to ER
R
_PTR() isn't t
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
F
ix com
p
iler i
n
t<-
>
pt
r
conversion warnin
g
s
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Car
p
ente
r
M
erge adjacen
t
ranges
.
1-2,3-4 beco
m
es
1
-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
pen
t
er
Save some allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pent
e
r
Fix strn
c
a
t()
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
an Carpenter
Imp
r
o
ve handling
of for l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Handle
o
n
c
e
through
l
oops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
Fix merging
r
anges
.
Completely b
r
oken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Typo: <= inste
a
d
of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpen
t
er
Reverse al
l
th
e
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
o
n't the impl
i
cations for
t
h
e state determi
n
ing
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
match_comparison t
o
h
a
ndle
less than, greater tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Car
p
ent
e
r
C
h
ange locking output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don'
t
allocate so many ext
r
a_undefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpente
r
create a
l
loc_ex
t
ra
_
state_
e
mpty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arp
e
n
t
er
remove tr
u
e_c
o
mparison(
)
a
nd d
o
_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
move
(true|false)
_
comparis
o
n
_range() to smatch_
e
xtra_
h
elper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an
Carpente
r
c
lear ->my_lists for &ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
arpenter
Pr
i
nt
m
ore
--debug-impl
i
ed informat
i
on
when --de
b
ug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
R
em
o
ved hard c
o
ded op
t
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n C
a
rpenter
Fix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
r
emo
v
e
unused f
u
nction: range_list_in
t
ersecti
o
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpenter
Handle UNDEFINED range and display the nam
e
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
Fix state names f
o
r ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpenter
Impli
e
d range
s
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Update data files
f
or 2
.
6
.
3
0
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carp
e
nter
smatch_extra
.
s
a
ve other
comp
a
r
i
sons besides
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpen
t
er
handle: if
(
(f
o
o
=
try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: exp
r
_to
_
val() -> get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix hand
l
ing of if (IS_ERR(foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Car
p
enter
handle if c
o
nditional f
u
ncti
o
ns
are assigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Ad
d
n
ew
restricted known_
c
ondition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
r
e
n
a
m
e known
_
c
onditi
o
n
_
true() to implied_conditio
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Add ERR_P
T
R() chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
t
er
__
m
o
d
ule_
p
u
t
_a
n
d
_
exit() does
n
't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate the list of freed argu
m
e
nts fr
o
m decrement
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
W
rite a scr
i
pt to print fu
n
ctions
t
hat return NU
L
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't free
b
i
n_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Ca
r
penter
Oops
.
Co
m
mit
these esse
n
tial files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Ha
n
dl
e
kno
w
n con
d
itions
when
they are a sim
p
le value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
F
i
x
memory lea
k
s f
o
und by valgr
i
nd
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rp
e
nter
a
lloc_string() -> al
l
o
c
_snam
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Pu
t
some validation
s
cripts in the
clos
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Im
p
li
e
d
range
s
.
Part #2
.
Fil
t
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpe
n
ter
Silence the mutually exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free all da
t
a_info at the
e
nd of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpen
t
er
A
dd --n
o
-
data option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
penter
range fi
x
.
a
n
d
i
n
g sl
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Ca
r
pent
e
r
cl
e
anups f
r
om
c
lon
e
_slis
t
() changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carp
e
nt
e
r
Im
p
lied ranges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
arpenter
Add the alloc
a
tion funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
e
r
free_scq is defin
e
d 2 ti
m
e
s
q
u
i
te
d
iffer
e
ntly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
F
i
x implica
t
ions (fallout
f
rom c
l
one_sli
s
t() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
M
ajor m
e
mory sav
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
er
--debug means
p
ri
n
t
the
i
mplications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
C
ar
p
en
t
er
Add --no-impli
e
d
to the hel
p
tex
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arp
e
nter
Save memo
r
y
.
Don't
c
opy
t
he
state name s
o
muc
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Ca
r
penter
Add check_type
.
c (disable
d
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
enter
kref_put()
a
nd kobject_put() a
r
e
b
a
sically like a free(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpen
t
er
Don't derefer
e
nce freed memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add all
t
h
e alloc
a
tion fu
n
cti
o
ns
to
c
heck_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
G
e
ner
a
te a list of f
u
nc
t
io
n
s that allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Update the gen_fr
e
e
s
_lis
t
.
s
h
and the gen
e
ra
t
ed data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carp
e
nt
e
r
Sa
v
e functio
n
l
ists in smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disa
b
led) scrip
t
: check
_
le
a
ks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied: a
d
d get_implications() for
s
cripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an
C
a
rpenter
Add commen
t
.
get_v
a
lue re
t
urns UNDEFINED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpenter
functio
n
_hooks: bump th
e
number
o
f e
n
tries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add_
f
u
n
ction_assign_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
enter
C
l
ean up the conditional hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpe
n
ter
new api: a
d
d_conditional_
h
ook()
,
set_
c
ond_s
t
ates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Ca
r
pent
e
r
function_hooks: pass the func
t
ion name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don't t
r
y return block things in get_
v
ari
a
ble_
f
rom_expr_c
o
mp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Ca
r
penter
Add
a list of noreturn type functions that nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
arpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompi
l
e the check_*
.
c f
i
les
if the smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_over
f
low: test copy
_
to/from_user
a
s wel
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
che
c
k
_
overflow: don't multiply the s
i
ze of strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
a
ssumed_nonnul
l
crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
A
d
d script to
g
en
e
rate the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next