trailofbits / binary_type_inference

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

Do not remove entry node of sketch when the resulting DFA has the entry node as non-accept #50

Closed 2over12 closed 1 year ago

2over12 commented 1 year ago

Since non-accept nodes can never have edges to accept nodes and the entry cannot have any incoming nodes, we know the node is not connected to anything but itself so it is safe to keep the entry node. Keeping the entry node is required since the sketches entry node must always be available