MTA ‐ MSli - SVF-tools/SVF GitHub Wiki

Multi-Stage On-Demand Program Slicing for Modular Analysis of Multi-Threaded Programs