junmei Rong
junmei Rong
Me, too. Have you solved it now?
Have you resolved the issue with the 32-bit python2 installation now?
I think it might be a BUG.
I hope to apply DG to Aflgo (I don't know if you have heard of it, a directed fuzzing tool, which uses LLVMPass to implement information collection and instrumentation). AFLGO...
https://github.com/aflgo/aflgo
I apologize for the confusion in my previous message. I actually encountered an error while implementing my own analysis based on the example provided [here](https://github.com/SVF-tools/SVF-example/blob/master). When I ran my program,...
``` [New LWP 961933] [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". Core was generated by `/root/svf-cd-dd/bin/svf-cd-dd -ander -target=/root/aflgo/examples/boringssl-201'. Program terminated with signal SIGABRT, Aborted. #0 __GI_raise (sig=sig@entry=6)...
I'm using an older version of SVF, I patched it with a later update and added a build to control the dependency graph, which I guess should be my issue.
I wanted to follow up with an update on my previous query regarding the crash I was experiencing with SVF. After updating to the latest version of SVF, I am...
``` svf-example: /root/svf/svf/include/Util/Casting.h:198: static bool SVF::SVFUtil::isa_impl_cl::doit(const From*) [with To = SVF::IntraCFGEdge; From = SVF::ICFGEdge]: Assertion `Val && "SVFUtil::isa used on a null pointer"' failed. ```