Symbolic execution for web application firewall performance

A method, comprising:

• at a first computer:
• receiving a web application firewall rule;
• analyzing the web application firewall rule, comprising:
• generating a state machine from the web application firewall rule, and
• executing one or more passes through the state machine to identify a class of inputs to the web application firewall rule that cannot trigger the web application firewall rule;
• generating a test for detecting whether a given input is within the class of inputs, the test being distinct from the web application firewall rule;
• exporting the test for delivery to a second computer;
• at the second computer:
• operating a firewall;
• installing the web application firewall rule and the test in the firewall;
• receiving an input message from a client device;
• executing the test on one or more parts of the input message, wherein:
• when the test indicates that the one or more parts of the input message cannot trigger the web application firewall rule, skipping the execution of the web application firewall rule on the one or more parts of the input message, and
• when the test does not indicate that the one or more parts of the input message cannot trigger the web application firewall rule, executing the web application firewall rule on the one or more parts of the input message.

A system, comprising:

• a first computer having one or more processors and memory holding instructions for execution on the one or more processors to operate the first computer to:
• receive a web application firewall rule;
• analyze the web application firewall rule, comprising:
• generating a state machine from the web application firewall rule, and
• executing one or more passes through the state machine to identify a class of inputs to the web application firewall rule that cannot trigger the web application firewall rule;
• generate a test for detecting whether a given input is within the class of inputs, the test being distinct from the web application firewall rule;
• export the test for delivery to a second computer;
• a second computer having one or more processors and memory holding instructions for execution on the one or more processors to operate the second computer to:
• execute a firewall;
• install the web application firewall rule and the test in the firewall;
• receive an input message from a client device;
• execute the test on one or more parts of the input message, wherein:
• when the test indicates that the one or more parts of the input message cannot trigger the web application firewall rule, skipping the execution of the web application firewall rule on the one or more parts of the input message, and
• when the test does not indicate that the one or more parts of the input message cannot trigger the web application firewall rule, executing the web application firewall rule on the one or more parts of the input message.

A non-transitory computer-readable medium storing computer program instructions for execution on at least one processor, including instructions for:

• at a first computer:
• receiving a web application firewall rule;
• analyzing the web application firewall rule, comprising:
• generating a state machine from the web application firewall rule, and
• executing one or more passes through the state machine to identify a class of inputs to the web application firewall rule that cannot trigger the web application firewall rule;
• generating a test for detecting whether a given input is within the class of inputs, the test being distinct from the web application firewall rule;
• exporting the test for delivery to a second computer;
• at the second computer:
• operating a firewall;
• installing the web application firewall rule and the test in the firewall;
• receiving an input message from a client device;
• executing the test on one or more parts of the input message, wherein:
• when the test indicates that the one or more parts of the input message cannot trigger the web application firewall rule, skipping the execution of the web application firewall rule on the one or more parts of the input message, and
• when the test does not indicate that the one or more parts of the input message cannot trigger the web application firewall rule, executing the web application firewall rule on the one or more parts of the input message.