Issues (1–4 of 4)

Title	T	P	Status	Assignee	Version	Created	Updated
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis Abstract Interpretation Framework	enhancement	minor	new	Michael Eichberg	Future	2019-01-04	2019-01-04
#166: Implement equals on TACode Abstract Interpretation Framework	bug	minor	new	Michael Eichberg	3.0.0	2018-10-29	2018-10-29
#156: Field mutability should identify external initialization Abstract Interpretation Framework	enhancement	minor	new			2018-07-05	2018-10-29
#157: Improving the purity analysis Abstract Interpretation Framework	enhancement	minor	new	errt		2018-07-10	2018-07-10