Results 31 to 40 of about 6,185 (261)
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
PDF Malicious Indicators Extraction Technique Based on Improved Symbolic Execution [PDF]
Jisuanji kexueThe malicious PDF document is a common attack method used by APT organizations.Analyzing extracted indicators of embedded JavaScript code is an important means to determine the maliciousness of the documents.However,attackers can adopt high obfuscation ...
SONG Enzhou, HU Tao, YI Peng, WANG Wenbo
doaj +1 more source
On the Automatic Analysis of the Practical Resistance of Obfusting Transformations
Моделирование и анализ информационных систем, 2019 A method is developed for assessing the practical persistence of obfuscating transformations of programs based on the calculation of the similarity index for the original, obfuscated and deobfuscated programs.
Petr D. Borisov, Yu. V. Kosolapov
doaj +1 more source
Building security predicates for some types of vulnerabilities
Труды Института системного программирования РАН, 2018 Approaches for code execution using program vulnerabilities are considered in this paper. Particularly, ways of code execution using buffer overflow on stack and on heap, using use-after-free vulnerabilities and format string vulnerabilities are examined
A. N. Fedotov +3 more
doaj +1 more source
Noninterference via Symbolic Execution [PDF]
, 2012 Noninterference is a high-level security property that guarantees the absence of illicit information flow at runtime. Noninterference can be enforced statically using information flow type systems; however, these are criticized for being overly conservative and rejecting secure programs.
Milushev D., Beck W., Clarke D.
openaire +3 more sources
Molecular Oncology, EarlyView.Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq +8 more
wiley +1 more source
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis +4 more
doaj +1 more source