Verifying systems rules using rule-directed symbolic execution

  title={Verifying systems rules using rule-directed symbolic execution},
  author={Heming Cui and Gang Hu and Jingyue Wu and Junfeng Yang},
Systems code must obey many rules, such as "opened files must be closed." One approach to verifying rules is static analysis, but this technique cannot infer precise runtime effects of code, often emitting many false positives. An alternative is symbolic execution, a technique that verifies program paths over all inputs up to a bounded size. However, when applied to verify rules, existing symbolic execution systems often blindly explore many redundant program paths while missing relevant ones… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS

12 Figures & Tables



Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.