Path-Aware Static Program Analyses for Specification Mining* - Mining Software Specifications: Methodologies and Applications - page 309

Chapter 9

Path-Aware Static Program Analyses
for Specification Mining *

Muralikrishna Ramanathan
Coverity, Inc.

Ananth Grama
Purdue University

Suresh Jagannathan
Purdue University

9.1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 310

9.1.1 Path-Aware Analyses ::::::::::::::::::::::::::::::::::::::::::::: 310

9.1.2 Dynamic versus Static Path Generation :::::::::::::::::::::::::: 311

9.1.3 Specication Inference :::::::::::::::::::::::::::::::::::::::::::: 312

9.1.4 Path Proles :::::::::::::::::::::::::::::::::::::::::::::::::::::: 313

9.2 Specication Inference :::::::::::::::::::::::::::::::::::::::::::::::::::: 314

9.2.1 Precedence Protocols :::::::::::::::::::::::::::::::::::::::::::::: 315

9.2.2 Preceded-By and Followed-By Relations :::::::::::::::::::::::::: 317

9.2.3 Dataow Predicates ::::::::::::::::::::::::::::::::::::::::::::::: 317

9.2.4 Formalization :::::::::::::::::::::::::::::::::::::::::::::::::::::: 321

9.2.5 Incorporating Mining ::::::::::::::::::::::::::::::::::::::::::::: 326

9.2.5.1

Mining Strategies :::::::::::::::::::::::::::::::::::::::: 327

9.2.5.2 The Structural Similarity Problem :::::::::::::::::::::: 330

9.2.6 Implementation :::::::::::::::::::::::::::::::::::::::::::::::::::: 331

9.2.7 Experimental Results ::::::::::::::::::::::::::::::::::::::::::::: 334

9.2.8 Quantitative Assessment :::::::::::::::::::::::::::::::::::::::::: 336

9.2.9 Qualitative Assessment ::::::::::::::::::::::::::::::::::::::::::: 337

9.2.9.1 Bug Detection ::::::::::::::::::::::::::::::::::::::::::: 339

9.3 Static Path Proles ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 339

9.3.1 Deriving Specications :::::::::::::::::::::::::::::::::::::::::::: 342

This chapter is based on: M. Ramanathan et al., \Static specication inference using
predicate mining," Proceedings of the 2007 ACM SIGPLAN Conference on Programming
Language Design and Implementation, c 2007 Association for Computing Machinery Inc.
Reprinted by permission.

309