Purifier1 Special Cases

Integer Overriding Bogus

Brief Description

There is a case where the conflict resolution should be leaving a StackMapType entry as an ITEM_Bogus, but it is getting resolved to an ITEM_Integer.

Status

Problem needs more investigation.

Action Items

  1. Check resolver logs.

Test Cases Exhibiting Integer Overriding Bogus Issue

Test Cases Exhibiting Integer Overriding Bogus Issue
Package Class Method Method # Effect Source
org.spruce.midp.alarmclock e paint 8 Fails midlet.org

Details

This looks like a case where most of the junk data is unambiguous and gets converted to nulls as they should be, but one item has no conflict and is left as an ITEM_Integer, so the StackMap printer doesn't fill in an ITEM_Bogus for the null that should be there.

Example

org.spruce.midp.alarmclock.e.paint provides an example of this issue and is shown below.

Source Code

Not available yet

Bytecode

The following byte code is from the compiled and preverified class file created from the source in the previous section. The StackMap has been reformatted for readability.

Not avaialable yet

Data Flow Analysis

TBD

Solutions

None at the moment.

Back to Developer's Guide   Purifier1 Home Page

Valid HTML 4.01!