Back-fixing instead of failing the entire test case when quantifier node repetition cannot be satisfied

albertZhangTJ / sqlancer-lancerfuzz

Detecting Logic Bugs in DBMS

http://www.sqlancer.com/

MIT License

1 stars 0 forks source link

Back-fixing instead of failing the entire test case when quantifier node repetition cannot be satisfied #19

Closed albertZhangTJ closed 6 months ago

albertZhangTJ commented 6 months ago

When the number of repetitions generated by the quantifier node cannot be satisfied (usually due to there aren't so many identifiers of the given type in the target DBMS), instead of failing the entire test case, regenerate only that statement.

This shall help improve success rate significantly.

albertZhangTJ commented 6 months ago

Feature added with 573d1ac7c873f48e4453627193b99962f5ce4c2c

Indeed works, validity increased from around 60% to around 90% with nothing else changed.