Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–2 of 2)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#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
#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