yyp
> Hi, I tested the “-cutoff-diverging=0” option, and it seems not to work. I put my data of proof-of-concept to reproduce this bug in the public git repo. And the...
> 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? Hi,...
> > 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?...
> What is the bitcode? How big is the program? Hi, The bitcode in my "$link/SRC_bin/mjs_bin_slice.bc". And the size is around 800kb. I put my data of proof-of-concept to reproduce...
> Seems that the bitcode is just too complicated for the analyses (points-to analysis), so it just computes very long. The points-to analysis in DG is very inefficient... Hi, I...
> It depends on what do you mean by "show how the input can affect XXX". DG can compute an interprocedural dependence graph and from that you can get the...
> By path you mean a path in the CFG of the program? > > From the dependence graph, all the statements that are backward reachable from the ,,destination'' instructions...
IndexError：list index out of range in /opt/caid/caid/libdeps.py, line 394, in build_dependency_graph
> Hi @Clingto, thanks for your interest in TEEzz. > > The `LIB_PATH` should point to the vendor library that provides a common interface to the TEE driver. On Huawei...
IndexError：list index out of range in /opt/caid/caid/libdeps.py, line 394, in build_dependency_graph
> > Are you using the `docker compose` setup? I ran it again on my P20Lite and cannot reproduce your error. Can you share some stats of the `inout` directory?...