MTASlicer.cpp File Reference

#include "MTA/MTASlicer.h"
#include "MTA/TCT.h"
#include "SVFIR/SVFIR.h"
#include "Util/SVFUtil.h"
#include "Util/CxtStmt.h"
#include "Util/ThreadAPI.h"
#include <deque>
#include <algorithm>
#include <cassert>
#include "Graphs/ICFGEdge.h"
#include "Graphs/ICFGNode.h"
#include "Graphs/CallGraph.h"
#include "SVFIR/SVFStatements.h"
#include "SVFIR/SVFVariables.h"
#include <fstream>
#include <sstream>
#include <queue>
#include <unordered_map>
#include <iostream>
#include <cctype>
#include "Graphs/SVFG.h"
#include "Graphs/VFGNode.h"
#include "Graphs/VFGEdge.h"

Go to the source code of this file.

Namespaces
namespace	SVF
	for isBitcode

Functions
static void	SVF::collectLockFunctionMarkers (const OrderedSet< const CallICFGNode * > &mutexCallNodes, OrderedSet< const ICFGNode * > &sliceResult)