secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
920 stars 140 forks source link

Deserialization for LLVMBasedICFG #617

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

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.