- changed status to resolved
MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions
Issue #65
resolved
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)
-
reporter -
reporter - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
reporter - removed version
Removing version: 0.9.0 (automated comment)
- Log in to comment
fixed issue
#65→ <<cset 7da3fc49cb8b>>