Skip to content

Deserialization for LLVMBasedICFG - #617

Merged
MMory merged 4 commits into
developmentfrom
f-FixDeserialization
May 31, 2023
Merged

Deserialization for LLVMBasedICFG#617
MMory merged 4 commits into
developmentfrom
f-FixDeserialization

Conversation

@fabianbs96

Copy link
Copy Markdown
Member

Add support for deserializing an LLVMBasedICFG from json. For that to work properly the LLVMBasedICFG::getAsJson() function has been refactored -- the result format is different now.

Additionally fixed psr::fromMetaDataId that is required for both LLVMBasedICFG- and LLVMAliasSet deserialization.

@fabianbs96
fabianbs96 requested a review from MMory as a code owner May 7, 2023 17:03
@fabianbs96 fabianbs96 self-assigned this May 7, 2023
@fabianbs96 fabianbs96 mentioned this pull request May 10, 2023
Comment thread lib/PhasarLLVM/Pointer/LLVMAliasSet.cpp Outdated
@fabianbs96 fabianbs96 added the enhancement New feature or request label May 12, 2023

@MMory MMory left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, thanks!

@MMory
MMory merged commit a586558 into development May 31, 2023
@MMory
MMory deleted the f-FixDeserialization branch May 31, 2023 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants