Closed Bug 467575 Opened 16 years ago Closed 13 years ago

ABC bytecode verifier spec

Categories

(Tamarin Graveyard :: Verifier, defect, P5)

x86
Windows 7
defect

Tracking

(Not tracked)

RESOLVED WORKSFORME
Q1 12 - Brannan

People

(Reporter: jodyer, Assigned: akruetzf)

References

Details

Attachments

(1 file)

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.
Attached patch patchSplinter Review
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
Attachment #351226 - Flags: review?(edwsmith) → review+
Priority: -- → P5
Target Milestone: --- → flash10.1
Target Milestone: flash10.1 → flash10.2
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
Updating the current feedback on spec and bytecode notes.
Target Milestone: Q3 11 - Serrano → Q1 12 - Brannan
What's the plan for this document and updates?
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.
Ed, please confirm that I can land the patch in your doc repo or tip if it is ready.
Depends on: avmspec
(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?
Yup, I'll take a shot at it.
The patch in this bug can land "as is" it does not alter the doxygen material.
It appears to have landed a long time ago. closing.
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → WORKSFORME
No longer depends on: avmspec
Blocks: 693588
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: