PerformInvocations handles exceptions as returned values

Issue #35 resolved

Frederik Buss-Joraschek created an issue 2014-05-24

domain.allReturnInstructions returns also the pcs of all throw instructions. Therefore all exceptions will be handled as values which are "normally" returned

Comments (6)

Michael Eichberg repo owner
- changed status to resolved
fixed issue ~~#35~~

Signed-off-by: Michael Eichberg mail@michael-eichberg.de

→ <<cset ce7322c8536d>>
- 2014-05-25T22:05:08+00:00
Michael Eichberg repo owner
Merge branch 'refs/heads/Locals'
- refs/heads/Locals: fixed issue ~~#35~~ added a method to transform/update a Locals array fixed a documentation link fixed a compile time error Locals now also support the possibility to "set(...)" a value JVM settings optimized(?) for OPAL (abstract interpretation) foreachSubclass (for pull request #72) the locals now use the optimized data structure locals
→ <<cset f1939ea58ee8>>
- 2014-05-25T22:07:51+00:00
Michael Eichberg repo owner
The fix was a bit more involved than I initially thought.
- 2014-05-25T22:16:47+00:00
Michael Eichberg repo owner
- changed milestone to 0.8.0-M2
- 2014-06-19T07:23:39+00:00
Michael Eichberg repo owner
- removed milestone
Removing milestone: 0.8.0-M2 (automated comment)
- 2016-04-26T15:19:27+00:00
Michael Eichberg repo owner
- removed version
Removing version: 0.8.0 (automated comment)
- 2017-04-27T22:32:38+00:00
Log in to comment

Assignee: Michael Eichberg

Type: bug

Priority: major

Status: resolved

Component: Abstract Interpretation Framework

Version: –

Votes: 0

Watchers: 2