[Soot-list] possible bug? (using -dump-cfg on windows)

[Sean Wedig]

Maybe related / maybe not, but I've noted similar issues with the
-dump-body command line option, too, when doing intraprocedural analysis.
(Sorry - I'm a bad user, I never reported it!)

As for desired behavior, I've seen several systems that take disallowed
characters and just replace them with an underscore.  A more clever fix
might be replacing specific disallowed characters with similar-looking
allowed ones (e.g., replacing angle brackets with parentheses), but that
also means we'll be changing the text in possibly non-obvious ways.  So
maybe just replace with underscores?

For reference, on Windows 7 64-bit, renaming a folder claims that the
disallowed characters are
   \ / : * ? " < > |

(spaces added for legibility)


-Sean



On Wed, Jun 20, 2012 at 10:57 AM, Phil Pratt-Szeliga <pcpratts at syr.edu>wrote:

> Hello,
>
> Also, if I knew the desired behavior I could make a patch
>
> -Phil
>
> On Wed, Jun 20, 2012 at 10:52 AM, Eric Bodden <eric.bodden at ec-spride.de>
> wrote:
> > Thanks for letting us know Amit.
> >
> > Do you think you would be able to craft a patch to fix this?
> >
> > Cheers,
> > Eric
> >
> > On 20 June 2012 08:00, Amit <ciphermaker99 at gmail.com> wrote:
> >> When I use the option -dump-cfg with certain options (e.g. ALL)
> >> soot tries to create directories containing invalid characters in
> windows.
> >>
> >> For example I get the following trace
> >> PhaseDumper.dumpBody() caught: java.io.IOException: Unable to mkdirs
> >> c:\test\sootOutput\java.lang.Object\void <init>()
> >> java.io.IOException: Unable to mkdirs
> >> c:\test\sootOutput\java.lang.Object\void <init>()
> >>         at
> >> soot.util.PhaseDumper.makeDirectoryIfMissing(PhaseDumper.java:169)
> >>         ...
> >>
> >> What is happening is that soot is trying to create a directory with the
> name
> >>
> >> c:\test\sootOutput\java.lang.Object\void <init>()
> >>
> >> However, the < and > characters are not allowed in file/directory names
> in
> >> Windows.
> >> This seems to be a bug.
> >>
> >>
> >>
> >> _______________________________________________
> >> Soot-list mailing list
> >> Soot-list at sable.mcgill.ca
> >> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >>
> >
> >
> >
> > --
> > Eric Bodden, Ph.D., http://bodden.de/
> > Head of Secure Software Engineering Group at EC SPRIDE
> > Principal Investigator in Secure Services at CASED
> > Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> > Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
> >
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120620/4e32d26c/attachment.html