search

albertZhangTJ / sqlancer-lancerfuzz

Detecting Logic Bugs in DBMS
http://www.sqlancer.com/
MIT License
1 stars 0 forks source link

Possibly some mechanism for mutually exclusive components #20

Closed albertZhangTJ closed 6 months ago

albertZhangTJ commented 6 months ago

For example, in mysql temporary tables cannot have partitions, so these two optional parts cannot be generated together.

albertZhangTJ commented 6 months ago

Enforcing these using current CFG features is doable but will make the rule rather long.

On the other hand I dunno if it's a good idea to introduce a separate mechanism for this is worth it...

Prolly gonna experiment more too see how often these issues arise and then decide.

albertZhangTJ commented 6 months ago

That kind of design is actually intentional (so that parser can recognize the input, and semantic evaluation can provide a more meaningful error message to the user).

We decided no separate mechanism shall be implemented for this.

However, this kind of trade-offs will be mentioned in the paper.

albertZhangTJ commented 6 months ago

Wont fix