SCORE: Source Code Optimization & REconstruction

Autor: Jae Hyuk Suk, Young Bi Lee, Dong Hoon Lee

Publikováno v: IEEE Access, Vol 8, Pp 129478-129496 (2020)

The main goal of obfuscation is to make software difficult to analyze. Although obfuscation is one useful method to protect programs, the ability to analyze malware is greatly reduced if used for malicious purposes. The obfuscation technique is most

Externí odkaz: https://doaj.org/article/fba16a1144ba44e080e090a456b4b119

Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution

Autor: Peterson, Thomas

In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow a

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-271208

Ein Multi-Architektur Decompiler

Autor: Wagner, Thomas

Eine wichtige Aufgabe in der Abwehr von digitalen Bedrohungen ist das Analysieren und anschlie��ende R��ckentwickeln von Programmen. Es ist essenziell Schadsoftware zu verstehen, um ausgenutzte Schwachstellen in Systemen zu finden, um sich vo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::81cc1429c6db5b8e465c1d46440c4e7d

Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems

Autor: Kleinsorge, Jan C.

Traditional timing analysis for hard real-time systems is a two-step approach consisting of isolated per-task timing analysis and subsequent scheduling analysis which is conceptually entirely separated and is based only on execution time bounds of wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2182b9330babff97b1379f9f98824dd2

State Space Reduction of Linear Processes Using Control Flow Reconstruction

Autor: van de Pol, Jan Cornelis, Timmer, Mark, Liu, Zhiming, Ravn, Anders P.

Publikováno v: Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, 54-68
STARTPAGE=54;ENDPAGE=68;TITLE=Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783642047602
ATVA

We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear process equations (LPEs). Our method consists of two steps: (1) we reconstruct the LPE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98aa9812704e36dbb72367f70fc0f99b
https://research.utwente.nl/en/publications/state-space-reduction-of-linear-processes-using-control-flow-reconstruction(aa1e09ba-dac2-4b6d-8d4e-76ac766e1d75).html