Results 11 to 20 of about 432 (243)
BSFuzz: Branch-State Guided Hybrid Fuzzing [PDF]
Hybrid fuzzing is an automated software testing approach that synchronizes test cases between the fuzzer and the concolic executor to improve performance. The concolic executor solves path constraints to direct the fuzzer to explore the uncovered path.
Zhi Wang, Shuaibing Lu, Xiaohui Kuang
exaly +3 more sources
Practical Anti-Fuzzing Techniques With Performance Optimization [PDF]
Fuzzing, an automated software testing technique, has achieved remarkable success in recent years, aiding developers in identifying vulnerabilities. However, fuzzing can also be exploited by attackers to discover zero-day vulnerabilities. To counter this
Zhengxiang Zhou, Cong Wang
doaj +2 more sources
LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating [PDF]
To improve code coverage and flip complex program branches, hybrid fuzzers couple fuzzing with concolic execution. Despite its benefits, this strategy inherits the inherent slowness and memory bloat of concolic execution, due to path explosion and constraint solving.
Xianya Mi +3 more
openaire +4 more sources
Constructing More Complete Control Flow Graphs Utilizing Directed Gray-Box Fuzzing [PDF]
Control Flow Graphs (CFGs) provide fundamental data for many program analyses, such as malware analysis, vulnerability detection, code similarity analysis, etc.
Kailong Zhu +4 more
doaj +2 more sources
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing [PDF]
4 pages, 2 figures, International Conference on Fundamental Approaches to Software Engineering (FASE 2022)
Alshmrany, Kaled M. +3 more
core +5 more sources
Large Language Model assisted Hybrid Fuzzing [PDF]
20 pages, 8 ...
Ruijie Meng +2 more
openaire +3 more sources
ObFuzzer: Object-Oriented Hybrid Fuzzer for Binaries [PDF]
In recent years, coverage-guided technology has become the mainstream method of fuzzing. A coverage-guided fuzzer can guide a program to a new path (edge) so that previously untested code can be tested. As coverage-guided fuzzers have become more popular,
Xinglu He, Pengfei Wang, Kai Lu, Xu Zhou
doaj +2 more sources
To Force a Bug : Extending Hybrid Fuzzing [PDF]
En av de mer lovande lösningarna för automatiserad binärtestning är i dagsläget hybrid fuzzing, en kombination av två vedertagna tillvägagångssätt, fuzzing och symbolisk exekvering. Forskarna som utvecklade Angr och Driller anses ofta vara några av de första med att testa denna approach.
Näslund, Johan, Nero, Henrik
openaire +3 more sources
SCH-Hunter: A Taint-Based Hybrid Fuzzing Framework for Smart Contract Honeypots [PDF]
Existing smart contract honeypot detection approaches exhibit high false negatives and positives due to (i) their inability to generate transaction sequences triggering order-dependent traps and (ii) their limited code coverage from traditional fuzzing’s
Haoyu Zhang +3 more
doaj +2 more sources
Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper) [PDF]
Infrastructure as Code (IaC) has become a cornerstone of modern cloud and system deployment, enabling automated and repeatable infrastructure provisioning. However, ensuring the correctness of IaC programs remains challenging due to their complexity and dynamic nature.
Emilio Coppa +2 more
openaire +3 more sources

