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

Issues

Filter by:

Advanced search

Issues (76–100 of 144)

Title T P Status Votes Assignee Version Created Updated Actions
#117: ensure that local.sbt settings are applied AFTER build.sbt settings
<OPAL Build Process>
bug major resolved
#116: calling sbt in OPAL/bp and also OPAL/TOOLS/bp results in a deprecation warning
<OPAL Build Process>
enhancement major resolved
#113: Cannot load classes of CZT
Bytecode Representation
bug blocker resolved
#112: Fails to compute post-dominator tree if one path results in an infinite loop
Abstract Interpretation Framework
bug blocker resolved
#110: Cannot load classes where we have a jump to a goto which directly jumps to itself
Bytecode Representation
bug blocker resolved
#111: data-flow analysis using the most primitive domain fails for MySQL
Abstract Interpretation Framework
bug blocker resolved
#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
#78: Setting the log level for a Project doesn't supress all log messages
Bytecode Representation
enhancement 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
#86: pureness analysis failed
Bytecode Representation
bug critical resolved
#108: Control-flow simplification
Bytecode Representation
enhancement minor resolved
#42: Mapping of parameter indexes to stack indexes seems to be wrong
Demos
bug major resolved
#32: CHA and VTACallgrapDomain fail on unknow ObjectType
Abstract Interpretation Framework
bug major resolved
#40: Signature parsing fails
bug major resolved
#50: File Processing Exceptions
BugPicker
bug major resolved
#37: AI fails due to NullPointerException
Abstract Interpretation Framework
bug major resolved
#38: AI fails due to ImpossibleRefinement (array cast to non-array)
Abstract Interpretation Framework
bug major resolved
#33: ClassValues fails on ArrayTypes
Abstract Interpretation Framework
bug major resolved
#39: Fails to read SourceDebugExtensionAttribute
Bytecode Representation
bug major resolved
#35: PerformInvocations handles exceptions as returned values
Abstract Interpretation Framework
bug major resolved
#49: ArrayValues fails when joining two arrays that have the same value at the same position in the array
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6