harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Loenko (JIRA)" <j...@apache.org>
Subject [jira] Updated: (HARMONY-3363) [DRLVM] contribution of alternative bytecode verifier
Date Mon, 12 Mar 2007 10:57:09 GMT

     [ https://issues.apache.org/jira/browse/HARMONY-3363?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Mikhail Loenko updated HARMONY-3363:
------------------------------------

    Attachment: Verifier_patch

> [DRLVM] contribution of alternative bytecode verifier
> -----------------------------------------------------
>
>                 Key: HARMONY-3363
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3363
>             Project: Harmony
>          Issue Type: New Feature
>          Components: Contributions
>            Reporter: Mikhail Loenko
>         Attachments: Verifier_bulk.zip, Verifier_patch, Verifier_patched.zip
>
>
> This is contribution of experimental bytecode verifier on behalf of Intel.
> "Experimental" means that there is no formal proof currently available of its equivalence
to the step-by-step verification algorithm described in the spec.
> The only known difference to the conventional verifier is dead code verification: RI
makes stricter checks against dead code. 
> Since it's about dead code, this difference does not affect vulnerability
> Comparing to the current Harmony verifier, this one is supposed to be complete (Harmony
currently does not support jsr/ret verification) and much faster
> So, I'm attaching 3 files:
> The first one: Verifier_bulk.zip is a bulk contribution on behalf of Intel for archiving
purposes. It contains the legal files as well
> The second one: Verifier_patch is my fix to the bugs that I found while the first archive
was coming thru legal
> The third archive Verifier_patched.zip is a merge for previous two. It's an up-to-date
version for all the engineering purposes
> To try it out one should replace the current 'verifier' directory in vm with the new
one and rebuild

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.


Mime
View raw message