SparseAbstractInterpretation.h

Go to the documentation of this file.

//===- SparseAbstractInterpretation.h -- Sparse Abstract Execution------//
//
//                     SVF: Static Value-Flow Analysis
//
// Copyright (C) <2013->  <Yulei Sui>
//
 
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) 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 Affero General Public License for more details.
 
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
//
//===---------------------------------------------------------------------===//
 
#ifndef INCLUDE_AE_SVFEXE_SPARSEABSTRACTINTERPRETATION_H_
#define INCLUDE_AE_SVFEXE_SPARSEABSTRACTINTERPRETATION_H_
 
#include <memory>
 
#include "AE/Svfexe/AbstractInterpretation.h"
#include "MSSA/SVFGBuilder.h"
 
namespace SVF
{
 
class SemiSparseAbstractInterpretation : public AbstractInterpretation
{
public:
    SemiSparseAbstractInterpretation()
    {
        preAnalysis->initCycleValVars();
    }
    ~SemiSparseAbstractInterpretation() override = default;
 
protected:
    AbstractState getFullCycleHeadState(const ICFGCycleWTO* cycle) override;
 
    bool widenCycleState(const AbstractState& prev,
                         const AbstractState& cur,
                         const ICFGCycleWTO* cycle) override;
 
    bool narrowCycleState(const AbstractState& prev,
                          const AbstractState& cur,
                          const ICFGCycleWTO* cycle) override;
 
    const AbstractValue& getAbsValue(const ValVar* var, const ICFGNode* node) override;
    using AbstractInterpretation::getAbsValue;
 
    bool hasAbsValue(const ValVar* var, const ICFGNode* node) const override;
    using AbstractInterpretation::hasAbsValue;
 
    void updateAbsValue(const ValVar* var, const AbstractValue& val, const ICFGNode* node) override;
    using AbstractInterpretation::updateAbsValue;
 
    void updateAbsState(const ICFGNode* node, const AbstractState& state) override;
 
    void joinStates(AbstractState& dst, const AbstractState& src) override;
 
    const ICFGNode* getICFGNode(const ValVar* var) const;
};
 
// TODO: write comments, step 1 2 3
class FullSparseAbstractInterpretation : public SemiSparseAbstractInterpretation
{
public:
    FullSparseAbstractInterpretation()
    {
        buildSVFG();
    }
    ~FullSparseAbstractInterpretation() override;
 
    void mergeFreedAddrs(AbstractState& dst, const AbstractState& src);
 
protected:
    using SemiSparseAbstractInterpretation::joinStates;
 
    void joinStates(AbstractState& dst, const AbstractState& src,
                    const NodeBS& objs);
 
    bool mergeStatesFromPredecessors(const ICFGNode* node) override;
 
private:
    AbstractState CollectObjValueFlowInput(const VFGEdge* edge, NodeBS& objs);
 
    AbstractState filterValueFlowInputByPath(const VFGEdge* edge,
            const AbstractState& input);
 
    void buildSVFG();
    // Owns the graph whose VFG nodes are indexed by their ICFG nodes.
    std::unique_ptr<SVFGBuilder> svfgBuilder;
};
 
} // namespace SVF
 
#endif /* INCLUDE_AE_SVFEXE_SPARSEABSTRACTINTERPRETATION_H_ */