Re: [abc-users] Determine a basic block

Hi
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
BlockSignatureImpl.

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:
<init>
signature: ()V) Expecting to find unitialized object on stack
------------------------------------

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

Regards
Amjad

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 <anusayr_at_cs.nmsu.edu> 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