When we specify our output_packet_fields or output_state_groups, we should develop an algorithm to find which packet_fields have influence on their output.
General ideas should be based on graph theory on the DAG of the three-address-code generated by domino.
When we specify our output_packet_fields or output_state_groups, we should develop an algorithm to find which packet_fields have influence on their output.
General ideas should be based on graph theory on the DAG of the three-address-code generated by domino.