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
Dan Carpenter
Redo che
c
ki
n
g
f
or
o
u
t
of range args t
o
ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpen
t
er
Her
e
is a bug
i
n handling
c
o
m
p
o
u
nd condi
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Handle
straight forward com
p
a
r
isons to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Ca
r
penter
S
t
ore the
implications
for
r
eturn_implies_state() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpente
r
Add: retur
n
_im
p
lies
_
state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
Rena
m
e smat
c
h_extra_help
e
r
.
c to
s
match
_
r
a
ng
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carp
e
nter
Eliminate
s
et_
c
ond_stat
e
s() functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
p
e
nter
Smal
l
c
lean up
.
Allocatin
g
filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Ve
r
ify tha
t
the va
l
ue pa
s
sed t
o
E
R
R_PTR() is
n
't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
F
i
x
c
ompiler int<->ptr c
o
n
v
e
rsion warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge
a
dj
a
cen
t
ranges
.
1-2,3-4
b
e
c
om
e
s 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Sav
e
some allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
F
i
x
strncat(
)
bu
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
an Carpen
t
er
Imp
r
ove handling
of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Handle once through loops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Car
p
enter
Fix merging ranges
.
Compl
e
t
ely
b
r
oken be
f
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpente
r
T
y
po: <= instead o
f
>=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Revers
e
al
l
the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
D
on't t
h
e imp
l
ications for the
s
t
a
te determining th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arp
e
nter
match_co
m
parison to
handle l
e
s
s than, greate
r
than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Change l
o
cki
n
g output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Don't
a
lloc
a
t
e so many extra_u
n
d
efined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create allo
c
_extra_stat
e
_
empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpen
t
er
r
e
move
true_comparison() and do_
c
o
m
parison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpe
n
ter
move (true|false)_comparison_
r
ange
(
) to smat
c
h_extr
a
_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpe
n
te
r
cl
e
ar ->m
y
_l
i
sts for
&
ig
n
o
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
Print more
-
-debug-implied informati
o
n when
-
-
debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
Removed hard
c
o
d
e
d
options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Fix range c
o
mpa
r
ison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
remove
u
n
used funct
i
on:
range_list_inters
e
ction
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handl
e
UND
E
FINED range and d
i
spla
y
t
he name
corr
e
c
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix
s
tate nam
e
s f
o
r
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carp
e
n
ter
Implied rang
e
s
.
Part #3
.
Range Lis
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
Update data files for
2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_e
x
tra
.
save ot
h
er compari
s
o
ns beside
s
jus
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n C
a
rp
e
nter
h
andle: i
f
((f
o
o = try_lock()
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rena
m
e: e
x
pr_
t
o
_val() ->
g
e
t
_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpente
r
F
i
x handl
i
n
g
of if (IS_ERR(f
o
o = ba
r
(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
n
t
er
handle if conditional functions are as
s
ign
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add new restricted know
n
_conditi
o
n_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
arpenter
r
e
name known_condition_true() t
o
implied
_
condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arp
e
nter
A
d
d ERR_PTR() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
_
_
m
odul
e
_p
u
t_a
n
d
_
e
xit() doesn't
ret
u
rn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate the li
s
t of freed
arguments fro
m
d
ecremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carp
e
nter
Write a script
t
o print functions
that
r
eturn NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Don't
f
ree bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oo
p
s
.
Co
m
mit these
e
sse
n
tial files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n C
a
r
p
e
nter
Handle known
conditions
w
hen the
y
ar
e
a s
i
mple
value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Fix
m
e
m
o
r
y leaks foun
d
by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rpen
t
er
a
l
loc_strin
g
(
) -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nt
e
r
Put some validatio
n
scripts in th
e
clos
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an C
a
rpen
t
er
Implie
d
ranges
.
Part #2
.
Filt
e
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
S
ilence the mutually exclusive output aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpent
e
r
F
r
ee all data_info at
t
he
end of
a
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpente
r
Add --no-data optio
n
and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
range fix
.
anding sl
i
st
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Ca
r
pen
t
er
cleanups
f
rom clone_slist(
)
c
han
g
es
.
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 Carpen
t
er
Add the allocatio
n
f
uncs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
ent
e
r
free_
s
cq is
d
e
fine
d
2 times quite d
i
fferently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
F
ix implicat
i
o
n
s (f
a
l
l
out from cl
o
ne_slist() changes
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nt
e
r
Major memory sav
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--d
e
bug means
p
rint the imp
l
ications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
Ad
d
--no-implied to
the help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save me
m
o
ry
.
Don't
c
opy the state name so mu
c
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpent
e
r
Add check_t
y
pe
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpente
r
k
r
e
f
_put()
a
nd kobject_p
u
t
(
) are basically
l
i
ke a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
D
a
n Carpenter
Don't d
e
reference
f
r
ee
d
memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpent
e
r
Add all the alloc
a
t
ion functions to check
_
l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a l
i
st of functio
n
s that allocate d
a
t
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
D
an Carpen
t
er
U
pdate
t
he gen_fre
e
s_list
.
sh and th
e
ge
n
erate
d
data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpenter
Sa
v
e fun
c
tion lists in smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carp
e
nt
e
r
ne
w
(
d
isab
l
e
d) script:
check_
l
eaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpenter
impli
e
d: a
d
d
get_implications(
)
f
or scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
Add comment
.
g
e
t
_
valu
e
returns UNDEFINED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
functio
n
_hook
s
: bump the number 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_assign_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpenter
C
lean up
t
he
cond
i
tional hook cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an Ca
r
penter
new api: add_co
n
ditional_
h
ook(
)
,
set_c
o
nd_st
a
tes();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks
:
pass the
f
unction
n
ame
a
s
we
l
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
don't try r
e
t
u
r
n b
l
o
c
k
things
i
n
get_
v
a
riabl
e
_from_expr_co
m
p
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
A
d
d a list of noreturn type
function
s
t
h
a
t n
u
l
lify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge b
r
anch '
d
evel'
commit
|
commitdiff
|
tree
2009-03-23
D
a
n C
a
rpenter
recompile the
chec
k
_*
.
c files if th
e
smatch
h
eaders
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
check_overflow: test co
p
y_to/f
r
om_user as
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
ch
e
ck_o
v
erflow: don
'
t multip
l
y the size of s
t
r
i
ngs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
assumed_
n
onnull cra
p
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
Add script t
o
g
e
n
erate the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpente
r
r
enam
e
r
e
gister_frees_arg
u
me
n
t
t
o c
h
eck_frees_argum
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
f
ix order
o
f proc
e
ssing of
commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
get rid of FUNC
T
I
O
N
_
CALL_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
change order of condit
i
o
n
processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
get rid of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_memory:
r
ead freei
n
g functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpenter
check_memory: read freeing
functio
n
s fro
m
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carpenter
f
r
ees_arg
u
ment: don't co
u
nt functions that only f
r
ee
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
D
an Carpenter
c
ore: improve anding conditio
n
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n C
a
rpenter
chec
k
_overflow:
m
ove t
o
ne
w
add_func
t
i
o
n_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Ca
r
p
e
n
ter
check_loc
k
ing: move to
t
he new
f
uncti
o
n
h
o
ok
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next