2ck

Connection between SVFG and Call Graph?

4

Hello, I am working with code based on [this example](https://github.com/SVF-tools/SVF/wiki/A-simple-driver-example-of-SVF). When we have found a value `Value* val = pNode->getValue();`, is it possible to get the call path from the...

NixOS Support

8

Hello! I've been trying to build SatDump on two Linux machines, and ran into lots of trouble in the process. I'm using the following tiny Nix flake to have a...