Directed Automated Memory Performance Testing

被引：17

作者：

Chattopadhyay, Sudipta ^{[1
]}

机构：

[1] Singapore Univ Technol & Design, Singapore, Singapore

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II | 2017年 / 10206卷

关键词：

CACHE;

D O I：

10.1007/978-3-662-54580-5_3

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Understanding software non-functional properties (e.g. time, energy and security) requires deep understanding of the execution platform. The design of caches plays a crucial role in impacting software performance (for low latency of caches) and software security (for cache being used as a side channel). We present CATAPULT, a novel test generation framework to systematically explore the cache behaviour of an arbitrary program. Our framework leverages dynamic symbolic execution and satisfiability modulo theory (SMT) solvers for generating test inputs. We show the application of CATAPULT in testing timing-related properties and testing cache side-channel vulnerabilities in several opensource programs, including applications from OpenSSL and Linux GDK libraries.

引用

页码：38 / 55

页数：18

共 18 条

[1]

Abel A, 2013, IEEE REAL TIME, P65, DOI 10.1109/RTAS.2013.6531080

[2] SimpleScalar: An infrastructure for computer system modeling [J].

Austin, T ;

Larson, E ;

Ernst, D .

COMPUTER, 2002, 35 (02) :59-+

[3] Static Analysis Driven Cache Performance Testing [J].

Banerjee, Abhijeet ;

Chattopadhyay, Sudipta ;

Roychoudhury, Abhik .

IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), 2013, :319-329

[4]

BARRETT P, 1987, LECT NOTES COMPUT SC, V263, P311

[5] System-level Non-interference for Constant-time Cryptography [J].

Barthe, Gilles ;

Betarte, Gustavo ;

Diego Campo, Juan ;

Luna, Carlos ;

Pichardie, David .

CCS'14: PROCEEDINGS OF THE 21ST ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2014, :1267-1279

[6]

Cerny Pavol, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P243, DOI 10.1007/978-3-642-22110-1_20

[7]

Chattopadhyay S., DIRECTED AUTOMATED M

[8]

Chattopadhyay S., 2014, EMSOFT

[9]

Chattopadhyay S., 2016, CORR

[10] MESS: Memory Performance Debugging on Embedded Multi-core Systems [J].

Chattopadhyay, Sudipta .

MODEL CHECKING SOFTWARE, SPIN 2015, 2015, 9232 :105-125

← 1 2 →