path

[ddy-ddy]

Hello author, I want to get all the paths of a program separately, which part of the code should I use? Or do you have any other suggestions? Looking forward to your reply

[tballmsft]

The engine is based on dynamic symbolic execution, which means running the program first on a concrete input to get a single path and then exploring from that path. The engine is not built to enumerate the paths of a program statically.