8000 Continue propagation in callers · Issue #10 · thalium/symless · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Continue propagation in callers #10

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.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and < 8934 a class="Link--inTextBlock" href="https://docs.github.com/privacy" target="_blank">privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
anOtherAnalyse opened this issue May 6, 2022 · 0 comments
Open

Continue propagation in callers #10

anOtherAnalyse opened this issue May 6, 2022 · 0 comments
Labels
enhancement New feature or request

Comments

@anOtherAnalyse
Copy link
Collaborator

Structure propagation is applied from an entry point (malloc, ctor) and only goes down into callees. If the entry point function returns the propagated object, it could be interesting to propagate after calls to the function (in the function's callers).

Two cases have to be distinguished:

  • The entry point function is a ctor, returning *this. We do not want to propagate in the ctor callers, as they can be ctors to derived classes and propagating a base class into a derived ctor is wrong;
  • The entry point function returns an allocated object (its type is known). Propagation can be continued in callers.
@anOtherAnalyse anOtherAnalyse added the enhancement New feature or request label May 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@anOtherAnalyse
0