aviggiano / redis-roaring / 19414973813
50%

DEFAULT BRANCH: master
Ran
Jobs 5
Files 0
Run time –
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
19414973813

push

github

web-flow 
Add comprehensive fuzzing infrastructure with libFuzzer (#129)

* Add comprehensive fuzzing infrastructure with libFuzzer

Implements fuzz testing as recommended in the Trail of Bits handbook
and team discussion, using libFuzzer with FuzzedDataProvider for
API-level fuzzing of bitmap operations.

## Features

- **4 Specialized Fuzz Targets**:
  - fuzz_bitmap_api: 32-bit bitmap API fuzzing
  - fuzz_bitmap64_api: 64-bit bitmap API fuzzing
  - fuzz_bitmap_operations: Complex bitwise operations
  - fuzz_bitmap_serialization: Data parsing and conversions

- **Sanitizers**: AddressSanitizer + UndefinedBehaviorSanitizer
- **CI Integration**: Runs on every master push (10 min per fuzzer)
- **Helper Scripts**: Build, run, reproduce, and minimize crashes
- **Initial Corpus**: Seed files for all fuzz targets

## Implementation

- Uses FuzzedDataProvider for structure-aware API fuzzing
- State-based fuzzing with multiple bitmap instances
- Tests core bitmap logic in src/data-structure.c
- C++/C linkage compatibility added to data-structure.h

## Testing

Successfully built and smoke-tested all 4 fuzzers:
- 1000 iterations completed without crashes
- 160+ code coverage edges discovered
- Memory safety verified with sanitizers

## Documentation

- docs/fuzzing.md: Complete fuzzing guide
- FUZZING_IMPLEMENTATION.md: Technical implementation summary
- CI_INTEGRATION.md: CI/CD setup documentation
- README.md: Quick start guide

Addresses fuzzing requirements discussed in team conversation.
Following libFuzzer + FuzzedDataProvider approach as recommended.

* Simplify documentation and remove unnecessary files

- Remove CI_INTEGRATION.md and FUZZING_IMPLEMENTATION.md
- Simplify README fuzzing section to 3 paragraphs
- Remove emojis from documentation
- Remove redundant duration labels from workflow steps

* Refactor CI fuzzing to use matrix strategy for parallel execution

- Add matrix strategy with all 4 fuzzers for parallel execution
- Enable fail-fast to immediately ... (continued)
Jobs
ID Job ID Ran Files Coverage
1 fuzz-fuzz_bitmap_api - 19414973813.1 5
0.0
 GitHub Action Run
2 unit-tests - 19414973813.2 2
50.15
 GitHub Action Run
3 fuzz-fuzz_bitmap_operations - 19414973813.3 5
0.0
 GitHub Action Run
4 fuzz-fuzz_bitmap_serialization - 19414973813.4 5
0.0
 GitHub Action Run
5 fuzz-fuzz_bitmap64_api - 19414973813.5 5
0.0
 GitHub Action Run
Source Files on build 19414973813
Detailed source file information is not available for this build.