Compiler optimizations with retrofitting transformations: Is there a semantic mismatch?

Jay P. Lim; Vinod Ganapathy; Santosh Nagarakatte

doi:10.1145/3139337.3139343

Compiler optimizations with retrofitting transformations: Is there a semantic mismatch?

Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte

School of Arts and Sciences, Computer Science

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

2 Scopus citations

Abstract

A retrofitting transformation modifies an input program by adding instrumentation to monitor security properties at runtime. These tools often transform the input program in complex ways. Compiler optimizations can erroneously remove the instrumentation added by a retrofitting transformation in the presence of semantic mismatches between the assumptions of retrofitting transformations and compiler optimizations. This paper proposes a strategy to ascertain that every event of interest that is checked in the retrofitted program is also checked after optimizations. Our initial experiments have identified bugs both in previously proposed retrofitting transformations and our implementations of retrofitting transformations.

Original language	English (US)
Title of host publication	PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017
Publisher	Association for Computing Machinery, Inc
Pages	37-42
Number of pages	6
ISBN (Electronic)	9781450350990
DOIs	https://doi.org/10.1145/3139337.3139343
State	Published - Oct 30 2017
Event	12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017 - Dallas, United States Duration: Oct 30 2017 → …

Publication series

Name	PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017
Volume	2017-January

Other

Other	12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017
Country/Territory	United States
City	Dallas
Period	10/30/17 → …

All Science Journal Classification (ASJC) codes

Computational Theory and Mathematics
Computer Science Applications
Software

Access to Document

10.1145/3139337.3139343

Cite this

Lim, J. P., Ganapathy, V., & Nagarakatte, S. (2017). Compiler optimizations with retrofitting transformations: Is there a semantic mismatch? In PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017 (pp. 37-42). (PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017; Vol. 2017-January). Association for Computing Machinery, Inc. https://doi.org/10.1145/3139337.3139343

Lim, Jay P. ; Ganapathy, Vinod ; Nagarakatte, Santosh. / Compiler optimizations with retrofitting transformations : Is there a semantic mismatch?. PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017. Association for Computing Machinery, Inc, 2017. pp. 37-42 (PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017).

@inproceedings{7f3486d0b631403f8925f05e38b115c4,

title = "Compiler optimizations with retrofitting transformations: Is there a semantic mismatch?",

abstract = "A retrofitting transformation modifies an input program by adding instrumentation to monitor security properties at runtime. These tools often transform the input program in complex ways. Compiler optimizations can erroneously remove the instrumentation added by a retrofitting transformation in the presence of semantic mismatches between the assumptions of retrofitting transformations and compiler optimizations. This paper proposes a strategy to ascertain that every event of interest that is checked in the retrofitted program is also checked after optimizations. Our initial experiments have identified bugs both in previously proposed retrofitting transformations and our implementations of retrofitting transformations.",

author = "Lim, {Jay P.} and Vinod Ganapathy and Santosh Nagarakatte",

note = "Publisher Copyright: {\textcopyright} 2017 Association for Computing Machinery.; 12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017 ; Conference date: 30-10-2017",

year = "2017",

month = oct,

day = "30",

doi = "10.1145/3139337.3139343",

language = "English (US)",

series = "PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017",

publisher = "Association for Computing Machinery, Inc",

pages = "37--42",

booktitle = "PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017",

}

Lim, JP, Ganapathy, V & Nagarakatte, S 2017, Compiler optimizations with retrofitting transformations: Is there a semantic mismatch? in PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017. PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017, vol. 2017-January, Association for Computing Machinery, Inc, pp. 37-42, 12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017, Dallas, United States, 10/30/17. https://doi.org/10.1145/3139337.3139343

Compiler optimizations with retrofitting transformations : Is there a semantic mismatch? / Lim, Jay P.; Ganapathy, Vinod; Nagarakatte, Santosh.

PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017. Association for Computing Machinery, Inc, 2017. p. 37-42 (PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017; Vol. 2017-January).

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

TY - GEN

T1 - Compiler optimizations with retrofitting transformations

T2 - 12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017

AU - Lim, Jay P.

AU - Ganapathy, Vinod

AU - Nagarakatte, Santosh

PY - 2017/10/30

Y1 - 2017/10/30

N2 - A retrofitting transformation modifies an input program by adding instrumentation to monitor security properties at runtime. These tools often transform the input program in complex ways. Compiler optimizations can erroneously remove the instrumentation added by a retrofitting transformation in the presence of semantic mismatches between the assumptions of retrofitting transformations and compiler optimizations. This paper proposes a strategy to ascertain that every event of interest that is checked in the retrofitted program is also checked after optimizations. Our initial experiments have identified bugs both in previously proposed retrofitting transformations and our implementations of retrofitting transformations.

AB - A retrofitting transformation modifies an input program by adding instrumentation to monitor security properties at runtime. These tools often transform the input program in complex ways. Compiler optimizations can erroneously remove the instrumentation added by a retrofitting transformation in the presence of semantic mismatches between the assumptions of retrofitting transformations and compiler optimizations. This paper proposes a strategy to ascertain that every event of interest that is checked in the retrofitted program is also checked after optimizations. Our initial experiments have identified bugs both in previously proposed retrofitting transformations and our implementations of retrofitting transformations.

UR - http://www.scopus.com/inward/record.url?scp=85043400273&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85043400273&partnerID=8YFLogxK

U2 - 10.1145/3139337.3139343

DO - 10.1145/3139337.3139343

M3 - Conference contribution

AN - SCOPUS:85043400273

T3 - PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017

SP - 37

EP - 42

BT - PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017

PB - Association for Computing Machinery, Inc

Y2 - 30 October 2017

ER -

Lim JP, Ganapathy V, Nagarakatte S. Compiler optimizations with retrofitting transformations: Is there a semantic mismatch? In PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017. Association for Computing Machinery, Inc. 2017. p. 37-42. (PLAS 2017 - Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, co-located with CCS 2017). doi: 10.1145/3139337.3139343

Compiler optimizations with retrofitting transformations: Is there a semantic mismatch?

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this