Issues (1–4 of 4)

Title	T	P	Status	Assignee	Version	Created	Updated
#175: Readme.md for the design decisions for the call graph analyses. Abstract Interpretation Framework	task	major	new	florian_kuebler	3.0.0	2019-01-04	2019-01-04
#151: should ProjectLike.resolveMethodReference also consider interfaces implemented by superclass Bytecode Representation	task	major	resolved	Michael Eichberg		2018-05-25	2018-10-29
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check BugPicker	task	minor	new	Michael Eichberg		2016-06-09	2017-10-25
#95: Missing Instructions on TAC for AllocationSites Bytecode Representation	task	minor	resolved	Michael Eichberg		2017-07-05	2017-10-25