Issues (101–108 of 108)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#26: Invalid line numbers in Callgraph test data Abstract Interpretation Framework	bug	major	resolved		Michael Eichberg		2014-04-15	2014-04-16
#24: the handling of ConstantValues of type MethodHandle and MethodType is completely broken Bytecode Representation	bug	blocker	resolved		Michael Eichberg		2014-03-28	2014-03-28
#13: we are loosing some call edges for the VTA Abstract Interpretation Framework	bug	major	resolved		Michael Eichberg		2014-02-17	2014-02-26
#9: nested JSR/RETs are not handled correctly Abstract Interpretation Framework	bug	blocker	resolved		Michael Eichberg		2014-02-04	2014-02-09
#10: if a subroutine (called using JSR) ends on all paths by effectively throwing an exception (and not with a single ret instruction) the interpretation fails Abstract Interpretation Framework	bug	blocker	resolved		Michael Eichberg		2014-02-04	2014-02-09
#11: if we join arrays with multiple dimensions (>1) or if we join multi-dimensional primitive arrays with (one-dimensional) arrays too much type information is lost Abstract Interpretation Framework	bug	blocker	resolved		Michael Eichberg		2014-02-04	2014-02-09
#12: there seems to be a difference the "valueIsSubtypeOf" method and the possibility to refine a type if the check fails Abstract Interpretation Framework	bug	blocker	resolved		Michael Eichberg		2014-02-04	2014-02-09
#1: In some rare cases the tracking of Array values fails Abstract Interpretation Framework	bug	major	resolved		Michael Eichberg		2013-12-12	2014-01-03

1
2
3
4
5