summaryrefslogblamecommitdiff
path: root/src/analysis/expression.h
blob: 8d18a958eb9f141a413cecd43038b63e020141ff (plain) (tree)
1
2
3
4


                                    
                                               



















                                                                         
                    
                    
                    
                            
                        
                    
                    
                  
                    
                      
                  
            
                         
                   
                           
                      
                        
                          
                       
                         
               

                

                 

                  
                                                                                   
 
                                                                                             
 
                                                                               
 

                                                                               

                                                                                               
                                                                                   

                                                                           


                                                                           

                                                                                     
                                                                                         
 

                                                                                       
                                                                                           

                                                                               

                                                                                       

                                                                               

                                                                               

                                                                             
 

                                                                                         

                                                                               








                                             
                                                
 
                                                          
 
                                                              
 
                                                   
                                            

                                              
 
                                        


                               
/*
 *  Copyright (C) 2015  Andrei Karas
 *
 *  This file is part of Paranoid null checker.
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 3 of the License, or
 *  any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef ANALYSIS_EXPRESSION_H
#define ANALYSIS_EXPRESSION_H

#include "includes.h"

struct AddrExprNode;
struct BindExprNode;
struct CallExprNode;
struct CleanupPointExprNode;
struct CompoundExprNode;
struct CondExprNode;
struct DeclExprNode;
struct EqExprNode;
struct InitExprNode;
struct ModifyExprNode;
struct NeExprNode;
struct Node;
struct NonLvalueExprNode;
struct NopExprNode;
struct PointerPlusExprNode;
struct ReturnExprNode;
struct TruthAndExprNode;
struct TruthAndIfExprNode;
struct TruthOrExprNode;
struct TruthOrIfExprNode;
struct VarItem;
struct WalkItem;

#include <vector>

namespace Analysis
{
    void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analysePointerPlusExpr(PointerPlusExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseAddrExpr(AddrExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCallExpr(CallExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCleanupPointExpr(CleanupPointExprNode* node, const WalkItem &wi, WalkItem &wo);

    void analyseReturnExpr(ReturnExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNeExpr(NeExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseEqExpr(EqExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthOrExpr(TruthOrExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthOrIfExpr(TruthOrIfExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthAndExpr(TruthAndExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseTruthAndIfExpr(TruthAndIfExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCondExpr(CondExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseCompoundExpr(CompoundExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseBindExpr(BindExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseDeclExpr(DeclExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNopExpr(NopExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseNonLvalueExpr(NonLvalueExprNode *node, const WalkItem &wi, WalkItem &wo);

    void analyseInitExpr(InitExprNode* node, const WalkItem &wi, WalkItem &wo);

    void handleSetVar(Node *node1,
                      Node *node2,
                      const WalkItem &wi,
                      WalkItem &wo);

    void handleSetVarDecl(Node *node,
                          const WalkItem &wi,
                          WalkItem &wo);

    VarItem getComponentRefVariable(Node *node);

    std::vector<VarItem> getComponentRefParts(Node *node);

    std::vector<VarItem> getComponentRefLeftParts(Node *node);

    bool handleSetVarToFunction(const VarItem &var,
                                Node *node1,
                                Node *node2,
                                WalkItem &wo);

    bool isValidVar(const VarItem &str);
}

#endif // ANALYSIS_EXPRESSION_H