Learning a Static Analyzer from Data

v1v2 (latest)

Learning a Static Analyzer from Data

6 November 2016

Veselin Raychev

Martin Vechev

ArXiv (abs)PDF HTML

Papers citing "Learning a Static Analyzer from Data"

13 / 13 papers shown

Title
Leveraging Reward Models for Guiding Code Review Comment Generation Oussama Ben Sghaier Rosalia Tufano Gabriele Bavota Houari Sahraoui 14 0 0 04 Jun 2025
RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot Spandan Garg Roshanak Zilouchian Moghaddam Neel Sundaresan 176 10 0 10 Jan 2025
Beware of the Unexpected: Bimodal Taint Analysis Yiu Wai Chow Max Schäfer Michael Pradel 63 19 0 25 Jan 2023
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection Benjamin Steenhoek Hongyang Gao Wei Le 100 35 0 15 Dec 2022
CodeQueries: A Dataset of Semantic Queries over Code Surya Prakash Sahu Madhurima Mandal Shikhar Bharadwaj Aditya Kanade Petros Maniatis S. Shevade 46 5 0 17 Sep 2022
DeepPERF: A Deep Learning-Based Approach For Improving Software Performance Spandan Garg Roshanak Zilouchian Moghaddam Colin B. Clement Neel Sundaresan Chen Henry Wu 76 8 0 27 Jun 2022
Learning to Reduce False Positives in Analytic Bug Detectors Anant Kharkar Roshanak Zilouchian Moghaddam Matthew Jin Xiaoyu Liu Xin Shi Colin B. Clement Neel Sundaresan 64 44 0 08 Mar 2022
JavaBERT: Training a transformer-based model for the Java programming language Nelson Tavares de Sousa Wilhelm Hasselbring 34 13 0 20 Oct 2021
Deep Data Flow Analysis Chris Cummins Hugh Leather Zacharias V. Fisches Tal Ben-Nun Torsten Hoefler Michael F. P. O'Boyle 53 4 0 21 Nov 2020
Learning Graph Structure With A Finite-State Automaton Layer Daniel D. Johnson Hugo Larochelle Daniel Tarlow GNN AI4CE 62 17 0 09 Jul 2020
Adversarial Robustness for Code Pavol Bielik Martin Vechev AAML 66 88 0 11 Feb 2020
CORE: Automating Review Recommendation for Code Changes J. Siow Cuiyun Gao Lingling Fan Sen Chen Yang Liu 80 58 0 20 Dec 2019
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge Wasuwee Sodsong Bernhard Scholz Sanjay Chawla 45 1 0 03 Nov 2017