MTA Directory Reference

Files
	FSMPTA.h
	LockAnalysis.h
	MHP.h
	MTA.h
	MTASlicer.h
	MTAStat.h
	MTASVFGBuilder.h
	TCT.h

Detailed Description

MTA and MSli

This directory contains the public interfaces for SVF's multithreaded analysis (MTA) and the MSli multi-stage slicing implementation. See the MTA-MSli wiki page for an overview, benchmark inputs, build instructions, and usage examples.