Static Code Analyzer Using Micro-Grammar
Software Engineering
2022-08-16 v2
Abstract
[THIS IS AN UNDERGRADUATE PROJECT] This paper discusses the effectiveness of the bug finder based on "micro-grammar".
Cite
@article{arxiv.2112.08010,
title = {Static Code Analyzer Using Micro-Grammar},
author = {Hanwen Zhu and Junyoung Jang and Xujie Si},
journal= {arXiv preprint arXiv:2112.08010},
year = {2022}
}
Comments
4 pages
Related papers
View all related →
Software Engineering · Computer Science
Neural Bug Finding: A Study of Opportunities and Challenges
Andrew Habib, Michael Pradel
2019-06-04
Software Engineering · Computer Science
Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
Junjie Li, Jinqiu Yang
2024-01-24
Software Engineering · Computer Science
An Approach to Detecting Bugs in Pattern-Based Bug Detectors
Junjie Wang, Yuchao Huang, Song Wang, Qing Wang
2021-12-24
Software Engineering · Computer Science
Automated Program Analysis for Novice Programmers
Tim Blok, Ansgar Fehnker
2017-10-03
Software Engineering · Computer Science
Systematic Debugging of Attribute Grammars
Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita +1
2007-05-23
Software Engineering · Computer Science
Understanding Static Code Warnings: an Incremental AI Approach
Xueqi Yang, Zhe Yu, Junjie Wang, Tim Menzies
2020-10-23
Software Engineering · Computer Science
Deploying Static Analysis
Flash Sheridan
2022-02-25
Software Engineering · Computer Science
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian
2025-06-03
Software Engineering · Computer Science
Static Analyzers and Potential Future Research Directions for Scala: An Overview
Eljose E Sajan, Yunpeng Zhang, Liang-Chieh Cheng
2019-05-14
Software Engineering · Computer Science
Learning to Reduce False Positives in Analytic Bug Detectors
Anant Kharkar, Roshanak Zilouchian Moghaddam, Matthew Jin, Xiaoyu Liu +3
2022-03-21
Formal Languages and Automata Theory · Computer Science
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
Vlad-Alexandru Teodorescu, Dorel Lucanu
2024-11-01
Software Engineering · Computer Science
Comparing Bug Finding Tools with Reviews and Tests
Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
2017-11-15
Software Engineering · Computer Science
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji +1
2016-09-22
Software Engineering · Computer Science
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
2021-11-11
Software Engineering · Computer Science
A Proposal for a Debugging Learning Support Environment for Undergraduate Students Majoring in Computer Science
Aoi Kanaya, Takuma Migo, Hiroaki Hashiura
2024-07-26
Software Engineering · Computer Science
Towards Better Static Code Analysis Reports: Sentence Transformer-based Filtering of Non-Actionable Alerts
Tamás Aladics, Norbert Vándor, Rudolf Ferenc, Péter Hegedűs
2026-04-21
Programming Languages · Computer Science
Danger Invariants
Cristina David, Daniel Kroening, Matt Lewis
2015-03-19
Software Engineering · Computer Science
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
2023-11-17
Artificial Intelligence · Computer Science
A Smart and Defensive Human-Machine Approach to Code Analysis
Fitzroy D. Nembhard, Marco M. Carvalho
2021-08-27
Software Engineering · Computer Science
Infrared: A Meta Bug Detector
Chi Zhang, Yu Wang, Linzhang Wang
2022-09-20
Programming Languages · Computer Science
Active Learning of Input Grammars
Matthias Höschele, Alexander Kampmann, Andreas Zeller
2017-08-30
Machine Learning · Computer Science
Self-Supervised Bug Detection and Repair
Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
2021-11-17
Software Engineering · Computer Science
BugSpotter: Automated Generation of Code Debugging Exercises
Victor-Alexandru Pădurean, Paul Denny, Adish Singla
2024-11-26
Software Engineering · Computer Science
SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models
Mohammad Mahdi Mohajer, Reem Aleithan, Nima Shiri Harzevili, Moshi Wei +3
2023-12-19
Software Engineering · Computer Science
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study
Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
2017-04-12