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

Onderzoeksoutput: Conference paper

8 Citaten (Scopus)

232 Downloads (Pure)

Samenvatting

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.

Originele taal-2	English
Titel	16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016
Pagina's	85-90
Aantal pagina's	6
ISBN van elektronische versie	978-1-5090-3848-0
Status	Published - 2016
Evenement	16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2-3 October 2016, Raleigh, NC, U.S.A. - Raleigh, United States Duur: 2 okt 2016 → 3 okt 2016 Congresnummer: 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.
Verkorte titel	SCAM
Land/Regio	United States
Stad	Raleigh
Periode	2/10/16 → 3/10/16
Internet adres	http://www.ieee-scam.org/2016/

Toegang tot document

scam2016amAccepted author manuscript, 279 KB

Document onder embargo

scam2016am.pdf
Final published version, 212 KB

Citeer dit

@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. blz. 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

Samenvatting

Conference

Toegang tot document

Document onder embargo

Vingerafdruk

Citeer dit