Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

Introduction

Scaler is the first pointer analysis that ensures scalability (as good as context insensitivity) while achieving great precision (comparable to, or better than the best scalable context-sensitive variants). The technical details of Scaler can be found in our paper titled " Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity", ESEC/FSE'18.

License

MIT License

Release

The source code, executable program and tutorial of Scaler are available at GitHub repository.

Artifact