Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution

Authors:
Markus von Detten
Affiliations:
University of Paderborn, Paderborn, Germany
Venue:
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Year:
2011

Citing 11
Cited 1

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
AntiPatterns: refactoring software, architectures, and projects in crisis

AntiPatterns: refactoring software, architectures, and projects in crisis
Symbolic execution and program testing

Communications of the ACM
Towards pattern-based design recovery

Proceedings of the 24th International Conference on Software Engineering
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
Automatic Design Pattern Detection

IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Recognizing behavioral patterns atruntime using finite automata

Proceedings of the 2006 international workshop on Dynamic systems analysis
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Reverse engineering with the reclipse tool suite

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Symbolic PathFinder: symbolic execution of Java bytecode

Proceedings of the IEEE/ACM international conference on Automated software engineering
Improving Behavioral Design Pattern Detection through Model Checking

CSMR '10 Proceedings of the 2010 14th European Conference on Software Maintenance and Reengineering

PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns. The traces are collected by manually executing the program under study and therefore represent only part of all relevant program behavior. This can lead to false conclusions about the detected patterns. In this paper, we propose to generate all relevant program traces by using symbolic execution. In order to reduce the created trace data, we allow to limit the trace collection to a user-selectable subset of the statically detected pattern candidates.