Results 61 to 70 of about 99 (87)
Some of the next articles are maybe not open access.
Parameterized Search Heuristic Prediction for Concolic Execution
2023 30th Asia-Pacific Software Engineering Conference (APSEC), 2023Maryam Mouzarani
exaly +2 more sources
SIFOL: Solving Implicit Flows in Loops for Concolic Execution
2022 IEEE International Performance, Computing, and Communications Conference (IPCCC), 2022Hongsong Zhu, Zhihui Zhao
exaly +2 more sources
A Novel Concolic Execution Approach on Embedded Device
Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy, 2020With the widely use of embeded device, its security issues cause high attention. As one of the popular program testing techniques, symbolic execution tests a program by treating the program's input as symbols and interpreting the program over these inputs. Due to the complex environment and lackage of computing resources, there is no efficient symbolic
Chengwei Ai, Weiyu Dong, Zicong Gao
openaire +1 more source
A Partial-Lifting-Based Compiling Concolic Execution Approach
2021 IEEE 5th International Conference on Cryptography, Security and Privacy (CSP), 2021It has been a common phenomenon that embedded devices are used ubiquitously while the security of proprietary software running on devices has become more and more significant. These softwares are often presented to researchers in binary forms. Due to the lack of program semantics and meta information, it is very difficult to analyze manually in large ...
Haotian Zhang, Weiyu Dong, Jian Lin 0007
openaire +2 more sources
Detecting injection vulnerabilities in executable codes with concolic execution
2017 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), 2017Various methods have been suggested for detecting injection vulnerabilities in web-based applications by now. However, some injection vulnerabilities are not only web-based but also occur in stand-alone applications, i. e., SQL injection and OS command injection.
Maryam Mouzarani +2 more
openaire +1 more source
Annual Computer Security Applications Conference, 2020
With the rapid proliferation of IoT devices, our cyberspace is nowadays dominated by billions of low-cost computing nodes, which are very heterogeneous to each other. Dynamic analysis, one of the most effective approaches to finding software bugs, has become paralyzed due to the lack of a generic emulator capable of running diverse previously-unseen ...
Chen Cao 0004 +3 more
openaire +2 more sources
With the rapid proliferation of IoT devices, our cyberspace is nowadays dominated by billions of low-cost computing nodes, which are very heterogeneous to each other. Dynamic analysis, one of the most effective approaches to finding software bugs, has become paralyzed due to the lack of a generic emulator capable of running diverse previously-unseen ...
Chen Cao 0004 +3 more
openaire +2 more sources
Concolic Execution in Functional Programming by Program Instrumentation
2015Concolic execution, a combination of concrete and symbolic execution, has become increasingly popular in recent approaches to model checking and test case generation. In general, an interpreter of the language is augmented in order to also deal with symbolic values.
Adrián Palacios, Germán Vidal
openaire +2 more sources
Conpy: Concolic Execution Engine for Python Applications
2014Concolic execution has become a promising technique for program analysis in recent years, whereas it rarely applies to Python applications. In this work, we propose a concolic execution engine for Python applications named Conpy. Conpy is easy to deploy since it is written in pure Python and it is not dependent on any third-party tools.
Ting Chen 0002 +4 more
openaire +2 more sources
Concolic Execute Fuzzing Based on Control-Flow Analysis
2015 11th International Conference on Computational Intelligence and Security (CIS), 2015This paper proposes a method which utilizing taint analysis to reduce the unnecessary analysis routine, concentrating on the control-flow altering input using concolic (concrete and symbolic) execution procedure. A prototype, Concolic Fuzz is implemented based on this method, which is built on Pin platform at x86 binary level and using Z3 as the SMT ...
Jingxi Li, Xin Xu, Lejian Liao, Lu Li
openaire +2 more sources
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
2021Abstract State Machines (ASMs) are a well-known state based formal method to describe systems at a very high level and can be executed either through a concrete or symbolic interpretation. By symbolically executing an ASM specification, certain properties can be checked by transforming the described ASM into a suitable input for model checkers or ...
Philipp Paulweber +2 more
openaire +2 more sources