Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(76–86 of 86)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#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
#178: Assertion in DeclaredMethodsKey
bug
major
new
errt
2019-02-22
2019-02-22
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement
major
new
Future
2019-02-14
2019-02-14
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement
major
new
errt
3.0.0
2018-12-28
2019-02-14
#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
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug
major
new
Simon Leischnig
0.8.15
2018-01-01
2018-02-07
#74: Ignored command line parameters
BugPicker
bug
major
new
2016-10-07
2017-10-25
#71: virtual methods are not correctly taken into account by the "unused fields" analysis
BugPicker
bug
major
new
Michael Eichberg
2016-07-06
2017-10-25
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement
major
new
Michael Eichberg
2016-10-07
2017-10-25
#54: Handle Negation of Booleans
BugPicker
bug
major
new
Michael Eichberg
2015-06-09
2017-10-25
1
2
3
4