Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement function propagation analysis #73

Closed
3 tasks
ingvagabund opened this issue Jul 8, 2017 · 1 comment
Closed
3 tasks

Implement function propagation analysis #73

ingvagabund opened this issue Jul 8, 2017 · 1 comment
Assignees

Comments

@ingvagabund
Copy link
Contributor

ingvagabund commented Jul 8, 2017

Upstream issue: #72

  • extend the types.Function data type structure with Package field to track function origin
  • extend variable symbol definition in the symbol table with the propagation sequence (empty by default)
  • create "contract symbol table" for each data type (here for function/method signature)
@ingvagabund ingvagabund self-assigned this Jul 8, 2017
@ingvagabund
Copy link
Contributor Author

defacto completed by d452a29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant