Problem with initials in reaching definitions analysis
Nobody has claimed this yet.
- Dominant language
- OCaml
- Stars
- 160
- Forks
- 59
- Avg merge
- 21h 45m
- Merged PRs (30d)
- 26
Description
In the reaching definitions analysis (which is currently not yet really wired up and tested sufficiently), we should have a very careful think about which variables get passed in as the initial property of the analysis and therefore get set to label None. The precise set should depend on how the analysis is used, but it should definitely include target. Basically, it should be the set of variables which are free in the statement in the sense that they get used but never get declared.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the reaching definitions analysis and inspect how its initial property is constructed. Determine which variables are free in each statement, ensuring that target is included, then add sufficient tests for the analysis once it is wired up.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100