Contract discovery from black-box components

Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Complex computer-controlled systems are commonly constructed in a middle-out fashion where existing subsystems and available components have a significant influence on system architecture and drive design decisions. During system design, the architect must verify that the components, put together as specified in the architecture, will achieve the desired system behavior. This typically leads to further design modifications or adjustments to requirements triggering another iteration of the design-verify cycle. For software components that are acquired from third-parties, often the only definitive source of information about the component's system-relevant behavior - its contract - is its object code. We posit that existing static and dynamic analysis techniques can be used to discover contracts that can help the system designer and specifically discuss how symbolic execution of object code may be particularly well-suited for this purpose.

Original languageEnglish (US)
Title of host publicationWASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018
EditorsVasant Honavar, Tien N. Nguyen, Gary T. Leavens, Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen
PublisherAssociation for Computing Machinery, Inc
Pages5-8
Number of pages4
ISBN (Electronic)9781450360579
DOIs
StatePublished - Nov 9 2018
Event1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI 2018, Co-located with the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018 - Lake Buena Vista, United States
Duration: Nov 9 2018 → …

Publication series

NameWASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018

Conference

Conference1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI 2018, Co-located with the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018
CountryUnited States
CityLake Buena Vista
Period11/9/18 → …

Keywords

  • Binary analysis
  • Contract discovery
  • Symbolic execution

Fingerprint Dive into the research topics of 'Contract discovery from black-box components'. Together they form a unique fingerprint.

  • Cite this

    Sharma, V., Byun, T., McCamant, S., Rayadurgam, S., & Heimdahl, M. P. E. (2018). Contract discovery from black-box components. In V. Honavar, T. N. Nguyen, G. T. Leavens, R. Dyer, H. Rajan, & H. A. Nguyen (Eds.), WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018 (pp. 5-8). (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018). Association for Computing Machinery, Inc. https://doi.org/10.1145/3278177.3278179