Code Obfuscation to Prevent Symbolic Execution

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

PARSA S.; SALEHI H.; Alaeiyan m.h.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: JOURNAL OF ELECTRONIC AND CYBER DEFENCE Year:2018 | Volume:6 | Issue:1 (21) Page(s): 1-16

Download Full-Text

Persian Verion

View:

492

Download:

Cites:

Information Journal Paper

Title

Code Obfuscation to Prevent Symbolic Execution

Author(s)

PARSA S. | SALEHI H. | Alaeiyan m.h. | Issue Writer Certificate

Keywords

Symbolic ExecutionQ1

Path ExplosionQ1

Code ObfuscationQ1

Symbolic TreeQ1

Abstract InterpretationQ1

Interval Static AnalysisQ1

Abstract

"The software protection against analysis has become an important issue in the field of computer engineering. The Symbolic Execution method, as an approach to explore execution paths and conditions of the program, is recently considered. Therefore, developers try to protect their code to prevent against Symbolic Execution. A successful Symbolic Execution has extracted the provisions of all paths in the form of a Symbolic Tree. Therefore, we can prevent the Symbolic Execution of a program to protect the code in several different ways and hide paths from the view of analysts. This paper focused on obfuscating the condition for behavior so that in the case of Symbolic Execution analyst can not find the right conditions of a behavior. For this purpose, a new agenda is presented to add some new variables to the execution path that they are related to the program variables to confuse constraint solvers and build many new fake paths in the form of the Symbolic Tree. Results showed that symbolic analysis tools are unable to obtain all paths after obfuscation.

Cites

No record.

References

No record.

Cite

APA: Copy

PARSA, S., SALEHI, H., & Alaeiyan, m.h.. (2018). Code Obfuscation to Prevent Symbolic Execution. JOURNAL OF ELECTRONIC AND CYBER DEFENCE, 6(1 (21) ), 1-16. SID. https://sid.ir/paper/243259/en

Vancouver: Copy

PARSA S., SALEHI H., Alaeiyan m.h.. Code Obfuscation to Prevent Symbolic Execution. JOURNAL OF ELECTRONIC AND CYBER DEFENCE[Internet]. 2018;6(1 (21) ):1-16. Available from: https://sid.ir/paper/243259/en

IEEE: Copy

S. PARSA, H. SALEHI, and m.h. Alaeiyan, “Code Obfuscation to Prevent Symbolic Execution,” JOURNAL OF ELECTRONIC AND CYBER DEFENCE, vol. 6, no. 1 (21) , pp. 1–16, 2018, [Online]. Available: https://sid.ir/paper/243259/en

Related Journal Papers