Results 21 to 30 of about 842,701 (337)
SENinja: A symbolic execution plugin for Binary Ninja
SoftwareX, 2022 Symbolic execution is a program analysis technique that aims to automatically identify interesting inputs for an application, using them to generate program executions covering different parts of the code.
Luca Borzacchiello +2 more
doaj +1 more source
Speculative Symbolic Execution [PDF]
2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012 14 pages, 15 ...
Yufeng Zhang 0001 +2 more
openaire +2 more sources
Mutation‐inspired symbolic execution for software testing
IET Software, 2022 Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE)
Kevin J. Valle‐Gómez +3 more
doaj +1 more source
SymQEMU: Compilation-based symbolic execution for binaries
Network and Distributed System Security Symposium, 2021 —Symbolic execution is a powerful technique for software analysis and bug detection. Compilation-based symbolic execution is a recently proposed flavor that has been shown to improve the performance of symbolic execution significantly when source code is ...
Sebastian Poeplau, Aurélien Francillon
semanticscholar +1 more source
Metrics for code obfuscation based on symbolic execution and N-scope complexity
网络与信息安全学报, 2022 Code obfuscation has been well developed as mitigated endogenous security technology, to effectively resist MATE attacks (e.g.reverse engineering).And it also has important value for the reasonable metrics of code obfuscation effect.Since symbolic ...
Yuqiang XIAO, Yunfei GUO, Yawen WANG
doaj +3 more sources
CSEFuzz: Fuzz Testing Based on Symbolic Execution
IEEE Access, 2020 Fuzz testing has been successful in finding defects of various software packages. These defects include file parsing, image processing, Internet browsers, and network protocols.
Zhangwei Xie +4 more
doaj +1 more source
Combining static analysis error traces with dynamic symbolic execution (experience paper)
International Symposium on Software Testing and Analysis, 2022 This paper reports on our experience implementing a technique for sifting through static analysis reports using dynamic symbolic execution. Our insight is that if a static analysis tool produces a partial trace through the program under analysis ...
Frank Busse +3 more
semanticscholar +1 more source
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts [PDF]
International Conference on Automated Software Engineering, 2019 An effective way to maximize code coverage in software tests is through dynamic symbolic execution—a technique that uses constraint solving to systematically explore a program's state space.
Mark Mossberg +7 more
semanticscholar +1 more source
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution [PDF]
2021 Ivannikov Memorial Workshop (IVMEM), 2021 Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection.
D. Kuts
semanticscholar +1 more source
Compact Symbolic Execution [PDF]
, 2013 This is a full version of the paper accepted to ATVA ...
Jiri Slaby, Jan Strejcek, Marek Trtík
openaire +2 more sources