[DRAFT] [pulse] forget pure unknown calls when the memory they read is written - #2202

[DRAFT] [pulse] forget pure unknown calls when the memory they read is written#2202

VladimirMakaev wants to merge 4 commits into

facebook:mainfacebook/infer:mainfrom

VladimirMakaev:pulse-pure-calls-and-writesVladimirMakaev/infer:pulse-pure-calls-and-writesCopy head branch name to clipboard