[Bug 18] New: jimple type assigner can interact badly with cast pointcuts in extreme cases

http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/show_bug.cgi?id=18

           Summary: jimple type assigner can interact badly with cast
                    pointcuts in extreme cases
           Product: abc
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: minor
          Priority: P2
         Component: EAJ
        AssignedTo: abc-bugs@comlab.ox.ac.uk
        ReportedBy: ganesh@comlab.ox.ac.uk

This is a rather obscure bug even by my standards :-)

If you consult the SAS 2000 paper which roughly describes the Jimple typing
algorithm (http://www.sable.mcgill.ca/publications/papers/#sas2000), you find
that in certain corner cases on bytecode not produced from Java source, casts
get inserted by the Jimplifier.

This means that the cast pointcut might find itself applying at a point that
didn't have a cast in the original bytecode.

Test case 992 exposes this bug.

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
Received on Fri Sep 17 00:55:45 2004