ISL Memory Management Using Clang Static Analyzer

Malhar Thakkar and Ramakrishna Upadrasta

Presented at US LLVM Developers’ Meeting, 2018

GSoC 2017 Final Report: This project primarily involved the following two tasks: Analyze how the RetainCountChecker performs (in terms of true/false positives and true/false negatives) on the ISL codebase. Fix most of the true positives (due to missing annotations) and false positives by adding certain functionalities to the RetainCountChecker.