中文
相关论文

相关论文: Greybox fuzzing time-intensive programs

200 篇论文

Fuzz Testing techniques are the state of the art in software testing for security issues nowadays. Their great effectiveness attracted the attention of researchers and hackers and involved them in developing a lot of new techniques to…

密码学与安全 · 计算机科学 2021-02-09 Andrea Fioraldi , Luigi Paolo Pileggi

Program analysis and automated testing have recently become an essential part of SSDLC. Directed greybox fuzzing is one of the most popular automated testing methods that focuses on error detection in predefined code regions. However, it…

密码学与安全 · 计算机科学 2026-02-02 Darya Parygina , Timofey Mezhuev , Daniil Kuts

Coverage-guided fuzzers are powerful automated bug-finding tools. They mutate program inputs, observe coverage, and save any input that hits an unexplored path for future mutation. Unfortunately, without knowledge of input formats--for…

密码学与安全 · 计算机科学 2025-07-09 Harrison Green , Claire Le Goues , Fraser Brown

A flurry of fuzzing tools (fuzzers) have been proposed in the literature, aiming at detecting software vulnerabilities effectively and efficiently. To date, it is however still challenging to compare fuzzers due to the inconsistency of the…

Coverage-based graybox fuzzer (CGF), such as AFL has gained great success in vulnerability detection thanks to its ease-of-use and bug-finding power. Since some code fragments such as memory allocation are more vulnerable than others,…

密码学与安全 · 计算机科学 2021-03-02 Wenshuo Wang , Liang Cheng , Yang Zhang

Software fuzzing is a strong testing technique that has become the de facto approach for automated software testing and software vulnerability detection in the industry. The random nature of fuzzing makes monitoring and understanding the…

软件工程 · 计算机科学 2021-12-28 Aftab Hussain , Mohammad Amin Alipour

gVisor is a Google-published application-level kernel for containers. As gVisor is lightweight and has sound isolation, it has been widely used in many IT enterprises \cite{Stripe, DigitalOcean, Cloundflare}. When a new vulnerability of the…

密码学与安全 · 计算机科学 2024-09-23 Yuwei Li , Yuan Chen , Shouling Ji , Xuhong Zhang , Guanglu Yan , Alex X. Liu , Chunming Wu , Zulie Pan , Peng Lin

Integration of physics and machine learning in virtual flow metering applications is known as gray-box modeling. The combination is believed to enhance multiphase flow rate predictions. However, the superiority of gray-box models is yet to…

系统与控制 · 电气工程与系统科学 2021-10-12 M. Hotvedt , B. Grimstad , D. Ljungquist , L. Imsland

Magboltz is widely used to compute electron transport properties in gas mixtures for detector applications. Its text-based workflow, however, can be a barrier for routine use, especially for users who are not already familiar with the…

计算物理 · 物理学 2026-04-03 Michele Renda. Dan Andrei Ciubotaru , Călin Alexa

Fuzzing has become a widely adopted technique for vulnerability discovery, yet it remains ineffective for structured-input programs due to strict syntactic constraints and limited semantic awareness. Traditional greybox fuzzers rely on…

密码学与安全 · 计算机科学 2026-04-21 Yihao Zou , Tianming Zheng , Futai Zou , Yue Wu

Fingerprinting of services and operating systems is an essential part of penetration tests. In order to successfully penetrate the computing system's security measurements, preexisting fingerprinting methods are described and the paradigm…

密码学与安全 · 计算机科学 2014-03-04 Michael Hanspach

Fuzzing is utilized for testing software and systems for cybersecurity risk via the automated adaptation of inputs. It facilitates the identification of software bugs and misconfigurations that may create vulnerabilities, cause abnormal…

密码学与安全 · 计算机科学 2023-06-08 Jack Hance , Jeremy Straub

Directed fuzzing focuses on automatically testing specific parts of the code by taking advantage of additional information such as (partial) bug stack trace, patches or risky operations. Key applications include bug reproduction, patch…

密码学与安全 · 计算机科学 2020-08-18 Manh-Dung Nguyen , Sébastien Bardin , Richard Bonichon , Roland Groz , Matthieu Lemerre

Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only in a certain state, a fuzzer needs to provide a specific…

密码学与安全 · 计算机科学 2023-06-06 Jinsheng Ba , Marcel Böhme , Zahra Mirzamomen , Abhik Roychoudhury

Open-world video games present a broader search space than other video games, posing challenges for test automation. Fuzzing, which generates new inputs by mutating an initial input, is commonly used to uncover issues. In this study, we…

软件工程 · 计算机科学 2025-11-12 Yusaku Kato , Norihiro Yoshida , Erina Makihara , Katsuro Inoue

Machine learning models are notoriously difficult to interpret and debug. This is particularly true of neural networks. In this work, we introduce automated software testing techniques for neural networks that are well-suited to discovering…

机器学习 · 统计学 2018-07-31 Augustus Odena , Ian Goodfellow

Program fuzzing---providing randomly constructed inputs to a computer program---has proved to be a powerful way to uncover bugs, find security vulnerabilities, and generate test inputs that increase code coverage. In many applications,…

软件工程 · 计算机科学 2020-05-05 Zi Wang , Ben Liblit , Thomas Reps

Fuzzing is one of the prevailing methods for vulnerability detection. However, even state-of-the-art fuzzing methods become ineffective after some period of time, i.e., the coverage hardly improves as existing methods are ineffective to…

密码学与安全 · 计算机科学 2021-12-15 Shunkai Zhu , Jingyi Wang , Jun Sun , Jie Yang , Xingwei Lin , Liyi Zhang , Peng Cheng

Among the many software vulnerability discovery techniques available today, fuzzing has remained highly popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of empirical evidence in discovering…

密码学与安全 · 计算机科学 2019-04-09 Valentin J. M. Manes , HyungSeok Han , Choongwoo Han , Sang Kil Cha , Manuel Egele , Edward J. Schwartz , Maverick Woo

Modern processor advancements have introduced security risks, particularly in the form of microarchitectural timing attacks. High-profile attacks such as Meltdown and Spectre have revealed critical flaws, compromising the entire system's…

密码学与安全 · 计算机科学 2024-10-23 Congcong Chen , Jinhua Cui , Jiliang Zhang