Issues (176–182 of 182)

Title	T	P	Status	Assignee	Created	Updated
#8: MethodDescriptor.NoArgsAndReturnVoid should be a val Bytecode Representation	enhancement	trivial	resolved		2014-01-29	2014-01-30
#7: ClassCastException when adapting AnIntegerValue Abstract Interpretation Framework	bug	major	resolved		2014-01-29	2014-01-30
#5: StackOverflowError when calling summarize of DefaultPreciseReferenceValues Abstract Interpretation Framework	bug	major	resolved		2014-01-07	2014-01-28
#6: ScalaDoc in de.tud.cs.st.bat.resolved.analyses.ClassHierarchy outdated Bytecode Representation	bug	trivial	resolved		2014-01-14	2014-01-14
#4: Generalization resolved.Type: add toJavaType Bytecode Representation	enhancement	major	resolved		2014-01-04	2014-01-05
#3: Origin should return empty Iterable Abstract Interpretation Framework	proposal	major	resolved	Michael Eichberg	2013-12-18	2014-01-03
#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