Issues (1–8 of 8)

Title	T	P	Status	Assignee	Version	Created	Updated
#167: Basic Call Graph "Starter" Abstract Interpretation Framework	enhancement	major	resolved	florian_kuebler	Future	2018-10-31	2020-01-07
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected	enhancement	minor	new		Future	2018-11-20	2019-05-14
#180: Findings are printed twice Demos	bug	minor	new	florian_kuebler	Future	2019-05-04	2019-05-04
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet Static Analysis Framework	enhancement	major	new		Future	2019-02-14	2019-02-14
#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
#168: Internal Properties for FPCF Static Analysis Framework	proposal	minor	resolved	Michael Eichberg	Future	2018-11-01	2018-12-20
#163: Hermes Locations Writer produces \n for class file version query Hermes	bug	minor	resolved	Michael Reif	Future	2018-08-22	2018-09-04
#144: IntermediateResult should take dependees as Set[SomeEPK] Bytecode Representation	proposal	minor	new	Michael Eichberg	Future	2018-02-14	2018-07-27