Results 281 to 290 of about 842,701 (337)
Some of the next articles are maybe not open access.
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
Formal Methods in Computer-Aided Design, 2023Symbolic execution is a powerful verification tool for hardware designs, in particular for security validation. However, symbolic execution suffers from the path explosion problem in which the number of paths to explore grows exponentially with the ...
Kaki Ryan, C. Sturton
semanticscholar +1 more source
Processor Verification using Symbolic Execution: A RISC-V Case-Study
Design, Automation and Test in Europe, 2023We propose to leverage state-of-the-art symbolic execution techniques from the Software (SW) domain for processor verification at the Register-Transfer Level (RTL).
Niklas Bruns, V. Herdt, R. Drechsler
semanticscholar +1 more source
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023Heap-based vulnerabilities such as buffer overflow and use after free are severe flaws in various software systems. Detecting heap-based vulnerabilities and demonstrating their severity via generating exploits for them are of critical importance ...
Haoxin Tu
semanticscholar +1 more source
Compiling Parallel Symbolic Execution with Continuations
International Conference on Software Engineering, 2023Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance.
Guannan Wei +6 more
semanticscholar +1 more source
Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution
International Symposium on Software Testing and Analysis, 2022Symbolic detection has been widely used to detect vulnerabilities in smart contracts. Unfortunately, as reported, existing symbolic tools cost too much time, since they need to execute all paths to detect vulnerabilities.
Peilin Zheng, Zibin Zheng, Xiapu Luo
semanticscholar +1 more source
Learning to Explore Paths for Symbolic Execution
Conference on Computer and Communications Security, 2021Symbolic execution is a powerful technique that can generate tests steering program execution into desired paths. However, the scalability of symbolic execution is often limited by path explosion, i.e., the number of symbolic states representing the ...
Jingxuan He +3 more
semanticscholar +1 more source
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire +1 more source
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire +1 more source
Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms
Asia-Pacific Computer Systems Architecture Conference, 2021Existing symbolic execution typically assumes the analyzer can control the I/O environment and/or access the library code, which, however, is not the case when programs run on a remote proprietary execution environment managed by another party.
Lannan Luo +4 more
semanticscholar +1 more source
Synthesize solving strategy for symbolic execution
International Symposium on Software Testing and Analysis, 2021Symbolic execution is powered by constraint solving. The advancement of constraint solving boosts the development and the applications of symbolic execution.
Zhenbang Chen +6 more
semanticscholar +1 more source
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection
International Conference on Software Quality, Reliability and Security, 2021Many popular blockchain platforms support smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have demonstrated to lead to serious financial loss to their end users.
B. Jiang +4 more
semanticscholar +1 more source