Marek Chalupa

You can try the commit above that should fix the crash. The runtime will, however, not change...

Seems like a bug in `-cutoff-diverging` option. You can workaround it for now with `-cutoff-diverging=0`. Do you have some small test-case that would allow to reproduce this bug?

Yes, it does. The relevant object is `callGraph` in the class PointerGraph.

It depends on what information about LLVM you need. If you need dependencies between instructions, you can use LLVMNode from the LLVMDependenceGraph. If you need information about pointers, you need...

Sure, dg does not generate a cmake config file yet, but you can configure it manually, e.g., like here: https://github.com/staticafi/sbt-instrumentation/blob/master/CMakeLists.txt#L50 (or if you use autotools, you just need to set...

another possible source of information: https://github.com/staticafi/sbt-slicer/blob/master/CMakeLists.txt#L64

The failing tests show that the points-to sets computed with `-pta svf` are most probably incomplete. Comparing the output of ```llvm-pta-dump testX.bc``` with and without `-pta svf` would probably give...

> It looks like SVF does not properly handle the `ptrtoint` -> `inttoptr` conversion. Consider the following reduced case > > ```c > #include > > int main(void) > {...

> ## `dynalloc5` > ... > > I think that this is once again an error in the slicer as the PAG clearly shows that both registers `%5` and `%7`...

> ## `vararg{3,4}` > Call graph produced by SVF is wrong as it does not seem to support function pointers passed as arguments to variadic functions. In `vararg3` the `foo`...