Smart Contract Fuzzing Based on Taint Analysis and Genetic Algorithms
نویسندگان
چکیده
منابع مشابه
A Taint Based Smart Fuzzing Approach for Integer Overflow Vulnerability Detection
-Fuzzing is one of the most commonly used methods to detect software vulnerabilities which are one major cause of information security incidents. The basic idea of fuzzing is to discover software vulnerabilities by feeding unexpected input and monitoring abnormal behaviors. Although it has advantages of simple design and low error report, its efficiency is usually poor. In this paper we present...
متن کاملStatic Exploration of Taint-Style Vulnerabilities Found by Fuzzing
Taint-style vulnerabilities comprise a majority of fuzzer discovered program faults. These vulnerabilities usually manifest as memory access violations caused by tainted program input. Although fuzzers have helped uncover a majority of taint-style vulnerabilities in software to date, they are limited by (i) extent of test coverage; and (ii) the availability of fuzzable test cases. Therefore, fu...
متن کاملOptimization of Actuators in Smart Truss Based on Genetic Algorithms
Actuators formed from piezoelectric ceramics were embedded in truss rods to make up active rods. The paper used mechanical knowledge, static stiffness method and the finite element method to analyze the active rod and the smart truss structure and then model them. In order to solve the difficult problem of number optimization, the paper put forward the actuator existence variable and optimized ...
متن کاملWell-typed generic smart-fuzzing for APIs
Despite recent advances in program certification, testing remains a widely-used component of the software development cycle. Various flavours of testing exist: popular ones include unit testing, which consists in manually crafting test cases for specific parts of the code base, as well as QuickCheck-style testing, where instances of a type are automatically generated to serve as test inputs. Th...
متن کاملBased on Genetic algorithms
Many Multiple Objective Genetic Algorithms (MOGAs) have been designed to solve problems with multiple conflicting objectives. Incremental approach can be used to enhance the performance of various MOGAs, which was developed to evolve each objective incrementally. For example, by applying the incremental approach to normal MOGA, the obtained Incremental Multiple Objective Genetic Algorithm (IMOG...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Hiding and Privacy Protection
سال: 2020
ISSN: 2637-4226
DOI: 10.32604/jihpp.2020.010331