1. Michael Eichberg Avatar Michael Eichberg
  2. Untitled project
  3. OPAL

Issues

Filter by:

Advanced search

Issues (1–25 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#102: Build process dies dramatically in case of issues when compiling the test-fixtures
<OPAL Build Process>
enhancement minor resolved
#109: the local variables are pointing to wrong locations, when we have methods with long and double values that are not in tail position
Abstract Interpretation Framework
bug blocker resolved
#107: NOP instruction at program counter of ArrayAllocationSite
Abstract Interpretation Framework
bug blocker resolved
#106: NoSuchElementException on ProjectLike#interfaceCall
bug minor resolved
#105: ClassHierarchy.isSubtypeOf doesn't see Object as supertype of SomeClass[]
Bytecode Representation
bug major resolved
#103: When a test-fixture changes all compiled classes/jars should be deleted to ensure that we have a clean state
<OPAL Build Process>
bug minor resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#126: Compiling the fixtures plugin raises 13 feature warnings
<OPAL Build Process>
enhancement major resolved
#124: Errors running BugPicker
BugPicker
bug minor resolved
#127: when sorting a table in Hermes, the sorting is done lexically and not by (integer) value
Hermes
enhancement major resolved
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug minor resolved
#181: ...support.info.Purity
Tools
bug blocker closed
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#173: FieldAndArrayUsageAnalysis does not seem to use the PropertyStore properly
Demos
bug major resolved
#172: UnnecessarySynchronizationAnalysis does not use the PropertyStore appropriately
Demos
bug major resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8