search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
214 stars 58 forks source link

Decision tree visualization #41

Closed yanxx297 closed 4 years ago

yanxx297 commented 4 years ago

Save decision tree in .dot format to a file. To read the tree, convert the dot file to pdf using dot's -Tpdf option

smcc commented 4 years ago

Also, it would eventually be more useful to have this change in the master version, since it's not CGC-specific. The exec_options_table part of the change is only relevant on the CGC branch, but I think it's not important, especially because this option is primarily for debugging.