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.

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

Interprocedural fixes: recursions, call caches, determinism #260

Merged
merged 34 commits into from
Apr 20, 2023
Merged

Interprocedural fixes: recursions, call caches, determinism #260

merged 34 commits into from
Apr 20, 2023

Conversation

lucaneg
Copy link
Member

@lucaneg lucaneg commented Dec 16, 2022

Description

  • Handling of recursive calls
  • Determinization of the entrypoint processing order in ContextBasedAnalysis
  • Considering types in BaseCallGraph call resolution cache

Fixed bugs
Closes #252
Closes #253
Closes #254

@lucaneg lucaneg added 🐛 type:bug Something isn't working 🌍 scope:interproc Work regarding interprocedural analyses or call graphs labels Dec 16, 2022
@lucaneg lucaneg added this to the 0.1b8 milestone Dec 16, 2022
@lucaneg lucaneg self-assigned this Dec 16, 2022
@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Dec 16, 2022
lucaneg and others added 18 commits March 22, 2023 11:38
@lucaneg
ScopeIds work with CFGCalls #254
730a401
@lucaneg
Incorporating call stacks in ContextBasedAnalysis #254
e1c57a7
@lucaneg
Using tokens hashcode in filenames #254
65701f9
@lucaneg
Refactoring ContextBasedAnalysis and CallWithResult #254
194d7f1
@lucaneg
Minor change to widening/narrowing application
f4f6916
@lucaneg
Context tokens slide over the call stack #254
76f6cee
@lucaneg
First draft of recursion handling #254
2d5ecf5
@lucaneg
Meta variables are popped at the end of the statement's evaluation #254
381c8fa
@lucaneg
Fixing convergence on recursions with KDepthToken #254
af6d457
@lucaneg
Tests for direct recursions #254
d8af91b
@lucaneg
Merge master into interproc-fixes
9323da1
@lucaneg
Adding more tests #254
976a323
@lucaneg
Recursion detection based only on calls #254
862925f
@lucaneg
Added SCCs and cycle extraction from call graph #254
7703a8d
@lucaneg
Improvements to sign analysis
31e610a
@lucaneg
Refactoring and increasing test cases #254
0f3cc25
@lucaneg
Removing complete call stack from ContextBasedAnalysis #254
39c53ce
@lucaneg
Scaffolding for collecting recursions for later evaluation #254
4d48cca
@lucaneg lucaneg removed the 🏗 resolution:wip Incomplete work - do not review yet label Apr 17, 2023
@lucaneg lucaneg merged commit 99aa72a into master Apr 20, 2023
@lucaneg lucaneg deleted the interproc-fixes branch April 20, 2023 10:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@VincenzoArceri VincenzoArceri Awaiting requested review from VincenzoArceri

Assignees

@lucaneg lucaneg

Labels
🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1b8
1 participant
@lucaneg