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

[FEATURE REQUEST] Base non relational domains should be able to reason about type casting and type conversion expressions #55

Closed
VincenzoArceri opened this issue Apr 8, 2021 · 0 comments · Fixed by #56
Closed

[FEATURE REQUEST] Base non relational domains should be able to reason about type casting and type conversion expressions #55

VincenzoArceri opened this issue Apr 8, 2021 · 0 comments · Fixed by #56
Assignees
@VincenzoArceri
Labels
🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Projects
LiSA
Milestone
0.1b1

Comments

@VincenzoArceri
Copy link
Collaborator

Currently, base non relational domains do not reason about type casting and type conversion expressions, since they just return top when these expressions are met. These domains should be able instead to reason about these symbolic expressions: for instance, interval domain should be able to cast or convert an interval to the type tracked by the domain, i.e., integer.
@VincenzoArceri VincenzoArceri added the 🎆 type:feature New feature or request label Apr 8, 2021
@VincenzoArceri VincenzoArceri added this to the 0.1a5 milestone Apr 8, 2021
@VincenzoArceri VincenzoArceri added this to TODO in LiSA via automation Apr 8, 2021
@VincenzoArceri VincenzoArceri self-assigned this Apr 8, 2021
VincenzoArceri added a commit that referenced this issue Apr 8, 2021
@VincenzoArceri
#55 evaluation of type cast and conversion in base value non relational
6cfbbcd 
domain
@VincenzoArceri VincenzoArceri mentioned this issue Apr 8, 2021
Merged
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Apr 9, 2021
VincenzoArceri added a commit that referenced this issue Apr 10, 2021
@VincenzoArceri
#55 type conv and cast logic as base non relational domains
9b4c52d
@lucaneg lucaneg moved this from TODO to DOING in LiSA Apr 11, 2021
LiSA automation moved this from DOING to DONE Apr 13, 2021
@lucaneg lucaneg moved this from DONE to MERGED in LiSA Apr 30, 2021
@lucaneg lucaneg added the 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms label Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@VincenzoArceri VincenzoArceri

Labels
🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Projects
No open projects
LiSA
  
MERGED
Milestone
0.1b1
2 participants
@VincenzoArceri @lucaneg