Skip to content

[20260312_DOCS] Limited the advanced index to the tutorial pages that currently exist.

Advanced Tutorials

Master Code Scalpel with symbolic execution, enterprise compliance, and production integration.

What You'll Learn

By completing advanced tutorials, you'll be able to:

  • ✅ Use symbolic execution to find edge cases
  • ✅ Verify refactors preserve behavior
  • ✅ Connect symbolic findings to production workflows

Prerequisites

  • Completed Intermediate Tutorials
  • Pro tier license (for symbolic execution)
  • Enterprise tier license (for compliance)
  • Familiarity with testing frameworks

Tutorial Series

1. Symbolic Execution Deep Dive

Time: 30 minutes | Tools: symbolic_execute | Tier: Pro

Explore all execution paths to find bugs and edge cases.

Start Tutorial →

For production governance, pair this tutorial with the Enterprise Deployment Guide and DevOps Guide.

Sample Project

Advanced tutorials use a production-like project:

production_app/
├── src/
│   ├── api/
│   │   ├── routes.py
│   │   └── middleware.py
│   ├── core/
│   │   ├── processor.py      # Complex business logic
│   │   └── validator.py
│   ├── data/
│   │   ├── repository.py
│   │   └── cache.py
│   └── utils/
│       ├── crypto.py
│       └── logging.py
├── tests/
│   ├── unit/
│   └── integration/
├── .code-scalpel/
│   ├── config.json
│   ├── limits.toml
│   └── governance.yaml
└── pyproject.toml

Download from sample projects.

Tier Requirements

Tutorial Pro Enterprise
Symbolic Execution ✅ ✅

Key Concepts

Symbolic Execution

Instead of running code with concrete values, symbolic execution treats inputs as symbols:

def classify(x):
    if x < 0:
        return "negative"
    elif x == 0:
        return "zero"
    else:
        return "positive"

Symbolic analysis finds: - Path 1: x < 0 → "negative" (e.g., x = -1) - Path 2: x == 0 → "zero" (x = 0) - Path 3: x > 0 → "positive" (e.g., x = 1)

Behavior Preservation

Before refactoring:

def add(a, b):
    result = a + b
    return result

After refactoring:

def add(a, b):
    return a + b

simulate_refactor verifies these are equivalent.

Compliance

Enterprise compliance checking validates:

  • SOC 2 security controls
  • HIPAA data handling
  • ISO 27001 information security
  • Custom organizational rules

Next Steps

Start with Symbolic Execution Deep Dive to understand how to explore all code paths.

After completing advanced tutorials, check out: