How to modify statement of CFAEdges?

[Liangchen]

Dear Developers,

    I hope to modify statement of CFAEdges in the MutableCFA, but when I try to ergodic the edgs in the MutableCFA, they are all 'CFAEdge' type and I can't modify them.How to modify the statements?

                                                                                                                                              Thanks,

                                                                                                                                     Yours,Liangchen

[Philipp Wendler]

Dear Liangchen,

Am 18.10.23 um 09:54 schrieb Liangchen:

> I hope to modify statement of CFAEdges in the MutableCFA, but when I
> try to ergodic the edgs in the MutableCFA, they are all 'CFAEdge' type and
> I can't modify them.How to modify the statements?

It is not fully clear to me what you want to achieve and what you are
trying to do and where you do this in CPAchecker.
In general, the CFA is an immutable representation of the program and
not supposed to be modified. There are some post-processings that can be
done before it is finalized, but CFAEdges itself are always immutable
and need to be replaced. But one has to take care to do this in the
right order with the other post processings and not break any invariants
of the CFA representation, so we generally recommend against it.

Greetings
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181