Skillget

genpark-symbolic-execution-path-explorer-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 7 GitHub stars
Code Gecti
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

SUMMARY

Forward symbolic execution engine with path condition tracking, branch bifurcation, and state exploration

README.md

Symbolic Execution Path Explorer Skill

Robust, zero-dependency Python implementation of Forward Symbolic Execution with Path Condition Tracking.

Features

  • Branch Bifurcation: Splits execution paths upon branch predicates into complementary symbolic states.
  • Path Condition Accumulation: Preserves first-order logic constraints over symbolic variables.
  • Zero External Dependencies: Pure Python standard library.
  • Native MCP Protocol: JSON-RPC 2.0 stdio server compatible with Claude Desktop, Cursor, and Windsurf.

Architecture

graph TD
    Entry["Program Entry (Symbolic x)"] --> Cond{"Predicate: x > 10?"}
    Cond -- True --> StateTrue["State 1: PC = [x > 10]"]
    Cond -- False --> StateFalse["State 2: PC = [x <= 10]"]

Yorumlar (0)

Sonuc bulunamadi