Re: [abc-users] Determine a basic block

From: Amjad Nusayr <>
Date: Thu, 10 Apr 2008 13:27:22 -0600

I have created an extension that allows basic blocks to be shadowed, the
extension works fine, as Eric said, I created a BlockShadowMatch to do
the work. but it seems that I cant get any reflective information
working. I have created - in my runtime source - a basic block factory
class. and in my BlockShadowMatch.makeSJPInfo, I refer to my

When I try to access information of the new block joinpoint using
thisJoinPoint, abc weaves without any problems, but when I try to run my
program, I get the following error.

Exception in thread "main" java.lang.VerifyError: (class: Hello, method:
signature: ()V) Expecting to find unitialized object on stack

Does anyone know what Im doing wrong?? the new joinpoint works fine


Eric Bodden wrote:
> Hi.
> Right now, abc supports has two types for ShadowMatch: StmtShadowMatch
> and BodyShadowMatch. You probably want to extend this to also provide
> a BlockShadowMatch. Also, you have to create a new subclass of
> ShadowType, e.g. BlockShadowType, and register it in:
> AbcExtension.listShadowTypes().
> Basic blocks are easy to figure out from Jimple: Just create a new
> soot.toolkits.graph.BlockGraph.
> Eric
> On 05/03/2008, Amjad Nusayr <> wrote:
>> Hi
>> Im trying to write an extension where I want to shadow a basic block of
>> code, jimple does not have any direct way of doing this, does any body
>> have any idea how to achieve this?
>> Amjad Nusayr
Received on Thu Apr 10 2008 - 20:27:30 BST

This archive was generated by hypermail 2.2.0 : Wed Apr 16 2008 - 07:50:11 BST