7 citations · 13 across the 9 of their papers we have counts for
3 papers · 1 filter
Eventually Sound Points-To Analysis with Missing Code
Osbert Bastani, Lazaro Clapp, Saswat Anand +2
Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be ana…
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…
LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Saswat Padhi, Rahul Sharma, Todd Millstein
We describe the LoopInvGen tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification. LoopInvGen is an efficien…