Return-Path: Delivered-To: apmail-harmony-commits-archive@www.apache.org Received: (qmail 15720 invoked from network); 12 Mar 2007 10:55:30 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 12 Mar 2007 10:55:30 -0000 Received: (qmail 12236 invoked by uid 500); 12 Mar 2007 10:55:39 -0000 Delivered-To: apmail-harmony-commits-archive@harmony.apache.org Received: (qmail 12203 invoked by uid 500); 12 Mar 2007 10:55:38 -0000 Mailing-List: contact commits-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list commits@harmony.apache.org Received: (qmail 12188 invoked by uid 99); 12 Mar 2007 10:55:38 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 12 Mar 2007 03:55:38 -0700 X-ASF-Spam-Status: No, hits=0.0 required=10.0 tests= X-Spam-Check-By: apache.org Received: from [140.211.11.4] (HELO brutus.apache.org) (140.211.11.4) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 12 Mar 2007 03:55:29 -0700 Received: from brutus (localhost [127.0.0.1]) by brutus.apache.org (Postfix) with ESMTP id 8C2CE71406C for ; Mon, 12 Mar 2007 03:55:09 -0700 (PDT) Message-ID: <32717390.1173696909571.JavaMail.jira@brutus> Date: Mon, 12 Mar 2007 03:55:09 -0700 (PDT) From: "Mikhail Loenko (JIRA)" To: commits@harmony.apache.org Subject: [jira] Created: (HARMONY-3363) [DRLVM] contribution of alternative bytecode verifier MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Virus-Checked: Checked by ClamAV on apache.org [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 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.