Active Learning of Points-To Specifications

Osbert Bastani, Rahul Sharma, Alex Aiken +1

When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications th…