Claude finished @evandowning's task —— View job • claude/issue-116-20250708_133034 • Create PR ➔

✅ REST API for program-model - Complete!

I've successfully implemented a comprehensive REST API for the program-model component to improve isolation from seed-gen and patcher components.

Todo List:

🚀 Implementation Summary

✅ REST API Server

FastAPI server with comprehensive endpoints for all CodeQuery operations
Task management with initialization and cleanup endpoints
Function analysis endpoints (search, callers, callees with fuzzy matching)
Type analysis endpoints (search, usage locations)
Harness discovery for both libfuzzer and jazzer
Robust error handling with proper HTTP status codes and structured responses

✅ Client Integration

HTTP client (ProgramModelClient) for communicating with the REST API
Compatibility layer (CodeQueryRest, CodeQueryPersistentRest) that maintains the exact same interface as the original CodeQuery classes
Drop-in replacement for existing code with zero API changes required

✅ Component Updates

Patcher updated to use CodeQueryPersistentRest instead of direct CodeQueryPersistent
Seed-gen updated to use CodeQueryPersistentRest instead of direct CodeQueryPersistent
Harness discovery functions moved from seed-gen to program-model component
All import statements updated throughout the codebase

✅ Dependency Cleanup

Removed codequery from both seed-gen and patcher Dockerfiles
Removed cscope installation and all related dependencies
Added FastAPI, uvicorn, pydantic, httpx dependencies to program-model

✅ Testing & Documentation

Comprehensive unit tests for both REST API server and client functionality
Detailed API documentation (API.md) with usage examples and migration guide
CLI script for starting the API server with configurable options
Complete migration guide for transitioning from direct CodeQuery usage

🔧 New API Endpoints

GET /health - Health check
POST /tasks/{task_id}/init - Initialize CodeQuery for a task
GET /tasks/{task_id}/functions - Search functions with fuzzy matching
GET /tasks/{task_id}/functions/{name}/callers - Get function callers
GET /tasks/{task_id}/functions/{name}/callees - Get function callees
GET /tasks/{task_id}/types - Search type definitions
GET /tasks/{task_id}/types/{name}/calls - Get type usage locations
GET /tasks/{task_id}/harnesses/libfuzzer - Find libfuzzer harnesses
GET /tasks/{task_id}/harnesses/jazzer - Find jazzer harnesses
GET /tasks/{task_id}/harnesses/{name}/source - Get harness source code
DELETE /tasks/{task_id} - Cleanup task resources

🎯 Key Benefits

Better isolation between components through HTTP communication
Reduced Docker image sizes by removing codequery/cscope dependencies
Improved scalability with ability to run program-model as a separate service
Backwards compatibility through the compatibility layer
Enhanced error handling with structured HTTP responses

The implementation provides a complete REST API interface that maintains full compatibility with existing code while enabling better component isolation as requested in the issue.

Create REST api interface to program-model #116

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions