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 privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Call resolution information in semantic checks #142

Merged

VincenzoArceri merged 5 commits into master from call-resolution-info

Oct 29, 2021

Member

lucaneg commented Oct 29, 2021

Description
CheckToolWithAnalysisResults now exposes the following methods:

getCallers(CodeMember cm) yielding the callers of a code member
getCallees(CodeMember cm) yielding the callees of a code member
getCallSites(CodeMember cm) yielding the calls that target the code member
getResolvedVersion(UnresolvedCall call) yields the resolved version of a call

Implemented Features
Closes #137


          #137 exposing callgraph in semantic checks + new callgraph methods

a93a50d

lucaneg added the 🎆 type:feature label

lucaneg added this to the 0.1b3 milestone

lucaneg requested a review from VincenzoArceri

October 29, 2021 13:59

lucaneg self-assigned this

lucaneg added the 🏗 resolution:wip label

This comment has been minimized.

Sign in to view


          #137 adding cache for call resolution + exposing it to check tool

a7209ea

lucaneg removed the 🏗 resolution:wip label

This comment has been minimized.

Sign in to view

This comment has been minimized.

Sign in to view


          Merge master into call-resolution-info

673eb97

This comment has been minimized.

Sign in to view

This comment has been minimized.

Sign in to view


          Merge master into call-resolution-info

112a721

This comment has been minimized.

Sign in to view

This comment has been minimized.

Sign in to view


          Fixing import

ac2ba72

VincenzoArceri approved these changes

View reviewed changes

VincenzoArceri enabled auto-merge

October 29, 2021 15:18

github-actions bot commented Oct 29, 2021

Unit Test Results

  33 files   33 suites 11s ⏱️
204 tests 204 ✔️ 0 💤 0 ❌

Results for commit ac2ba72.

This comment has been minimized.

Sign in to view

VincenzoArceri merged commit 0dd4d46 into master

VincenzoArceri deleted the call-resolution-info branch

October 29, 2021 15:20

github-actions bot commented Oct 29, 2021

All Test Results (unit + cron)

  43 files ±0   43 suites ±0 12s ⏱️ -3s
226 tests ±0 226 ✔️ ±0 0 💤 ±0 0 ❌ ±0

Results for commit 0dd4d46. ± Comparison against base commit 55e1e08.

lucaneg added the 🏨 scope:infrastructure label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🏨 scope:infrastructure 🎆 type:feature