Closed
Bug 467575
Opened 16 years ago
Closed 13 years ago
ABC bytecode verifier spec
Categories
(Tamarin Graveyard :: Verifier, defect, P5)
Tracking
(Not tracked)
RESOLVED
WORKSFORME
Q1 12 - Brannan
People
(Reporter: jodyer, Assigned: akruetzf)
References
Details
Attachments
(1 file)
(deleted),
patch
|
edwsmith
:
review+
|
Details | Diff | Splinter Review |
We need an accurate specification of what the ABC bytecode verifier is doing. This would ideally include hints for compilerwriters on working around verifier errors.
Attachment #351226 -
Flags: review?(edwsmith)
This patch adds the wiki source text and the generated html file of the verifier spec. Also added is a python script that does the translation.
Jd
Updated•16 years ago
|
Attachment #351226 -
Flags: review?(edwsmith) → review+
Updated•15 years ago
|
Priority: -- → P5
Target Milestone: --- → flash10.1
Updated•14 years ago
|
Assignee: jodyer → nobody
Status: ASSIGNED → NEW
Component: Virtual Machine → Verifier
QA Contact: vm → verifier
Assignee: nobody → akruetzf
Depends on: Andre
Flags: in-testsuite-
Flags: flashplayer-qrb+
Flags: flashplayer-injection-
Flags: flashplayer-bug-
OS: Mac OS X → Windows 7
Assignee | ||
Comment 3•14 years ago
|
||
Updating the current feedback on spec and bytecode notes.
Assignee | ||
Updated•13 years ago
|
Target Milestone: Q3 11 - Serrano → Q1 12 - Brannan
Comment 5•13 years ago
|
||
I don't beleive there is a plan, other than to make this content into a chapter in the overall avm/abc spec, which will live and be updated in tamarin-redux. A separate document should not be necessary.
Assignee | ||
Comment 6•13 years ago
|
||
Ed, please confirm that I can land the patch in your doc repo or tip if it is ready.
Comment 7•13 years ago
|
||
(In reply to Andre Kruetzfeldt from comment #6)
> Ed, please confirm that I can land the patch in your doc repo or tip if it
> is ready.
After some digging, I found the master bug: Bug 416391. (this bug is for
a chapter on the verifier, not the overall spec). Here's what needs to happen:
1. review legalese
2. rebase that repo to tamarin-redux, generate a single patch
3. post it on bug 416391, I'll review and maybe get more eyes on it.
4. then we land.
5. nice to have (new bug?): generate docs during the build and post them to
a well known URL.
Sound good?
Assignee | ||
Comment 8•13 years ago
|
||
Yup, I'll take a shot at it.
Assignee | ||
Comment 9•13 years ago
|
||
The patch in this bug can land "as is" it does not alter the doxygen material.
Comment 10•13 years ago
|
||
It appears to have landed a long time ago. closing.
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → WORKSFORME
You need to log in
before you can comment on or make changes to this bug.
Description
•