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
Make validation test harder.
2009-05-04
Dan
C
arpenter
Make validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
R
ework smatc
h
imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpe
n
ter
g
et_val
u
e():
handle a couple more bit
operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Car
p
enter
Set thing
s
i
n smatc
h
extra in
s
te
a
d of smatch
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Ha
n
dle swit
c
h sta
t
eme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n
Carpen
t
er
Rev
e
r
t "Don't the imp
l
ications for the state dete
r
mining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpe
n
ter
Revert "Here
is a bug i
n
handling compound conditi
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if((foo = down_
t
ryloc
k
()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n
Carpenter
add_is_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpen
t
er
Dereferencin
g
a variabl
e
doesn't make
i
t
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking
for o
u
t of range args to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n
Carpenter
Here is a bug in handling
c
ompound conditi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
pe
n
ter
Handle s
t
rai
g
ht f
o
rward co
m
paris
o
n
s to ze
r
o
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
a
r
p
enter
Store
the
implications for retur
n
_implies_state() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
enter
Add: ret
u
rn_implie
s
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Rename sma
t
ch_extra_helper
.
c to sma
t
ch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eli
m
ina
t
e set_cond_state
s
(
) function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpente
r
S
m
al
l
clean up
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nte
r
Verify that the value passed
to ERR_PTR() isn't t
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fix co
m
p
i
ler int<->p
t
r conversio
n
warnin
g
s
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Me
r
ge adjacent ranges
.
1-2,3-4
b
ecomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
e
n
ter
Save some a
l
l
ocat
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pe
n
te
r
Fix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Ca
r
penter
Improve han
d
ling of for
loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Handle once through loops d
i
f
ferently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Fix me
r
gi
n
g ranges
.
Completely b
r
ok
e
n
b
efore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Re
v
erse all
t
he ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpe
n
ter
Don't t
h
e
i
m
p
l
ications for the state
determin
i
n
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
matc
h
_c
o
m
p
arison to
h
and
l
e less than
,
great
e
r than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
ar
p
enter
Change lockin
g
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
D
on't allocate so many ext
r
a_undefined
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
create
allo
c
_e
x
tr
a
_state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
r
emove true_comparison() and
d
o_c
o
mparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
mo
v
e (true|false
)
_comp
a
ri
s
on_r
a
nge() to smatch_extra_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
clea
r
->my_
l
is
t
s for
&
ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print
more
-
-debug-implied in
f
o
rma
t
ion
when --de
b
ug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Rem
o
ved ha
r
d co
d
ed option
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix
r
a
n
ge co
m
paris
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
remove un
u
se
d
f
unc
t
i
o
n: range_list_intersect
i
on()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDEFI
N
E
D ran
g
e
and
d
isplay t
h
e name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an C
a
rpen
t
er
Fix s
t
a
t
e names for
r
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied r
a
nges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpente
r
Update dat
a
f
i
le
s
for
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
s
match_extra
.
save other
c
o
mpar
i
sons besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
handle: if ((f
o
o =
t
ry_l
o
ck
(
))) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpen
t
e
r
rename: e
x
pr_to_va
l
(
) -> ge
t
_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
C
arpente
r
F
i
x handling
of if (IS_E
R
R
(foo
=
bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle
if co
n
ditional functions
a
re
a
ssigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Add new
r
estrict
e
d kn
o
w
n_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename
k
nown_c
o
nd
i
tion_tru
e
(
) to i
m
plied_con
d
ition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
A
d
d
ERR_PTR()
c
he
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put
_
and_exit()
d
oes
n
't re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Separate
t
he l
i
st
o
f
freed arg
u
ments fro
m
decrem
e
nted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
W
rite a scr
i
p
t to pri
n
t functions that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Do
n
't free bin_d
i
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpen
t
e
r
Oo
p
s
.
Commit these es
s
ential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
H
a
ndle known condit
i
ons when
they are a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
C
ar
p
enter
Add CASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
pe
n
ter
Fix memory leaks found
b
y valgrin
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
alloc_stri
n
g() -> alloc
_
s
n
ame()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
P
ut some
v
a
lidation scripts
in the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
I
m
plied ranges
.
Part #2
.
Fi
l
ters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
t
e
r
Silence the mutually ex
c
l
u
siv
e
o
u
tp
u
t again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpent
e
r
F
ree all dat
a
_
info at th
e
end of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
penter
A
dd
-
-
no-data option and
warn
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
ra
n
ge
fix
.
an
d
ing sli
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
c
l
eanups from c
l
one_sli
s
t()
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied r
a
nges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Da
n
Carpenter
A
dd the allocat
i
on
f
unc
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_scq is defined 2 times quit
e
differen
t
ly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
Fix implications (fallo
u
t fr
o
m clone_
s
list() changes
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carpenter
Major memo
r
y
s
aving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carpenter
--debug means print the implicat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
C
a
rpenter
Add -
-
no-implied to the
h
elp text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpen
t
e
r
Save memo
r
y
.
D
o
n
't copy the
sta
t
e name so
m
uch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add
c
heck_type
.
c
(
disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
nter
k
r
e
f_pu
t
(
) and
ko
b
j
ect_
p
ut() a
r
e basi
c
ally
l
ike a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan C
a
rpenter
Don't dereference
f
reed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
C
arp
e
n
t
er
Add all the all
o
cation functions to c
h
e
ck_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a list of fu
n
ctio
n
s
t
hat allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
e
nter
Updat
e
the ge
n
_f
r
ees_li
s
t
.
s
h and the
g
ene
r
at
e
d data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
a
r
penter
Save func
t
ion lists in smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
new (
d
isabled) script: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpent
e
r
i
m
plied:
a
dd
g
e
t
_
implicati
o
ns() fo
r
scripts to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
Add
c
omme
n
t
.
get_
v
alu
e
returns UNDE
F
INED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
pente
r
function_hooks: bump t
h
e numb
e
r of entries in
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
n
e
w: add_function_assign
_
hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
Clean up the conditional hook cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new ap
i
:
a
d
d
_condit
i
onal_hook()
,
s
et_
c
ond_stat
e
s();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks: pass
t
he function
n
a
m
e as
we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
d
o
n
'
t try
ret
u
rn bloc
k
th
i
ngs in get_v
a
riable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carpenter
Add a list of
n
o
r
e
turn t
y
pe fu
n
ctions t
h
at nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
enter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
r
ecom
p
ile th
e
c
heck
_
*
.
c files if the
s
match
h
ea
d
ers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
C
arpenter
c
hec
k
_o
v
erflow: test copy_to/from_user a
s
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_overflow: don't m
u
l
t
iply the
s
ize of st
r
i
n
gs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
assumed_nonnull cra
p
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
Ad
d
script
t
o generat
e
the
frees
l
ist
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpen
t
er
rename r
e
gister_frees_argum
e
nt to
che
c
k
_
frees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next