C ???? ??? ?? ? ?? AST ????

C ????? ?? ????? ??? ?? ? ?? ??? ?? ?? ??? ? ? ????. ????? ?? ?? ??(AST). AST? ???? ??? ?? ???? ??? ????? ? ?? ???? ??? ? ????.

C ?? ?? ??

C ???? AST? ???? ?? ??? ??? ? ????. ????? ?? ? ??? Clang ???????. Clang? ??? ?? ? ?? ???? AST? ??? ? ?? "-emit-llvm"??? ??? ?????. ??? ? ??? ? ?? ???? ??? ?? ??? Clang?? ???????.

?? ??

C ???? AST? ??? ? ?? ?? ??? DMS ????? ?????????. ??. DMS? C 11 ? C 17? ??? ?? C ??? ???? ???? C ??? ?????.

DMS ?? ??

DMS? ???? C ???? AST? ????, ?? ??? ????.

1. ?? DMS.
2. ????? ??? ??? C ??? ????.
3. ?? ??? ?????.

run ..\DomainParser ++AST "<path_to_C++_file>"

C ??? ?? ??? ??. DMS? AST? ???? ?? ??? ?? ? ?? ???? ?????.

?

C?? ??? ?? ??? Fibonacci ????? ??? ???.

int fib(int n) {
    if ( n == 0 || n == 1 ) 
        return n;
    int fib1 = 0; 
    int fib2 = 1;
    int fib = 0;
    for ( int i = 2; i < n; i++ ) 
    {
        fib = fib1 + fib2;
        fib1 = fib2;
        fib2 = fib;
    }
    return fib;
}

? ?????? DMS? ???? ??? ?????. AST:

(translation_unit
 (function_definition
  (function_head
   (simple_type_specifier 
    ('int')
   )
   (noptr_declarator
    (IDENTIFIER ['fib'])
    ('(')
    (parameter_declaration
     (simple_type_specifier ('int'))
     (IDENTIFIER ['n'])
    )
    (')')
    (function_qualifiers)
   )
  )
  (compound_statement
   ('{'
   (statement_seq
    (statement_seq
     (statement_seq
      (statement_seq
       (selection_statement
        ('if')
        ('(')
         (logical_or_expression
          (equality_expression
           (IDENTIFIER ['n'])
           ('==')
           (INT_LITERAL [0])
          )
          ('||')
          (equality_expression
           (IDENTIFIER ['n'])
           ('==')
           (INT_LITERAL [1])
          )
         )
        (')')
        (jump_statement
         ('return')
         (IDENTIFIER ['n'])
        )
       )
       (simple_declaration
        (simple_type_specifier $('int'))
        (init_declarator
         (IDENTIFIER ['fib1'])
         (initializer
          ('=')
          (INT_LITERAL [0])
         )
        )
       )
      )
      (simple_declaration
       (simple_type_specifier $('int'))
       (init_declarator
        (IDENTIFIER ['fib2'])
        (initializer
         ('=')
         (INT_LITERAL [1])
        )
       )
      )
     )
     (simple_declaration
      (simple_type_specifier $('int'))
      (init_declarator
       (IDENTIFIER ['fib'])
       (initializer
        ('=')
        (INT_LITERAL [0])
       )
      )
     )
    )
    (iteration_statement
     ('for')
     ('(')
      (simple_declaration
       (simple_type_specifier $('int'))
       (init_declarator
        (IDENTIFIER ['i'])
        (initializer
         ('=')
         (INT_LITERAL [2])
        )
       )
      )
      (relational_expression
       (IDENTIFIER ['i'])
       ('<')
       (IDENTIFIER ['n'])
      )
      (';'
       (postfix_expression
        (IDENTIFIER ['i'])
        ('++')
       )
      ')'
     (compound_statement
      ('{'
       (statement_seq
        (statement_seq
         (expression_statement
          (assignment_expression
           (IDENTIFIER ['fib'])
           ('=')
           (additive_expression
            (IDENTIFIER ['fib1'])
            ('+')
            (IDENTIFIER ['fib2'])
           )
          )
         )
         (expression_statement
          (assignment_expression
           (IDENTIFIER ['fib1'])
           ('=')
           (IDENTIFIER ['fib2'])
          )
         )
        )
        (expression_statement
         (assignment_expression
          (IDENTIFIER ['fib2'])
          ('=')
          (IDENTIFIER ['fib'])
         )
        )
       )
      }'))
     )
    )
    (jump_statement
     ('return')
     (IDENTIFIER ['fib'])
    )
   }'))
)

? AST? ????? ??? ??? ?? ??? ??? ????? ????? ??? ? ?? ???? ??? ? ????.

? ??? C ???? ??? ?? ? ?? ?? ?? ??(AST)? ??? ?? ? ?????? ?? ?????. ??? ??? PHP ??? ????? ?? ?? ??? ?????!