trailofbits / binary_type_inference

GNU General Public License v3.0
11 stars 0 forks source link

Use path from representing dtv in sketches as identifier for nodes. #27

Open 2over12 opened 2 years ago

2over12 commented 2 years ago

The most reliable way to find a node after graph manipulations is by following the path of edges in the original sketch. Since sketches are prefix closed if the node still exists it will always still be at that path. Currently, this is leveraged in a bunch of places but the mapping graph still identifies nodes by indeces etc, maybe we can share some infrastructure related to node idenitification utilizing graph paths.