Missing Instructions on TAC for AllocationSites
Issue #95
resolved
When iterating over the AllocationSite objects in the PropertyStore, there are AllocationSites with a PC, where no instruction in the TACode has this PC.
I found this on the rt.jar via:
case AllocationSite(m, pc) ⇒
val TACode(code, _, _, _) = project.get(DefaultTACAIKey)(m)
val index = code.indexWhere(stmt ⇒ stmt.pc == pc)
Comments (10)
-
repo owner -
repo owner - changed status to resolved
fixes issue
#95- improved documentation of AllocationSitesKey.scala→ <<cset d0d2d5bc5621>>
-
repo owner -
assigned issue to
- marked as task
- marked as minor
- changed component to Bytecode Representation
-
assigned issue to
-
repo owner Merge branch 'develop' of https://bitbucket.org/delors/opal into develop
- 'develop' of https://bitbucket.org/delors/opal:
fixes issue
#95- improved documentation of AllocationSitesKey.scala
→ <<cset f290ba78e9e6>>
- 'develop' of https://bitbucket.org/delors/opal:
fixes issue
-
repo owner Merge branch 'develop' into feature/Hermes
- develop:
line endings corrected
fixes issue
#95- improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body.
→ <<cset 7194de393eca>>
- develop:
line endings corrected
fixes issue
-
repo owner Merge branch 'develop' into feature/Scala2.12.X
- develop:
line endings corrected
fixes issue
#95- improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body. fixes issue#92added documentation Added documentation and removed lazy modifier of project added -help parameter and a further note regarding the default behavior added a possibility to omnit the filter; added a possibility to just write out the body (fixes issue:#89) the class name is optional (again) (fixes issue#91) added missing types, improved formatting & documentation added a possibility to add initialization information for project keys to a project Print method name for failed tests improved allocation site doc Minor change to AbstractFixpointAnalysisTest to make it more flexible
Conflicts:
OPAL/br/src/main/scala/org/opalj/br/analyses/OneStepAnalysis.scala
→ <<cset bf0384cfce8a>>
- develop:
line endings corrected
fixes issue
-
repo owner Merge branch 'develop' into feature/IDL2.0
- develop: (25 commits)
line endings corrected
fixes issue
#95- improved documentation of AllocationSitesKey.scala improved the documentation moved FormalParameters to BR project; changed the origin information; added tests Adjusted comments to 100 character width Fixed name in comments (copy&paste mistake) Added a representation of formal parameters including a key to collect all formal parameters of all methods with a body. fixes issue#92added documentation Added documentation and removed lazy modifier of project added -help parameter and a further note regarding the default behavior added a possibility to omnit the filter; added a possibility to just write out the body (fixes issue:#89) the class name is optional (again) (fixes issue#91) added missing types, improved formatting & documentation added a possibility to add initialization information for project keys to a project Print method name for failed tests improved allocation site doc minor formatting and documentation updates fixed typo in documentation fixed line number ...
→ <<cset 0f418bc886b6>>
- develop: (25 commits)
line endings corrected
fixes issue
-
repo owner Merge branch 'develop' into feature/FixIssue
#15- develop:
line endings corrected
fixes issue
#95- improved documentation of AllocationSitesKey.scala improved the documentation
→ <<cset dc819bc7658a>>
- develop:
line endings corrected
fixes issue
-
repo owner - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
repo owner - removed version
Removing version: 0.9.0 (automated comment)
- Log in to comment
Your finding is correct, but this is very, very unlikely a bug; I will add some Documentation to AllocationSite which will explain this behavior. If - after reading the updated documentation (which I will write next) - you are still experiencing issue, please let know.