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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:liu:diva-110247ISRN: LIU-IDA/LITH-EX-A--14/041--SEOAI: oai:DiVA.org:liu-110247DiVA: diva2:743717
Subject / course
Information Technology
Supervisors
Examiners
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)298 downloads
File information
File name FULLTEXT01.pdfFile size 1169 kBChecksum SHA-512
6bff53077e5e4e5bf096dccd435425fc4730708573851f252b6ce615d0f80724c1a5790d501c3eb3d021e11fc2f42ee81bf4f830401e69e142a8ef0893924250
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: 298 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

urn-nbn

Altmetric score

urn-nbn
Total: 275 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf