It might be a design issue?

[kittener]

If a node with the character 's' exceeds 64, it will always be a repeated node

[yuleisui]

One node can have multiple outgoing edges.

[kittener]

Yes, but it stopped at s64 and didn't increase further.

[yuleisui]

Could you find the reason? I don't know how the screenshot was generated.

[yuleisui]

Your description is too brief and please provide more information (e.g., bc file and your SVF's command line options to analyze the bc) if you need help when posting an issue.

[kittener]

Alright, this is the issue I encountered while analyzing the 'readelf' software using SVF. First, I used the following commands:

$ CC=wllvm LLVM_COMPILER=clang ./configure --disable-shared $ LLVM_COMPILER=clang make -j$(nproc) $ cd binutils $ extract-bc readelf

Then, I used the following command on the extracted BC file:

$ wpa -type -dump-icfg readelf.bc

After that, the generated file, as shown in part in the screenshot, presents an issue. In fact, I am trying to convert the DOT file generated by SVF into a tree structure using depth-first search. I encountered this problem when merging all the starting nodes.

[kittener]

Sorry, this is my first time raising an issue. I will pay more attention to this in the future. Thank you for your reminder and understanding.

[yuleisui]

Alright, this is the issue I encountered while analyzing the 'readelf' software using SVF. First, I used the following commands:

$ CC=wllvm LLVM_COMPILER=clang ./configure --disable-shared $ LLVM_COMPILER=clang make -j$(nproc) $ cd binutils $ extract-bc readelf

Then, I used the following command on the extracted BC file:

$ wpa -type -dump-icfg readelf.bc

After that, the generated file, as shown in part in the screenshot, presents an issue. In fact, I am trying to convert the DOT file generated by SVF into a tree structure using depth-first search. I encountered this problem when merging all the starting nodes.

Could you try debugging the dump-icfg method to see the issue?