Closed
Bug 520898
Opened 16 years ago
Closed 16 years ago
OP_getlocal[0-3]* in Verifier.cpp need to call checkLocal() earlier
Categories
(Tamarin Graveyard :: Virtual Machine, defect, P3)
Tamarin Graveyard
Virtual Machine
Tracking
(Not tracked)
VERIFIED
FIXED
flash10.1
People
(Reporter: stejohns, Assigned: stejohns)
Details
Attachments
(1 file)
|
739 bytes,
patch
|
edwsmith
:
review+
|
Details | Diff | Splinter Review |
When the Verifier was refactored, the calls to checkLocal() for these calls got moved into the call to push(), but needs to be called prior to coder->write(), to protect against bad values for the immediate value. (This is how the Verifier has been in all previous shipping versions, and is a recent injection.)
|
Assignee | |
Comment 1•16 years ago
|
||
Fix.
Assignee: nobody → stejohns
Attachment #404947 -
Flags: review?(edwsmith)
|
|
||
Updated•16 years ago
|
Priority: -- → P3
Target Milestone: --- → flash10.1
|
|
||
Updated•16 years ago
|
Attachment #404947 -
Flags: review?(edwsmith) → review+
|
|
Assignee | |
Comment 2•16 years ago
|
||
pushed as changeset: 2716:393f3bfcf4dc
Status: NEW → RESOLVED
Closed: 16 years ago
Resolution: --- → FIXED
|
|
||
Updated•16 years ago
|
Status: RESOLVED → VERIFIED
You need to log in
before you can comment on or make changes to this bug.
Description
•