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

Abstract interpretation staging #825

Draft
wants to merge 72 commits into
base: main
Choose a base branch
from
Draft

Abstract interpretation staging #825

wants to merge 72 commits into from

Conversation

LukasPietzschmann
Copy link
Collaborator

No description provided.

@LukasPietzschmann
feat-fix: some AINodes had the wrong id
3efc72e 
Pls Florian don't hate on me for not creating a separate issue
@LukasPietzschmann
feat: added conditional handler file
5b187bd
@LukasPietzschmann
feat: the cfg now contains entry and exit nodes for expr. lists
ec43e10
@LukasPietzschmann
feat: differentiate between expression and node ID in AINode
f1c89ef
@LukasPietzschmann
feat: changed how we store a bunch of domains
ad57a96
@LukasPietzschmann
fixup! feat: changed how we store a bunch of domains
08fb172
@LukasPietzschmann
feat: added exprlist handler
07ed85a
@LukasPietzschmann
refactor: binOpOperators return a AINodeStore
59bb280
@LukasPietzschmann
wip: added narrowDomain stub
a617074
@LukasPietzschmann
feat: implemented comparison operators
9fdd9d0
@LukasPietzschmann
feat: the conditiona handler's condition has to be an AINodeStore
cd7171d
@LukasPietzschmann
feat-fix: fixed two bugs related to intervals
2becfea 
1: (2, 2) is not a valid interval
2: [2, 3) and [3, 4] can be merged
@LukasPietzschmann
wip: implemented most of narrowDomain
fd9df2b
@LukasPietzschmann
refactor: restructured narrowDomain a bit
94193c4
@LukasPietzschmann
feat-fix: fixed overlapIntervals for non overlapping intervals
04a12d8
@LukasPietzschmann
feat-fix: differentiate between overlapping and touching intervals
6fbe5ab
@LukasPietzschmann
feat: narrowDomain now handles narrowing to exclusive bounds
6dd10cb 
Hopefully xD
@LukasPietzschmann
refactor: simplify comparison operator handler
3f0849f
@LukasPietzschmann
refactor: added comments and renamed push to register
28f4046
@LukasPietzschmann
feat-fix: added flag to indicate when register should overwrite
8a8fa68
@LukasPietzschmann
feat: intervals like [T, T) or (T, T] are considered empty
e1e32a5
@LukasPietzschmann
feat: add isBottom method to Domain class
e587d5d
@LukasPietzschmann
feat: added isSingleton method to Interval class
d1fde55
@LukasPietzschmann
feat: added dfg to all handlers
f5b821c
@LukasPietzschmann
feat: conditionals assign the narrowed domain to the correct node
c7ec544
@LukasPietzschmann
feat: handler::next can now also return new domains
9278390
@LukasPietzschmann
feat: add domains to the operationStack
2ff9e4c
@LukasPietzschmann
feat: added better control on how to insert AINodes into the store
6b71910
@LukasPietzschmann
feat: every handler now owns its domains
0956802
@LukasPietzschmann
refactor: formatting
e4da4c3
@LukasPietzschmann LukasPietzschmann added the abstract interpretation Related to abstract interpretation label May 26, 2024
@LukasPietzschmann LukasPietzschmann self-assigned this May 26, 2024
@LukasPietzschmann LukasPietzschmann marked this pull request as draft May 26, 2024 14:21
@LukasPietzschmann
feat: handle string and number node-ids correctly
52437c8
@LukasPietzschmann
feat: added domain generation to the dataflow step
92d5c5a
@LukasPietzschmann
feat: propagate domain of rhs to lhs in assignements
1c76879
@LukasPietzschmann
feat: generate domain for symbols
8892c75
@LukasPietzschmann
feat: generate domains for numbers and logicals
7de6f5b
@LukasPietzschmann
feat: propagate domains through arguments
09f7f50
@LukasPietzschmann
refactor: fixed imports and removed logs
5f24188
@LukasPietzschmann
feat: added domain calculation for + and -
e80b1f7
@LukasPietzschmann
feat: added domain calculation for comparisons
8e529b9 
There's some stuff missing though
@LukasPietzschmann
feat: use ai to determine if a path in an if-else is not taken
d3a9a50
@LukasPietzschmann
feat: hacked together narrowing propagation
33120a3
@LukasPietzschmann
feat-fix: fixed interval toJSON
f8fc753
@LukasPietzschmann
feat: added ability to update a vertex inside the dfg
cebd411
@LukasPietzschmann
feat-fix: fixed type
a6229dd
@LukasPietzschmann
test: compare vertex domains in tests
e0e0551
@LukasPietzschmann
test: added two simple tests
cd2198e
@LukasPietzschmann
refactor: removed implemented todo
11fec38
@LukasPietzschmann
feat: "abstracted" away truthy and falsy domains
1c867d9
@LukasPietzschmann
feat: added ai for && and ||
4b9c134
@EagleoutIce EagleoutIce mentioned this pull request Jul 1, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@EagleoutIce EagleoutIce EagleoutIce left review comments

At least 1 approving review is required to merge this pull request.

Assignees

@LukasPietzschmann LukasPietzschmann

Labels
abstract interpretation Related to abstract interpretation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@LukasPietzschmann @EagleoutIce