Umeå University's logo

umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
INCREASING COMPLETENESS OF ANDROID BINARY CFGS IN ANGR
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2023 (engelsk)Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
Abstract [en]

Control Flow Graphs are widely used for static binary analysis today but their completeness is often lacking. The main problem when recovering Control Flow Graphs from binaries is indirect jump recovery where target addresses are stored in a register or memory. This problem is prevalent in the Python framework Angr when trying to generate a CFGFast for an Android binary compiled with the Bionic function __libc_init. At the moment an error is thrown, stating that the function static_exits, which resolves control flow transfers for AngrSimProcedures, is not implemented for the SimProcedure __libc_init. In this paper, the missing function static_exits is implemented and verified. An answer to how the implementation of static_exits affects the CFGFast completeness in Angr is also presented. To answer the research question an experiment was performed on 11 binaries compiled with the Bionic function __libc_init, where CFGFasts were recovered for each binary file using the implemented static_exits function. The results gathered show that the expected indirect jump performed in __libc_init was resolved for each of the 11 binaries. The conclusion from this paper is that the completeness of CFGFasts in Angr recovered from binaries compiled with the Bionic library did increase after implementing the static_exits function.

sted, utgiver, år, opplag, sider
2023.
Serie
UMNAD ; 1392
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-209810OAI: oai:DiVA.org:umu-209810DiVA, id: diva2:1767614
Utdanningsprogram
Bachelor of Science Programme in Computing Science
Veileder
Examiner
Tilgjengelig fra: 2023-06-15 Laget: 2023-06-14 Sist oppdatert: 2023-06-15bibliografisk kontrollert

Open Access i DiVA

fulltext(3070 kB)415 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 3070 kBChecksum SHA-512
23598380d8600e91a3be9c4f59e761da6ed7dbada6d126ec20397fdeb98121f79b92e1f83a4be0c60081f39a90b59a9477640414fda953b0bd9f50965cb6004b
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 415 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 330 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf