NDLI: How to Build Static Checking Systems Using Orders of Magnitude Less Code (OPSR, Vol. 50, Issue. 2)

Content Provider	ACM Digital Library
Author	Engler, Dawson Nötzli, Andres Brown, Fraser
Abstract	Modern static bug finding tools are complex. They typically consist of hundreds of thousands of lines of code, and most of them are wedded to one language (or even one compiler). This complexity makes the systems hard to understand, hard to debug, and hard to retarget to new languages, thereby dramatically limiting their scope. This paper reduces checking system complexity by addressing a fundamental assumption, the assumption that checkers must depend on a full-blown language specification and compiler front end. Instead, our program checkers are based on drastically incomplete language grammars ("micro-grammars") that describe only portions of a language relevant to a checker. As a result, our implementation is tiny-roughly 2500 lines of code, about two orders of magnitude smaller than a typical system. We hope that this dramatic increase in simplicity will allow people to use more checkers on more systems in more languages. We implement our approach in μchex, a language-agnostic framework for writing static bug checkers. We use it to build micro-grammar based checkers for six languages (C, the C preprocessor, C++, Java, JavaScript, and Dart) and find over 700 errors in real-world projects.
Starting Page	143
Ending Page	157
Page Count	15
File Format	PDF
ISSN	01635980
DOI	10.1145/2954680.2872364
Journal	ACM SIGOPS Operating Systems Review (OPSR)
Volume Number	50
Issue Number	2
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1975-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Micro-grammars Parsing Bug finding Static analysis
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Hardware and Architecture Information Systems

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

How to Build Static Checking Systems Using Orders of Magnitude Less Code (CARN, Vol. 44, Issue. 2)

How to Build Static Checking Systems Using Orders of Magnitude Less Code

How to Build Static Checking Systems Using Orders of Magnitude Less Code (SIGP, Vol. 51, Issue. 4)

RID:Finding Reference Count Bugs with Inconsistent Path Pair Checking (OPSR, Vol. 50, Issue. 2)

Specifying and Checking File System Crash-Consistency Models (OPSR, Vol. 50, Issue. 2)

Pallas:Semantic-Aware Checking for Finding Deep Bugs in Fast Path (OPSR, Vol. 51, Issue. 2)

PIFT:Predictive Information-Flow Tracking (OPSR, Vol. 50, Issue. 2)

TxRace:Efficient Data Race Detection Using Commodity Hardware Transactional Memory (OPSR, Vol. 50, Issue. 2)

Scaling up Superoptimization (OPSR, Vol. 50, Issue. 2)

How to Build Static Checking Systems Using Orders of Magnitude Less Code (OPSR, Vol. 50, Issue. 2)

Similar Documents

How to Build Static Checking Systems Using Orders of Magnitude Less Code (CARN, Vol. 44, Issue. 2)

How to Build Static Checking Systems Using Orders of Magnitude Less Code

How to Build Static Checking Systems Using Orders of Magnitude Less Code (SIGP, Vol. 51, Issue. 4)

RID:Finding Reference Count Bugs with Inconsistent Path Pair Checking (OPSR, Vol. 50, Issue. 2)

Specifying and Checking File System Crash-Consistency Models (OPSR, Vol. 50, Issue. 2)

Pallas:Semantic-Aware Checking for Finding Deep Bugs in Fast Path (OPSR, Vol. 51, Issue. 2)

PIFT:Predictive Information-Flow Tracking (OPSR, Vol. 50, Issue. 2)

TxRace:Efficient Data Race Detection Using Commodity Hardware Transactional Memory (OPSR, Vol. 50, Issue. 2)

Scaling up Superoptimization (OPSR, Vol. 50, Issue. 2)

How to Build Static Checking Systems Using Orders of Magnitude Less Code (OPSR, Vol. 50, Issue. 2)