Re: [bddbddb-devel] bytecode information

[John W. <joe...@gm...>]

Hi Alan,

There is some switch to turn on output of bytecode indices, or
actually it may be output by default in the text strings that describe
each variable.  It's been a while so I'll have to go back and check it
out.

-John


On 1/29/07, Alan Ryan <ala...@gm...> wrote:
> Hi,
>
> I am running an analysis that requires me to know bytecode locations for
> assignments / loads etc.. In the PODS '05 paper the SQLInjection example has
> a domain B representing bytecodes, and this is the approach I was hoping to
> follow, but it seems by default bddbddb does not give details regarding the
> bytecode locations for store/load/assignment . Can I turn this feature on or
> am I misinterpreting something here?
>
> Thanks,
> Alan
> -------------------------------------------------------------------------
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
>
> _______________________________________________
> bddbddb-devel mailing list
> bdd...@li...
> https://lists.sourceforge.net/lists/listinfo/bddbddb-devel
>
>
>