liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Generation of dynamic control-dependence graphs for binary programs
Linköping University, Department of Computer and Information Science, Database and information techniques. Linköping University, The Institute of Technology.
2014 (English)Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Dynamic analysis of binary files is an area of computer science that has many purposes. It is useful when it comes to debugging software in a development environment and the developer needs to know which statements affected the value of a specific variable. But it is also useful when analyzing a software for potential vulnerabilities, where data controlled by a malicious user could potentially result in the software executing adverse commands or executing malicious code.

In this thesis a tool has been developed to perform dynamic analysis of x86 binaries in order to generate dynamic control-dependence graphs over the execution. These graphs can be used to determine which conditional statements that resulted in a certain outcome. The tool has been developed for x86 Linux systems using the dynamic binary instrumentation framework PIN, developed and maintained by Intel.

Techniques for utilizing the additional information about the control flow for a program available during the dynamic analysis in order to improve the control flow information have been implemented and tested. The basic theory of dynamic analysis as well as dynamic slicing is discussed, and a basic overview of the implementation of a dynamic analysis tool is presented. The impact on the performance of the dynamic analysis tool for the techniques used to improve the control flow graph is significant, but approaches to improving the performance are discussed.

Place, publisher, year, edition, pages
2014. , 69 p.
Keyword [en]
control-dependencies, control-dependence graph, intel-pin, instrumentation, dynamic analysis, program analysis, dependence graph, dynamic dependence graph, control dependency, control flow analysis, control flow
National Category
Computer Science
URN: urn:nbn:se:liu:diva-110247ISRN: LIU-IDA/LITH-EX-A--14/041--SEOAI: diva2:743717
Subject / course
Information Technology
Available from: 2014-09-16 Created: 2014-09-04 Last updated: 2014-09-16Bibliographically approved

Open Access in DiVA

Generation of dynamic control-dependence graphs for binary programs(1169 kB)201 downloads
File information
File name FULLTEXT01.pdfFile size 1169 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Pogulis, Jakob
By organisation
Database and information techniquesThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 201 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 170 hits
ReferencesLink to record
Permanent link

Direct link