| Static Value-Flow Analysis
    | 
#include <new>#include <utility>#include "Util/Options.h"#include "MemoryModel/PointsTo.h"#include "SVFIR/SVFValue.h"Go to the source code of this file.
| Namespaces | |
| namespace | SVF | 
| for isBitcode | |
| Functions | |
| PointsTo | SVF::operator| (const PointsTo &lhs, const PointsTo &rhs) | 
| Returns a new lhs | rhs. | |
| PointsTo | SVF::operator& (const PointsTo &lhs, const PointsTo &rhs) | 
| Returns a new lhs & rhs. | |
| PointsTo | SVF::operator- (const PointsTo &lhs, const PointsTo &rhs) | 
| Returns a new lhs - rhs. | |