Scala-AM: A Modular Static Analysis Framework

Quentin Stiévenart; Maarten Vandercammen; Wolfgang De Meuter; Coen De Roover

Scala-AM: A Modular Static Analysis Framework

Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

8 Citations (Scopus)

222 Downloads (Pure)

Abstract

We present Scala-AM, a modular framework for static analysis based on systematic abstraction of abstract machines. Scala-AM achieves modularity by separating operational semantics, abstract values and machine abstraction concerns via actions, thus enabling language designers, static analysis developers and machine abstraction experts to combine their efforts. This modularity enables us to support semantics for multiple languages, and to include multiple machine abstractions in our framework. Different operational semantics and machine abstractions can then be combined with minimal effort.
We evaluate our framework by demonstrating how it enables implementing machine abstractions independently of the operational semantics, and by instantiating the framework for a static taint analysis of Scheme.

Original language	English
Title of host publication	16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016
Pages	85-90
Number of pages	6
ISBN (Electronic)	978-1-5090-3848-0
Publication status	Published - 2016
Event	16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A. - Raleigh, United States Duration: 2 Oct 2016 → 3 Oct 2016 Conference number: 2016 http://www.ieee-scam.org/2016/

Conference

Conference	16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A.
Abbreviated title	SCAM
Country/Territory	United States
City	Raleigh
Period	2/10/16 → 3/10/16
Internet address	http://www.ieee-scam.org/2016/

Keywords

abstract interpretation
static analysis
framework

Access to Document

scam2016amAccepted author manuscript, 279 KB

Embargoed Document

scam2016am.pdf
Final published version, 212 KB

Cite this

@inproceedings{bdc7e619d5484aa28311f6e09c5beac2,

title = "Scala-AM: A Modular Static Analysis Framework",

abstract = "We present Scala-AM, a modular framework for static analysis based on systematic abstraction of abstract machines. Scala-AM achieves modularity by separating operational semantics, abstract values and machine abstraction concerns via actions, thus enabling language designers, static analysis developers and machine abstraction experts to combine their efforts. This modularity enables us to support semantics for multiple languages, and to include multiple machine abstractions in our framework. Different operational semantics and machine abstractions can then be combined with minimal effort.We evaluate our framework by demonstrating how it enables implementing machine abstractions independently of the operational semantics, and by instantiating the framework for a static taint analysis of Scheme.",

keywords = "abstract interpretation, static analysis, framework",

author = "Quentin Sti{\'e}venart and Maarten Vandercammen and {De Meuter}, Wolfgang and {De Roover}, Coen",

year = "2016",

language = "English",

pages = "85--90",

booktitle = "16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016",

note = "16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A., SCAM ; Conference date: 02-10-2016 Through 03-10-2016",

url = "http://www.ieee-scam.org/2016/",

}

Stiévenart, Q, Vandercammen, M , De Meuter, W & De Roover, C 2016, Scala-AM: A Modular Static Analysis Framework. in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016. pp. 85-90, 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A., Raleigh, North Carolina, United States, 2/10/16.

TY - GEN

T1 - Scala-AM: A Modular Static Analysis Framework

AU - Stiévenart, Quentin

AU - Vandercammen, Maarten

AU - De Meuter, Wolfgang

AU - De Roover, Coen

N1 - Conference code: 2016

PY - 2016

Y1 - 2016

N2 - We present Scala-AM, a modular framework for static analysis based on systematic abstraction of abstract machines. Scala-AM achieves modularity by separating operational semantics, abstract values and machine abstraction concerns via actions, thus enabling language designers, static analysis developers and machine abstraction experts to combine their efforts. This modularity enables us to support semantics for multiple languages, and to include multiple machine abstractions in our framework. Different operational semantics and machine abstractions can then be combined with minimal effort.We evaluate our framework by demonstrating how it enables implementing machine abstractions independently of the operational semantics, and by instantiating the framework for a static taint analysis of Scheme.

AB - We present Scala-AM, a modular framework for static analysis based on systematic abstraction of abstract machines. Scala-AM achieves modularity by separating operational semantics, abstract values and machine abstraction concerns via actions, thus enabling language designers, static analysis developers and machine abstraction experts to combine their efforts. This modularity enables us to support semantics for multiple languages, and to include multiple machine abstractions in our framework. Different operational semantics and machine abstractions can then be combined with minimal effort.We evaluate our framework by demonstrating how it enables implementing machine abstractions independently of the operational semantics, and by instantiating the framework for a static taint analysis of Scheme.

KW - abstract interpretation

KW - static analysis

KW - framework

M3 - Conference paper

SP - 85

EP - 90

BT - 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016

T2 - 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A.

Y2 - 2 October 2016 through 3 October 2016

ER -

Scala-AM: A Modular Static Analysis Framework

Abstract

Conference

Keywords

Access to Document

Embargoed Document

Fingerprint

Cite this