Tapti Palit

SVF’s Field-Sensitivity: Handling of GEP Edges

5 min read · September 21, 2020

2020
SVF Implementation of Andersen’s Analysis

6 min read · September 21, 2020

2020
Points-to Analysis: Intro

4 min read · September 21, 2020

2020
Field Sensitive Pointer Analysis

2 min read · September 21, 2020

2020
Equivalence of analysis in C Source Code and IR

1 min read · September 21, 2020

2020