Comments (3)
Additional heuristics to identify interesting functions to fuzz can be:
-
Functions where user-controlled (untrusted) data reach critical operations like memory alloc/dealloc, pointer arithmetic, etc. To realize this feature, we may employ taint analysis to track untrusted data propagation in the code. We may need an interface to let developer tag some data/function result as untrusted.
-
Generally recommend functions that perform error-prone operations (like the functions that make call to pointer returning functions in hope of capturing errors like null-deref). For this we may need a function profiler.
from fuzz-introspector.
We can generalise this issue and consider it to be improvements focused around "input to fuzz engines". This could for example include features such as automated dictionary generation by way of statically analysing code and data in the target
from fuzz-introspector.
I added a proof-of-concept for this. The focus atm is on dictionary generation by looking at constants used by each fuzzer in its reachable functions. Sample code for extracting strings used in fuzzer-reachable functions is here:
fuzz-introspector/llvm/lib/Transforms/Inspector/Inspector.cpp
Lines 767 to 824 in 28d5ee4
I have also refactored the code post-processing code so it is easier to develop individual analyses. The goal is to facilitate a plugin-like interface that makes it easy to rapidly develop new analysis techniques that rely on data collected from fuzz-introspector. Sample code in the post processor is here: https://github.com/ossf/fuzz-introspector/blob/main/post-processing/fuzz_html.py#L604-L622
I modified the simple-example-0
to display dictionary generation. For example for the following code:
fuzz-introspector/examples/simple-example-0/fuzzer.c
Lines 9 to 19 in 28d5ee4
the automatic dictionary generator gives the suggested dictionary:
k0="FUZZCAFE "
k1="FUZZKEYWORD "
This can the be used as explicit input to fuzzers -dict=dictifile
. There's more work to be done here
from fuzz-introspector.
Related Issues (20)
- Incorrect coverage indication in Lua HOT 1
- Create a GitHub badge
- question about local build HOT 3
- Add links to source code on https://introspector.oss-fuzz.com/ HOT 6
- REST-API interface is very inconsistent HOT 9
- Extend project-summary API endpoint to include project wide summary HOT 6
- web_api: Consider Semver
- Incorrect `fuzzer_name`s in some projects
- using fuzz introspector with other fuzzers (AFL-Like) HOT 3
- Add rust support for introspector HOT 4
- Missing timestamps for projects on introspector.oss-fuzz.com HOT 1
- web app: on project profile page add graphs for historical progression of coverage per-fuzzer
- Improve cross-referencing data
- expat: showing 0.0% code coverage even if the static inline function is reached HOT 2
- missing type definitions for ndpi functions
- Showing FI compatibility with a project in the `far-reach-but-low-coverage` API HOT 2
- web: Add further APIs
- Proposed legal & governance improvements for the OpenSSF
- Introspector Builds Failing for all OSS-Fuzz Python Projects Since 2024-04-23 HOT 4
- Docker build fails HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from fuzz-introspector.