Re: [Javapathfinder-user] Documentation?

[Peter C. M. <Pet...@na...>]

There is some documentation for the BytecodeFactory in the context of  
an unpublished paper about the new symbolic execution mode. I will  
probably commit this as a new JPF docu page next week. Contact me  
directly if you need it more urgently, but the mechanism isn't too  
complex - it's an AbstractFactory pattern to create JPF Instruction  
objects from BCEL Instruction objects. Your Instruction classes  
mainly have to provide the execute(..) method, which basically  
represents the concrete execution semantics. You can set the concrete  
factory class with the 'vm.insn_factory.class' property. Examples are  
the symbc and symts extensions.

As to the MJI name mangling, Flavio is right. If there is no  
overloading, you can just skip the mangling, even though it's  
slightly less efficient, and I just do it as a matter of good  
practice. Be aware of that GenPeer only generates the stubs for  
'native' methods of the model class, i.e. you have to do this  
manually if you want to intercept a non-native method.

-- Peter



On Feb 14, 2008, at 2:51 AM, Cristobal J. C. wrote:

> Hi,
>
> I have a couple of questions.
>
> First,
>
> I'm using GenPeer and I see that now it have some options. My  
> question is:
>
> There is any diference between use mangled names or not use it?
>
> and Second,
>
> at my work i need all  the information on JPF that can get,
>
> there is a way of access to information about Bytecode Factories?
>
> the browser brings me the following error:
>
> 1. Server: javapathfinder.sourceforge.net
> 2. URL path: /Bytecode_Factories.html
> 3. Error notes: File does not exist: /home/groups/j/ja/ 
> javapathfinder/htdocs/Bytecode_Factories.html
> 4. Error type: 404
> 5. Request method: GET
> 6. Request query string:
> 7. Time: 2008-02-14 02:48:41 PST (1202986121)
>
>
> thanks in advance
>
>
>
> Todo ruedas: información práctica y todo el glamour del mundo del  
> motor. MSN Estilo y Tendencias
> ---------------------------------------------------------------------- 
> ---
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ 
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user