delors / OPAL / issues / #65 - MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions — Bitbucket

Issue #65 resolved

Michael Eichberg repo owner created an issue 2016-06-16

Using the TypeLevelInvokeInstructions domain all method calls are only expected to throw exceptions that are handled within the method; this lead to the construction of totally unsound control-flow graphs because all method calls that may abnormally abort a method are not treated as such.

Comments (3)

Michael Eichberg reporter
- changed status to resolved
fixed issue ~~#65~~

→ <<cset 7da3fc49cb8b>>
- 2016-06-16T14:15:54+00:00
Michael Eichberg reporter
- removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
- 2017-09-07T11:34:57+00:00
Michael Eichberg reporter
- removed version
Removing version: 0.9.0 (automated comment)
- 2017-10-25T13:15:29+00:00
Log in to comment

Assignee: Michael Eichberg

Type: bug

Priority: critical

Status: resolved

Component: Abstract Interpretation Framework

Version: –

Votes: 0

Watchers: 1

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