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
Redo checking for out of range args to ERR_PTR()
2009-04-18
D
a
n Carpenter
Redo chec
k
ing fo
r
o
u
t
o
f
range args to E
R
R_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n Carpenter
Here i
s
a bug i
n
handling compo
u
nd conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
en
t
e
r
Handle straight f
o
rw
a
rd c
o
m
p
arisons
to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
e
r
Store
t
he implications for retu
r
n_implies_s
t
ate() assignmen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
A
d
d: ret
u
rn_
i
mplies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Re
n
ame smat
c
h_e
x
tra_helper
.
c to sm
a
tch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate se
t
_c
o
nd_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Smal
l
cle
a
n
up
.
A
lloc
a
ting filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arp
e
n
t
er
Ve
r
ify that the
val
u
e
p
assed to ERR_PTR() isn't
too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fix compiler int<-
>
p
tr conve
r
s
i
on wa
r
n
ings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge adjacen
t
ranges
.
1-2,3-4
b
ecomes 1-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sa
v
e some al
l
ocatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
F
i
x strnc
a
t() bu
g
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Car
p
enter
Imp
r
ove handli
n
g
of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
C
a
r
penter
Handle once throu
g
h lo
o
ps differ
e
ntly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpenter
Fix m
e
rging r
a
n
g
e
s
.
Completely broken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Ca
r
pent
e
r
Typo:
<= instead of >
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Reverse all
t
h
e
ra
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
on't the
im
p
lications f
o
r the st
a
te deter
m
ini
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
m
a
tch_comparison t
o
handle less than, greater th
a
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carp
e
nt
e
r
C
hange locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Ca
r
pen
t
er
D
on't
a
llocat
e
so many extr
a
_
undefined s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpe
n
ter
create
alloc_extra
_
stat
e
_empty(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
re
m
ove
t
rue_comparison() and do
_
compari
s
o
n
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
move (true|false)_comparison_rang
e
() to smatch_extra_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
c
l
ear ->my_lists
f
or &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print more --debug-
i
mplied informat
i
on wh
e
n --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpe
n
ter
Removed hard coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carp
e
nter
Fix r
a
nge
c
o
m
paris
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpente
r
remove unuse
d
functi
o
n:
range
_
list_inte
r
sectio
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Ca
r
pe
n
ter
Handl
e
UNDEFINED range and display the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpen
t
er
Fix
s
tate names for r
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implie
d
ranges
.
Part
#3
.
R
a
nge Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pente
r
Update dat
a
file
s
for
2
.
6
.
3
0
-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nter
smatch_extra
.
save other compa
r
isons beside
s
just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
handle: if ((fo
o
= try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
r
ename:
e
xpr_to_val() -> get_implied_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
e
n
te
r
Fix handling
o
f if (IS_ERR
(
foo = ba
r
()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle if co
n
d
itional fun
c
tions are assig
n
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Add ne
w
r
e
stricted known_condition_true
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
rename know
n
_con
d
iti
o
n
_tru
e
() to imp
l
ied_condi
t
ion
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Add ERR_PTR(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpent
e
r
__m
o
dule_
p
ut_and_exit() d
o
esn't
r
eturn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Car
p
enter
Se
p
arate the
list
o
f fr
e
e
d arguments from decremente
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Write a s
c
r
i
pt to pr
i
nt
functions that return NUL
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Do
n
't free
b
in_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Commit these essential fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
t
er
Han
d
le
k
nown conditions whe
n
they
a
re a sim
p
le
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Car
p
enter
Fix memory leaks foun
d
b
y
valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
alloc_string() -> alloc_s
n
ame()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some validation scripts in the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
r
penter
Impli
e
d ranges
.
Part #2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carpenter
S
i
lence the m
u
tually
exclusive o
u
tput again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpenter
Free
a
ll data_info at the end of
a
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
Add
--no-data o
p
tion and w
a
rni
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carp
e
nt
e
r
r
ange fix
.
anding s
l
ists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpenter
cleanups from
c
lone_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan C
a
rpenter
Add the al
l
ocation fu
n
cs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Ca
r
penter
free_scq is d
e
fined 2 ti
m
e
s
quite differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carpe
n
t
e
r
F
i
x
i
mplicat
i
o
n
s (fal
l
out from clon
e
_slist() ch
a
nges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Major memory s
a
ving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Car
p
enter
--debug
m
eans
p
rint t
h
e implication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
n
t
e
r
Add --no-implied to th
e
help
t
ext
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Sa
v
e mem
o
ry
.
Don't copy
the sta
t
e
n
ame s
o
much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
r
pe
n
ter
Add ch
e
ck_type
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
C
arpenter
kref
_
put
(
) and kobject
_
put() are bas
i
cally like a
free(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan
Carpent
e
r
D
o
n't
dere
f
e
r
ence
freed m
e
mory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n
C
a
rpenter
A
dd all the a
l
l
o
cat
i
o
n funct
i
on
s
to check_
l
eaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
D
an
Carp
e
nter
Generate a list of functions that allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan C
a
r
p
ent
e
r
Update th
e
gen_frees_list
.
s
h
and t
h
e g
e
ner
a
ted d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carp
e
n
t
er
S
a
v
e
function lists in smatch_
d
a
t
a/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabled) script: ch
e
ck_le
a
ks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied: add get_implicat
i
ons() for scripts to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpenter
Add
c
om
m
ent
.
get_
v
alue return
s
UNDE
F
INE
D
on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ction_ho
o
ks: bump the nu
m
b
e
r
of entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Carpenter
new: add_funct
i
on_a
s
sign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up th
e
c
o
nd
i
tio
n
al hoo
k
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
n
ew api: add_conditional_hook(), set_co
n
d_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
funct
i
on_hooks: p
a
ss the function name as w
e
ll
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
d
o
n't try retur
n
bl
o
ck things in g
e
t
_
variabl
e
_from_e
x
p
r
_
comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Add
a
l
ist of noreturn typ
e
functions
that n
u
llify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carp
e
nte
r
Mer
g
e bran
c
h 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
r
ecompil
e
th
e
check_*
.
c files
if the s
m
atch headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpen
t
e
r
che
c
k_overflow: test copy_to/from_user a
s
w
e
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
check_overflow: d
o
n't multiply t
h
e
s
ize of str
i
ngs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carp
e
nter
assum
e
d_nonnull crap
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpe
n
ter
Add script t
o
generate
the frees
l
ist
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
C
arpen
t
er
rena
m
e
register_frees_argume
n
t to check_frees_argu
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
C
ar
p
enter
f
i
x o
r
der
o
f
p
rocessing
of com
m
a
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpen
t
e
r
get rid o
f
FUNCTION_C
A
L
L_AFTER
_
H
OO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
a
nge order of condi
t
ion pr
o
cessing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpe
n
te
r
get rid of ASSIGN
M
ENT_A
F
TER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
check_memory: rea
d
f
reeing
f
unctions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Car
p
enter
check_memory
:
read
freeing fu
n
ctions from
fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpen
t
er
fr
e
es_argument: don't co
u
n
t
f
unc
t
ions that only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan
Ca
r
p
enter
core
:
im
p
rove anding condition h
a
ndling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpen
t
er
c
h
eck_overf
l
ow: move to new add_
f
unction
_
hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Car
p
e
nter
c
h
eck_lock
i
n
g
:
move to the new function hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next