A user-guided approach to program analysis

87 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A Survey of Machine Learning for Big Code and Naturalness (2017, methodology): “One approach, taken by several authors [9, 127, 165, 171], is to relax formal systems into probabilistic.”
Automatically generating features for learning program analysis heuristics for C-like languages (2017, methodology): “Adding a mechanism for user feedback [Mangal et al. 2015] and further adjusting the learned heuristics online might help solve this problem.”
Securify: Practical Security Analysis of Smart Contracts (2018, methodology): “Following these ideas, the authors of [56] present a technique for automatic abstraction refinement for static analysis specified in Datalog, and in [44] the authors propose to involve the developer in the abstractionrefinement loop.”