path

Open ddy-ddy opened this issue 4 years ago • 1 comments

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

Feb 09 '21 09:02 ddy-ddy

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.

Mar 09 '21 00:03 tballmsft