Results 51 to 60 of about 842,701 (337)
Research on construction of conditional exception code used in branch obfuscation
网络与信息安全学报, 2020 Using conditional exception code construction and exception handler to replace conditional jump code, the branch obfuscation get the right branch selection, but the address of branch point was concealed, so this obfuscation method can defeat symbolic ...
GENG Pu, ZHU Yuefei
doaj +3 more sources
Formalization of Error Criteria for static symbolic execution
Труды Института системного программирования РАН, 2018 This paper is devoted to the formalization of the error criteria for program static analysis, based on symbolic execution. Using the original error criteria of symbolic execution approach in program static analysis leads to an excessive number of false ...
V. K. Koshelev
doaj +1 more source
Type and interval aware array constraint solving for symbolic execution
International Symposium on Software Testing and Analysis, 2021 Array constraints are prevalent in analyzing a program with symbolic execution. Solving array constraints is challenging due to the complexity of the precise encoding for arrays.
Ziqi Shuai +4 more
semanticscholar +1 more source
Source code for the symbolic TopHat execution engine
, 2020 Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st Symposium on Implementationand Application of Functional Languages, National ...
Klinik, M.A.A. (Radboud University) DAI=info:eu-repo/dai/nl/428253210 +2 more
core +1 more source
Security protocol code analysis method combining model learning and symbolic execution
网络与信息安全学报, 2021 Symbolic execution can comprehensively analyze program execution space in theory, but it is not feasible in practice for large programs like security protocols, due to the explosion of path space and the limitation of difficulty in solving path ...
ZHANG Xieli, ZHU Yuefei, GU Chunxiang, CHEN Xi
doaj +3 more sources
Testcase Synchronization Method for Hybrid Fuzzing Based on Keypoints
工程科学与技术, 2022 The hybrid fuzzing technique leverages the symbolic execution techniques and the fuzz testing techniques to achieve complementary goals. The synchronization of testcase is the key to collaborate between modules.
Lei ZHAO +3 more
doaj
Test Readability Optimization in Context of Symbolic Execution
Труды Института системного программирования РАН, 2018 Software testing is a time consuming process. In general, software companies spend about 50% of development time on testing. On the other hand, lack of testing implies financial and other risks.
I. A. Yakimov, A. S. Kuznetsov
doaj +1 more source
Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
Научно-технический вестник информационных технологий, механики и оптикиSymbolic execution is a widely used method for the systematic study of program execution paths; it allows solving a number of important problems related to verification of correctness: searching for errors and vulnerabilities, automatic test generation ...
A. V. Misonizhnik +4 more
doaj +1 more source
Ffuzz: Towards full system high coverage fuzz testing on binary executables. [PDF]
PLoS ONE, 2018 Bugs and vulnerabilities in binary executables threaten cyber security. Current discovery methods, like fuzz testing, symbolic execution and manual analysis, both have advantages and disadvantages when exercising the deeper code area in binary ...
Bin Zhang +4 more
doaj +1 more source
Killing Stubborn Mutants with Symbolic Execution [PDF]
ACM Transactions on Software Engineering and Methodology, 2020 We introduce SEMu, a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable mutants that remain undetected after a reasonable amount of testing). SEMu aims at mutant propagation (triggering erroneous
T. Chekam +3 more
semanticscholar +1 more source