KAST 式のドラフトを作成する

前のステップで特定したノードは、IfStmt、condition、およびBinaryExpr です。これを KAST 式にまとめると、次のようになります。

// IfStmt / condition::BinaryExpr [ @operation = CSCONST_ASSIGN ]

この KAST 式は、AST で、条件ステートメントでの割り当てを含む if ステートメントを検索します。

KAST 式が完成したら、次のステップはその式をテストすることです。