albertZhangTJ / sqlancer-lancerfuzz

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

Attach type to expression generation rule #32

Closed albertZhangTJ closed 4 months ago

albertZhangTJ commented 6 months ago

The testers shall specify the expressions (or say, values) in a single production rule using alternatives. Each branch at the top level of the alternative shall be associated with a type (matching the datatype in target DBMS).

For example

expr : ( quot (character)+ quot { E_TYPE("TEXT"); } | (digit)+ { E_TYPE("INT"); } ) ;
albertZhangTJ commented 6 months ago

Steps to achieve this including

albertZhangTJ commented 4 months ago

Done with 47a063cdbf3dfe221c4b833dadd5fc30acdd8fac