mirror of
https://github.com/FuzzingLabs/fuzzforge_ai.git
synced 2026-02-13 02:32:47 +00:00
* feat: Complete migration from Prefect to Temporal BREAKING CHANGE: Replaces Prefect workflow orchestration with Temporal ## Major Changes - Replace Prefect with Temporal for workflow orchestration - Implement vertical worker architecture (rust, android) - Replace Docker registry with MinIO for unified storage - Refactor activities to be co-located with workflows - Update all API endpoints for Temporal compatibility ## Infrastructure - New: docker-compose.temporal.yaml (Temporal + MinIO + workers) - New: workers/ directory with rust and android vertical workers - New: backend/src/temporal/ (manager, discovery) - New: backend/src/storage/ (S3-cached storage with MinIO) - New: backend/toolbox/common/ (shared storage activities) - Deleted: docker-compose.yaml (old Prefect setup) - Deleted: backend/src/core/prefect_manager.py - Deleted: backend/src/services/prefect_stats_monitor.py - Deleted: Docker registry and insecure-registries requirement ## Workflows - Migrated: security_assessment workflow to Temporal - New: rust_test workflow (example/test workflow) - Deleted: secret_detection_scan (Prefect-based, to be reimplemented) - Activities now co-located with workflows for independent testing ## API Changes - Updated: backend/src/api/workflows.py (Temporal submission) - Updated: backend/src/api/runs.py (Temporal status/results) - Updated: backend/src/main.py (727 lines, TemporalManager integration) - Updated: All 16 MCP tools to use TemporalManager ## Testing - ✅ All services healthy (Temporal, PostgreSQL, MinIO, workers, backend) - ✅ All API endpoints functional - ✅ End-to-end workflow test passed (72 findings from vulnerable_app) - ✅ MinIO storage integration working (target upload/download, results) - ✅ Worker activity discovery working (6 activities registered) - ✅ Tarball extraction working - ✅ SARIF report generation working ## Documentation - ARCHITECTURE.md: Complete Temporal architecture documentation - QUICKSTART_TEMPORAL.md: Getting started guide - MIGRATION_DECISION.md: Why we chose Temporal over Prefect - IMPLEMENTATION_STATUS.md: Migration progress tracking - workers/README.md: Worker development guide ## Dependencies - Added: temporalio>=1.6.0 - Added: boto3>=1.34.0 (MinIO S3 client) - Removed: prefect>=3.4.18 * feat: Add Python fuzzing vertical with Atheris integration This commit implements a complete Python fuzzing workflow using Atheris: ## Python Worker (workers/python/) - Dockerfile with Python 3.11, Atheris, and build tools - Generic worker.py for dynamic workflow discovery - requirements.txt with temporalio, boto3, atheris dependencies - Added to docker-compose.temporal.yaml with dedicated cache volume ## AtherisFuzzer Module (backend/toolbox/modules/fuzzer/) - Reusable module extending BaseModule - Auto-discovers fuzz targets (fuzz_*.py, *_fuzz.py, fuzz_target.py) - Recursive search to find targets in nested directories - Dynamically loads TestOneInput() function - Configurable max_iterations and timeout - Real-time stats callback support for live monitoring - Returns findings as ModuleFinding objects ## Atheris Fuzzing Workflow (backend/toolbox/workflows/atheris_fuzzing/) - Temporal workflow for orchestrating fuzzing - Downloads user code from MinIO - Executes AtherisFuzzer module - Uploads results to MinIO - Cleans up cache after execution - metadata.yaml with vertical: python for routing ## Test Project (test_projects/python_fuzz_waterfall/) - Demonstrates stateful waterfall vulnerability - main.py with check_secret() that leaks progress - fuzz_target.py with Atheris TestOneInput() harness - Complete README with usage instructions ## Backend Fixes - Fixed parameter merging in REST API endpoints (workflows.py) - Changed workflow parameter passing from positional args to kwargs (manager.py) - Default parameters now properly merged with user parameters ## Testing ✅ Worker discovered AtherisFuzzingWorkflow ✅ Workflow executed end-to-end successfully ✅ Fuzz target auto-discovered in nested directories ✅ Atheris ran 100,000 iterations ✅ Results uploaded and cache cleaned * chore: Complete Temporal migration with updated CLI/SDK/docs This commit includes all remaining Temporal migration changes: ## CLI Updates (cli/) - Updated workflow execution commands for Temporal - Enhanced error handling and exceptions - Updated dependencies in uv.lock ## SDK Updates (sdk/) - Client methods updated for Temporal workflows - Updated models for new workflow execution - Updated dependencies in uv.lock ## Documentation Updates (docs/) - Architecture documentation for Temporal - Workflow concept documentation - Resource management documentation (new) - Debugging guide (new) - Updated tutorials and how-to guides - Troubleshooting updates ## README Updates - Main README with Temporal instructions - Backend README - CLI README - SDK README ## Other - Updated IMPLEMENTATION_STATUS.md - Removed old vulnerable_app.tar.gz These changes complete the Temporal migration and ensure the CLI/SDK work correctly with the new backend. * fix: Use positional args instead of kwargs for Temporal workflows The Temporal Python SDK's start_workflow() method doesn't accept a 'kwargs' parameter. Workflows must receive parameters as positional arguments via the 'args' parameter. Changed from: args=workflow_args # Positional arguments This fixes the error: TypeError: Client.start_workflow() got an unexpected keyword argument 'kwargs' Workflows now correctly receive parameters in order: - security_assessment: [target_id, scanner_config, analyzer_config, reporter_config] - atheris_fuzzing: [target_id, target_file, max_iterations, timeout_seconds] - rust_test: [target_id, test_message] * fix: Filter metadata-only parameters from workflow arguments SecurityAssessmentWorkflow was receiving 7 arguments instead of 2-5. The issue was that target_path and volume_mode from default_parameters were being passed to the workflow, when they should only be used by the system for configuration. Now filters out metadata-only parameters (target_path, volume_mode) before passing arguments to workflow execution. * refactor: Remove Prefect leftovers and volume mounting legacy Complete cleanup of Prefect migration artifacts: Backend: - Delete registry.py and workflow_discovery.py (Prefect-specific files) - Remove Docker validation from setup.py (no longer needed) - Remove ResourceLimits and VolumeMount models - Remove target_path and volume_mode from WorkflowSubmission - Remove supported_volume_modes from API and discovery - Clean up metadata.yaml files (remove volume/path fields) - Simplify parameter filtering in manager.py SDK: - Remove volume_mode parameter from client methods - Remove ResourceLimits and VolumeMount models - Remove Prefect error patterns from docker_logs.py - Clean up WorkflowSubmission and WorkflowMetadata models CLI: - Remove Volume Modes display from workflow info All removed features are Prefect-specific or Docker volume mounting artifacts. Temporal workflows use MinIO storage exclusively. * feat: Add comprehensive test suite and benchmark infrastructure - Add 68 unit tests for fuzzer, scanner, and analyzer modules - Implement pytest-based test infrastructure with fixtures - Add 6 performance benchmarks with category-specific thresholds - Configure GitHub Actions for automated testing and benchmarking - Add test and benchmark documentation Test coverage: - AtherisFuzzer: 8 tests - CargoFuzzer: 14 tests - FileScanner: 22 tests - SecurityAnalyzer: 24 tests All tests passing (68/68) All benchmarks passing (6/6) * fix: Resolve all ruff linting violations across codebase Fixed 27 ruff violations in 12 files: - Removed unused imports (Depends, Dict, Any, Optional, etc.) - Fixed undefined workflow_info variable in workflows.py - Removed dead code with undefined variables in atheris_fuzzer.py - Changed f-string to regular string where no placeholders used All files now pass ruff checks for CI/CD compliance. * fix: Configure CI for unit tests only - Renamed docker-compose.temporal.yaml → docker-compose.yml for CI compatibility - Commented out integration-tests job (no integration tests yet) - Updated test-summary to only depend on lint and unit-tests CI will now run successfully with 68 unit tests. Integration tests can be added later. * feat: Add CI/CD integration with ephemeral deployment model Implements comprehensive CI/CD support for FuzzForge with on-demand worker management: **Worker Management (v0.7.0)** - Add WorkerManager for automatic worker lifecycle control - Auto-start workers from stopped state when workflows execute - Auto-stop workers after workflow completion - Health checks and startup timeout handling (90s default) **CI/CD Features** - `--fail-on` flag: Fail builds based on SARIF severity levels (error/warning/note/info) - `--export-sarif` flag: Export findings in SARIF 2.1.0 format - `--auto-start`/`--auto-stop` flags: Control worker lifecycle - Exit code propagation: Returns 1 on blocking findings, 0 on success **Exit Code Fix** - Add `except typer.Exit: raise` handlers at 3 critical locations - Move worker cleanup to finally block for guaranteed execution - Exit codes now propagate correctly even when build fails **CI Scripts & Examples** - ci-start.sh: Start FuzzForge services with health checks - ci-stop.sh: Clean shutdown with volume preservation option - GitHub Actions workflow example (security-scan.yml) - GitLab CI pipeline example (.gitlab-ci.example.yml) - docker-compose.ci.yml: CI-optimized compose file with profiles **OSS-Fuzz Integration** - New ossfuzz_campaign workflow for running OSS-Fuzz projects - OSS-Fuzz worker with Docker-in-Docker support - Configurable campaign duration and project selection **Documentation** - Comprehensive CI/CD integration guide (docs/how-to/cicd-integration.md) - Updated architecture docs with worker lifecycle details - Updated workspace isolation documentation - CLI README with worker management examples **SDK Enhancements** - Add get_workflow_worker_info() endpoint - Worker vertical metadata in workflow responses **Testing** - All workflows tested: security_assessment, atheris_fuzzing, secret_detection, cargo_fuzzing - All monitoring commands tested: stats, crashes, status, finding - Full CI pipeline simulation verified - Exit codes verified for success/failure scenarios Ephemeral CI/CD model: ~3-4GB RAM, ~60-90s startup, runs entirely in CI containers. * fix: Resolve ruff linting violations in CI/CD code - Remove unused variables (run_id, defaults, result) - Remove unused imports - Fix f-string without placeholders All CI/CD integration files now pass ruff checks.
395 lines
14 KiB
Python
395 lines
14 KiB
Python
#!/usr/bin/env python3
|
|
# Copyright (c) 2025 FuzzingLabs
|
|
#
|
|
# Licensed under the Business Source License 1.1 (BSL). See the LICENSE file
|
|
# at the root of this repository for details.
|
|
#
|
|
# After the Change Date (four years from publication), this version of the
|
|
# Licensed Work will be made available under the Apache License, Version 2.0.
|
|
# See the LICENSE-APACHE file or http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Additional attribution and requirements are provided in the NOTICE file.
|
|
|
|
"""
|
|
Batch analysis example.
|
|
|
|
This example demonstrates how to:
|
|
1. Analyze multiple projects or targets
|
|
2. Run different workflows on the same target
|
|
3. Collect and compare results
|
|
4. Generate summary reports
|
|
"""
|
|
|
|
import asyncio
|
|
import json
|
|
from pathlib import Path
|
|
from typing import List, Dict, Any
|
|
import time
|
|
|
|
from fuzzforge_sdk import (
|
|
FuzzForgeClient
|
|
)
|
|
from fuzzforge_sdk.utils import (
|
|
create_workflow_submission,
|
|
format_sarif_summary,
|
|
count_sarif_severity_levels,
|
|
save_sarif_to_file,
|
|
get_project_files
|
|
)
|
|
|
|
|
|
class BatchAnalyzer:
|
|
"""Batch analysis manager."""
|
|
|
|
def __init__(self, client: FuzzForgeClient):
|
|
self.client = client
|
|
self.results: List[Dict[str, Any]] = []
|
|
|
|
async def analyze_project(
|
|
self,
|
|
project_path: Path,
|
|
workflows: List[str],
|
|
output_dir: Path
|
|
) -> Dict[str, Any]:
|
|
"""
|
|
Analyze a single project with multiple workflows.
|
|
|
|
Args:
|
|
project_path: Path to project to analyze
|
|
workflows: List of workflow names to run
|
|
output_dir: Directory to save results
|
|
|
|
Returns:
|
|
Analysis results summary
|
|
"""
|
|
print(f"\n📁 Analyzing project: {project_path.name}")
|
|
print(f" Path: {project_path}")
|
|
print(f" Workflows: {', '.join(workflows)}")
|
|
|
|
project_results = {
|
|
"project_name": project_path.name,
|
|
"project_path": str(project_path),
|
|
"workflows": {},
|
|
"summary": {},
|
|
"start_time": time.time()
|
|
}
|
|
|
|
# Get project info
|
|
try:
|
|
files = get_project_files(project_path)
|
|
project_results["file_count"] = len(files)
|
|
project_results["total_size"] = sum(f.stat().st_size for f in files if f.exists())
|
|
print(f" Files: {len(files)}")
|
|
except Exception as e:
|
|
print(f" ⚠️ Could not analyze project structure: {e}")
|
|
project_results["file_count"] = 0
|
|
project_results["total_size"] = 0
|
|
|
|
# Create project output directory
|
|
project_output_dir = output_dir / project_path.name
|
|
project_output_dir.mkdir(parents=True, exist_ok=True)
|
|
|
|
# Run each workflow
|
|
for workflow_name in workflows:
|
|
try:
|
|
workflow_result = await self._run_workflow_on_project(
|
|
project_path,
|
|
workflow_name,
|
|
project_output_dir
|
|
)
|
|
project_results["workflows"][workflow_name] = workflow_result
|
|
|
|
except Exception as e:
|
|
print(f" ❌ Failed to run {workflow_name}: {e}")
|
|
project_results["workflows"][workflow_name] = {
|
|
"status": "failed",
|
|
"error": str(e)
|
|
}
|
|
|
|
# Calculate summary
|
|
project_results["end_time"] = time.time()
|
|
project_results["duration"] = project_results["end_time"] - project_results["start_time"]
|
|
project_results["summary"] = self._calculate_project_summary(project_results)
|
|
|
|
# Save project summary
|
|
summary_file = project_output_dir / "analysis_summary.json"
|
|
with open(summary_file, 'w') as f:
|
|
json.dump(project_results, f, indent=2, default=str)
|
|
|
|
print(f" ✅ Analysis complete in {project_results['duration']:.1f}s")
|
|
return project_results
|
|
|
|
async def _run_workflow_on_project(
|
|
self,
|
|
project_path: Path,
|
|
workflow_name: str,
|
|
output_dir: Path
|
|
) -> Dict[str, Any]:
|
|
"""Run a single workflow on a project."""
|
|
print(f" 🔄 Running {workflow_name}...")
|
|
|
|
# Get workflow metadata for better parameter selection
|
|
try:
|
|
metadata = await self.client.aget_workflow_metadata(workflow_name)
|
|
|
|
# Determine appropriate timeout based on workflow type
|
|
if "fuzzing" in metadata.tags:
|
|
timeout = 1800 # 30 minutes for fuzzing
|
|
volume_mode = "rw"
|
|
elif "dynamic" in metadata.tags:
|
|
timeout = 900 # 15 minutes for dynamic analysis
|
|
volume_mode = "rw"
|
|
else:
|
|
timeout = 300 # 5 minutes for static analysis
|
|
volume_mode = "ro"
|
|
|
|
except Exception:
|
|
# Fallback settings
|
|
timeout = 600
|
|
volume_mode = "ro"
|
|
|
|
# Create submission
|
|
submission = create_workflow_submission(
|
|
target_path=project_path,
|
|
volume_mode=volume_mode,
|
|
timeout=timeout
|
|
)
|
|
|
|
# Submit workflow
|
|
start_time = time.time()
|
|
response = await self.client.asubmit_workflow(workflow_name, submission)
|
|
|
|
# Wait for completion
|
|
try:
|
|
final_status = await self.client.await_for_completion(
|
|
response.run_id,
|
|
poll_interval=10.0,
|
|
timeout=float(timeout + 300) # Add buffer for completion timeout
|
|
)
|
|
|
|
end_time = time.time()
|
|
duration = end_time - start_time
|
|
|
|
# Get findings if successful
|
|
findings = None
|
|
if final_status.is_completed and not final_status.is_failed:
|
|
try:
|
|
findings = await self.client.aget_run_findings(response.run_id)
|
|
|
|
# Save SARIF results
|
|
sarif_file = output_dir / f"{workflow_name}_results.sarif.json"
|
|
save_sarif_to_file(findings.sarif, sarif_file)
|
|
|
|
print(f" ✅ {workflow_name} completed: {format_sarif_summary(findings.sarif)}")
|
|
|
|
except Exception as e:
|
|
print(f" ⚠️ Could not retrieve findings for {workflow_name}: {e}")
|
|
|
|
result = {
|
|
"status": "completed" if final_status.is_completed else "failed",
|
|
"run_id": response.run_id,
|
|
"duration": duration,
|
|
"final_status": final_status.status,
|
|
"findings_summary": format_sarif_summary(findings.sarif) if findings else None,
|
|
"severity_counts": count_sarif_severity_levels(findings.sarif) if findings else None
|
|
}
|
|
|
|
return result
|
|
|
|
except Exception as e:
|
|
end_time = time.time()
|
|
duration = end_time - start_time
|
|
print(f" ❌ {workflow_name} failed after {duration:.1f}s: {e}")
|
|
|
|
return {
|
|
"status": "failed",
|
|
"run_id": response.run_id,
|
|
"duration": duration,
|
|
"error": str(e)
|
|
}
|
|
|
|
def _calculate_project_summary(self, project_results: Dict[str, Any]) -> Dict[str, Any]:
|
|
"""Calculate summary statistics for a project analysis."""
|
|
workflows = project_results["workflows"]
|
|
|
|
total_findings = {}
|
|
successful_workflows = 0
|
|
failed_workflows = 0
|
|
|
|
for workflow_name, workflow_result in workflows.items():
|
|
if workflow_result["status"] == "completed":
|
|
successful_workflows += 1
|
|
|
|
# Aggregate severity counts
|
|
severity_counts = workflow_result.get("severity_counts", {})
|
|
for severity, count in severity_counts.items():
|
|
total_findings[severity] = total_findings.get(severity, 0) + count
|
|
|
|
else:
|
|
failed_workflows += 1
|
|
|
|
return {
|
|
"successful_workflows": successful_workflows,
|
|
"failed_workflows": failed_workflows,
|
|
"total_workflows": len(workflows),
|
|
"total_findings": total_findings,
|
|
"total_issues": sum(total_findings.values())
|
|
}
|
|
|
|
|
|
async def main():
|
|
"""Main batch analysis example."""
|
|
# Configuration
|
|
projects_to_analyze = [
|
|
Path.cwd(), # Current directory
|
|
# Add more project paths here
|
|
# Path("/path/to/project1"),
|
|
# Path("/path/to/project2"),
|
|
]
|
|
|
|
workflows_to_run = [
|
|
# "static-analysis",
|
|
# "security-scan",
|
|
# "dependency-check",
|
|
# Add actual workflow names from your FuzzForge instance
|
|
]
|
|
|
|
output_base_dir = Path("./analysis_results")
|
|
|
|
# Initialize client
|
|
async with FuzzForgeClient(base_url="http://localhost:8000") as client:
|
|
try:
|
|
# Check API status
|
|
print("🔗 Connecting to FuzzForge API...")
|
|
status = await client.aget_api_status()
|
|
print(f"✅ Connected to {status.name} v{status.version}")
|
|
|
|
# Get available workflows
|
|
available_workflows = await client.alist_workflows()
|
|
available_names = [w.name for w in available_workflows]
|
|
|
|
print(f"📋 Available workflows: {', '.join(available_names)}")
|
|
|
|
# Filter requested workflows to only include available ones
|
|
valid_workflows = [w for w in workflows_to_run if w in available_names]
|
|
|
|
if not valid_workflows:
|
|
print("⚠️ No valid workflows specified, using all available workflows")
|
|
valid_workflows = available_names[:3] # Limit to first 3 for demo
|
|
|
|
print(f"🎯 Will run workflows: {', '.join(valid_workflows)}")
|
|
|
|
# Create output directory
|
|
output_base_dir.mkdir(parents=True, exist_ok=True)
|
|
|
|
# Initialize batch analyzer
|
|
analyzer = BatchAnalyzer(client)
|
|
|
|
# Analyze each project
|
|
batch_start_time = time.time()
|
|
|
|
for project_path in projects_to_analyze:
|
|
if not project_path.exists() or not project_path.is_dir():
|
|
print(f"⚠️ Skipping invalid project path: {project_path}")
|
|
continue
|
|
|
|
project_result = await analyzer.analyze_project(
|
|
project_path,
|
|
valid_workflows,
|
|
output_base_dir
|
|
)
|
|
analyzer.results.append(project_result)
|
|
|
|
batch_end_time = time.time()
|
|
batch_duration = batch_end_time - batch_start_time
|
|
|
|
# Generate batch summary report
|
|
print("\n📊 Batch Analysis Complete!")
|
|
print(f" Total time: {batch_duration:.1f}s")
|
|
print(f" Projects analyzed: {len(analyzer.results)}")
|
|
|
|
# Create overall summary
|
|
batch_summary = {
|
|
"start_time": batch_start_time,
|
|
"end_time": batch_end_time,
|
|
"duration": batch_duration,
|
|
"projects": analyzer.results,
|
|
"overall_stats": {}
|
|
}
|
|
|
|
# Calculate overall statistics
|
|
total_successful = sum(r["summary"]["successful_workflows"] for r in analyzer.results)
|
|
total_failed = sum(r["summary"]["failed_workflows"] for r in analyzer.results)
|
|
total_issues = sum(r["summary"]["total_issues"] for r in analyzer.results)
|
|
|
|
batch_summary["overall_stats"] = {
|
|
"total_successful_runs": total_successful,
|
|
"total_failed_runs": total_failed,
|
|
"total_issues_found": total_issues
|
|
}
|
|
|
|
print(f" Successful runs: {total_successful}")
|
|
print(f" Failed runs: {total_failed}")
|
|
print(f" Total issues found: {total_issues}")
|
|
|
|
# Save batch summary
|
|
batch_summary_file = output_base_dir / "batch_summary.json"
|
|
with open(batch_summary_file, 'w') as f:
|
|
json.dump(batch_summary, f, indent=2, default=str)
|
|
|
|
print(f"\n💾 Results saved to: {output_base_dir}")
|
|
print(f" Batch summary: {batch_summary_file}")
|
|
|
|
# Display project summaries
|
|
print("\n📈 Project Summaries:")
|
|
for result in analyzer.results:
|
|
print(f" {result['project_name']}: " +
|
|
f"{result['summary']['successful_workflows']}/{result['summary']['total_workflows']} workflows successful, " +
|
|
f"{result['summary']['total_issues']} issues found")
|
|
|
|
except Exception as e:
|
|
print(f"❌ Batch analysis failed: {e}")
|
|
|
|
|
|
def create_sample_batch_config():
|
|
"""Create a sample batch configuration file."""
|
|
config = {
|
|
"projects": [
|
|
{
|
|
"name": "my-web-app",
|
|
"path": "/path/to/my-web-app",
|
|
"workflows": ["static-analysis", "security-scan"],
|
|
"parameters": {
|
|
"timeout": 600
|
|
}
|
|
},
|
|
{
|
|
"name": "api-service",
|
|
"path": "/path/to/api-service",
|
|
"workflows": ["dependency-check", "fuzzing"],
|
|
"parameters": {
|
|
"timeout": 1800
|
|
}
|
|
}
|
|
],
|
|
"output_directory": "./batch_analysis_results",
|
|
"concurrent_limit": 2,
|
|
"retry_failed": True
|
|
}
|
|
|
|
config_file = Path("batch_config.json")
|
|
with open(config_file, 'w') as f:
|
|
json.dump(config, f, indent=2)
|
|
|
|
print(f"📄 Sample batch configuration created: {config_file}")
|
|
|
|
|
|
if __name__ == "__main__":
|
|
import sys
|
|
|
|
if len(sys.argv) > 1 and sys.argv[1] == "--create-config":
|
|
create_sample_batch_config()
|
|
else:
|
|
print("🔄 Starting batch analysis...")
|
|
print("💡 Use --create-config to generate sample configuration")
|
|
asyncio.run(main()) |