javapathfinder-user

[Javapathfinder-user] Documentation?

[Cristobal J. C. <kry...@ho...>]

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.net2. URL path: /Bytecode_Factories.html3. Error notes: File does not exist: /home/groups/j/ja/javapathfinder/htdocs/Bytecode_Factories.html4. Error type: 4045. Request method: GET6. Request query string: 7. Time: 2008-02-14 02:48:41 PST (1202986121)
 
 
thanks in advance
 
 
_________________________________________________________________
MSN Video. 
http://video.msn.com/?mkt=es-es

Re: [Javapathfinder-user] Documentation?

[Flavio L. <fl...@gm...>]

Dear Cristobal,

I will give a shot a answering the first question.

>  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?

When you use mangled names the name of the method in the peer encodes
the types of the arguments.
If you do not have overloaded methods in the class you are generating
a peer for, then there is practically no difference.
However, if you have two different overloadings (which satisfy certain
characteristic), then you need to use overloading.

Example:

The class you want to generate a peer for has the following methods:
  void Add(String s);
and
  void Add(Integer i);

If you do not use mangled names they would be mapped to the same
function is the peer, which would not work.
This is because in the peer String and Integer would both be object references.

I hope this is helpful.
Let me know if you have any questions.

Regards,
-Flavio Lerda

>
>  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
>
>



-- 
Google Talk: fl...@gm...
MSN Messenger: fl...@gm...
Skype: flerda

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