[论文解读]TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing,程序员大本营,技术文章内容聚合第一站。
本文:CocoFuzzing Task: test ML Models, test code processing models 方法:10 mutators to automatically generate validly and semantically preserving source code test cases + neuron coverage-based 实验: 对象:NeuralCodeSum, Code2Seq, Code2Vec 效果 证明了能产生validly and semantically preserving examples ...
1 Tardis: Coverage-Guided Embedded Operating System Fuzzing Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi and Yu Jiang Abstract—Embedded Operating Systems are extensively de- ployed in many mission-critical industrial scenarios. Any de- fects within ...
From a fuzzing perspective, what’s common to all these different responses is that they dramatically limit our code coverage. To increase it, we should find a way to satisfy these protocol requests. As an example, let’s take a look atTcgDxefrom the firmware image of our ...
Coverage-guided fuzzing is one of the most efficient methods to discover vulner- abilities (Manèset al. 2019). Although numerous research work have been proposed to improve the effectiveness of coverage-guided fuzzing (Lyu et al. 2019; Yue et al. 2020; Böhme et al. 2017; Rawat...
Proj CDeepFuzz Paper Reading: TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing Abstract 背景: In property-based testing(PBT), one asserts properties that a function should satisfy and the system automatically generates tests exercising those properties...
we propose a coverage-guided fuzzing framework NDFuzz for virtualized network devices with a novel integrity protec-tion bypassing method,which is able to distinguish processes of virtualized network devices from hypervisors with a carefully designed non-intrusive page global directory inference technique....
Example extract of coverage-guided fuzzing configuration YAMLCopy to clipboard stages:- fuzzinclude:-template:Coverage-Fuzzing.gitlab-ci.ymlmy_fuzz_target:extends:.fuzz_basescript:# Build your fuzz target binary in these steps, then run it with gitlab-cov-fuzz# See our example repos for how yo...
ChallengeTracing userland processes is a vital step in applying coverage-guided fuzzing to VNFs. The integrity protection commonly adopted by existing VNFs poses a critical challenge: how to trace a specific userland process of VNFs through the hypervisor in anon-intrusiveway?
. JQF uses the abstraction ofproperty-based testing, which makes it nice to write fuzz drivers as parameteric JUnit test methods. JQF is built on top ofjunit-quickcheck. JQF enables running junit-quickcheck style parameterized unit tests with the power ofcoverage-guidedfuzzing algorithms such as...