delors / OPAL / issues / #41 - ArrayValues (Arrays of ReferenceValues) fail when storing a value in the array — Bitbucket

Issue #41 resolved

Frederik Buss-Joraschek created an issue 2014-06-23

Using l1.ArrayValues:

        String someArray[] = new String[10];
        someArray[1] = "";
        someArray[2] = "";

will fail with RETURN FROM METHOD DUE TO UNHANDLED EXCEPTION :java.lang.ArrayStoreException(origin=10) at first store operation

Comments (5)

Michael Eichberg repo owner
- changed milestone to 0.8.0-M4
- changed title to ArrayValues fails on Array with ReferenceType
- 2014-12-02T17:42:21+00:00
Michael Eichberg repo owner
- changed title to ArrayValues (Arrays of ReferenceValues) fail when storing a value in the array
- 2014-12-02T17:43:08+00:00
Michael Eichberg repo owner
- changed status to resolved
added a method to determine if a value can be stored in an array (fixes issue ~~#41~~)

→ <<cset 8a73a022afe2>>
- 2015-01-29T09:52:00+00:00
Michael Eichberg repo owner
- removed milestone
Removing milestone: 0.8.0-M4 (automated comment)
- 2016-04-26T15:19:20+00:00
Michael Eichberg repo owner
- removed version
Removing version: 0.8.0 (automated comment)
- 2017-04-27T22:32:37+00:00
Log in to comment

Assignee: Michael Eichberg

Type: bug

Priority: major

Status: resolved

Component: Abstract Interpretation Framework

Version: –

Votes: 0

Watchers: 2

Jira Software: the preferred issue tracker for Bitbucket. Join the team!