Skip to content

Pro Tier

Enhanced limits and features for professional developers and teams. All 23 tools remain available with significantly increased limits and cross-file capabilities.

Overview

Aspect Details
Price Contact sales
License JWT license file
Support Email support
All 23 Tools ✅ Available with Pro limits

All Community Tools Enhanced

Pro provides the same tools as Community, but with dramatically increased limits:

Symbolic Execution & Testing (Enhanced)

Same tools as Community, enhanced limits: - symbolic_execute - Z3-based path exploration (now 100 paths, depth 10) - generate_unit_tests - Auto-generate tests (now full coverage) - simulate_refactor - Verify behavior preservation (now cross-file)

What Pro enables: - Explore up to 100 execution paths (vs 10 in Community) - Analyze up to depth 10 (vs depth 3 in Community) - Find edge cases in larger codebases - Generate comprehensive test suites - Verify refactors across file boundaries

Security Scanning (Enhanced)

Same tools as Community, enhanced limits: - security_scan - Vulnerability detection (now 100 paths) - cross_file_security_scan - Multi-file taint tracking (now 100 files) - unified_sink_detect - Polyglot sink detection (now advanced scoring) - type_evaporation_scan - TypeScript safety check (now cross-file)

What Pro enables: - Track tainted data across up to 100 files (vs single file in Community) - Detect vulnerabilities spanning multiple modules - Advanced confidence scoring - Cross-file type safety analysis

Graph Analysis (Enhanced)

Same tools as Community, enhanced limits: - get_call_graph - Call graphs (now 50 depth, 500 nodes) - get_project_map - Project mapping (now 1,000 files) - get_cross_file_dependencies - Dependency chains (now 100 files) - get_graph_neighborhood - Subgraph extraction (now k-hop traversal)

What Pro enables: - Analyze call graphs up to 50 levels deep (vs 3 in Community) - Map up to 500 nodes in dependency graphs (vs 50 in Community) - Analyze up to 1,000 files simultaneously (vs 100 in Community) - Extract focused subgraphs with k-hop traversal

Policy & Governance (Enhanced)

Same tools as Community, enhanced features: - verify_policy_integrity - Cryptographic verification (now advanced checks) - code_policy_check - Policy compliance (now multi-standard)

What Pro enables: - Verify governance policies haven't been tampered with - Advanced cryptographic verification - Multi-standard policy checking

Pro Limits

Graph Analysis

Metric Community Pro
Max depth 3 50
Max nodes 50 500
Max files 10 100

Security Scanning

Metric Community Pro
Max paths 10 100
Cross-file ❌ ✅
Confidence scoring ❌ ✅

Symbolic Execution (Enhanced Limits)

Metric Community Pro
Max paths 10 100
Max depth 3 10
String constraints Basic Advanced

All tiers have access to symbolic_execute. Pro dramatically increases the limits.

Installation

Get Your License

  1. Contact sales for a Pro license
  2. Receive your .jwt license file
  3. Store it securely

Configure License

export CODE_SCALPEL_LICENSE_PATH=/path/to/license.jwt

In .code-scalpel/config.json: 

{
  "license_path": "/path/to/license.jwt"
}

Verify License

# Check your tier
code-scalpel --version
# Output: Code Scalpel v1.4.0 (Pro)

Example: Pro Workflow

Comprehensive Security Scan

1. cross_file_security_scan(project_root="/app")
   → Find vulnerabilities across all files

2. [Review taint flows in results]

3. unified_sink_detect(code="...", language="python")
   → Deep-dive on specific code

4. simulate_refactor(original, fixed)
   → Verify fix doesn't change behavior

Test Generation

1. analyze_code(file_path="src/validator.py")
   → Understand function structure

2. symbolic_execute(code=validator_code)
   → Explore all paths

3. generate_unit_tests(file_path="src/validator.py")
   → Generate comprehensive tests

Safe Refactoring

1. extract_code(file_path="src/utils.py", target_name="calculate")
   → Get current implementation

2. [AI improves the code]

3. simulate_refactor(original, improved)
   → Verify behavior preserved

4. update_symbol(...) only if safe

When to Upgrade to Enterprise

Consider Enterprise when you need:

  • Compliance checking (SOC 2, ISO 27001, HIPAA)
  • Custom policy rules for your organization
  • Unlimited analysis limits
  • Audit logging for compliance
  • Priority support

Support

  • Email support: Direct response within 24 hours
  • Priority GitHub issues: Faster triage
  • Documentation: Full access to all docs

Getting Started

Contact Sales

Or try Community first, then upgrade when ready.

Next Steps