Return-Path: Delivered-To: apmail-jakarta-bcel-user-archive@apache.org Received: (qmail 49019 invoked from network); 31 Oct 2002 05:42:29 -0000 Received: from unknown (HELO nagoya.betaversion.org) (192.18.49.131) by daedalus.apache.org with SMTP; 31 Oct 2002 05:42:29 -0000 Received: (qmail 14679 invoked by uid 97); 31 Oct 2002 05:43:31 -0000 Delivered-To: qmlist-jakarta-archive-bcel-user@jakarta.apache.org Received: (qmail 14636 invoked by uid 97); 31 Oct 2002 05:43:30 -0000 Mailing-List: contact bcel-user-help@jakarta.apache.org; run by ezmlm Precedence: bulk List-Unsubscribe: List-Subscribe: List-Help: List-Post: List-Id: "BCEL Users List" Reply-To: "BCEL Users List" Delivered-To: mailing list bcel-user@jakarta.apache.org Received: (qmail 14624 invoked by uid 98); 31 Oct 2002 05:43:30 -0000 X-Antivirus: nagoya (v4218 created Aug 14 2002) From: jont@cse.unsw.edu.au (Jonathon Tidswell) To: bcel-user@jakarta.apache.org Date: Thu, 31 Oct 2002 16:42:33 +1100 Subject: help with structural analysis Message-ID: <20021031054233.GC31860@cse.unsw.edu.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.28i X-Spam-Rating: daedalus.apache.org 1.6.2 0/1000/N X-Spam-Rating: daedalus.apache.org 1.6.2 0/1000/N I'd like to do some simple stack size/usage analysis. It seemed to me that I should be able to hook into the pass3b verifier and after the circulation pump walk the instruction list examining the frames and comparing that to the requirements of the instruction whose frame Im examining. With multiple paths its quite possible to have multiple frames, so I'd happily take the frame with the largest stack. At the moment Ive been playing with modifying code in JustIce to allow me to examine it interactively, but in the long run I'd like to have a batch program I can run over lots of classes. I have three questions: 1) has someone done something similar before ? 2) should I be using pass3b verifier as a base ? 3) if not does anybody have suggestions how to organise it And 4) what have I missed ? TIA - JonT PS Ive already run a purely static analysis (assume stack is maxed for all instructions) which has confirmed my hypothesis is basically true, however I suspect a dynamic analysis will remove a few false negatives. -- Jon Tidswell School of Computer Science & Engineering University of NSW, 2052, Australia Disclaimer: I think my thoughts are my own, and I believe my writings are too. -- To unsubscribe, e-mail: For additional commands, e-mail: