hub / github.com/SymbolicPathFinder/jpf-symbc

github.com/SymbolicPathFinder/jpf-symbc @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

5,893 symbols 24,408 edges 769 files 340 documented · 6% ● updated 6mo ago★ 17127 open issues

Browse by type

⨍ Functions 5,046◇ Types & classes 847

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

BVExpr (Interface)

(no doc) [22 implementers]

src/main/gov/nasa/jpf/symbc/string/translate/BVExpr.java

Edge (Interface)

(no doc) [46 implementers]

src/main/gov/nasa/jpf/symbc/string/graph/Edge.java

IncrementalSolver (Interface)

(no doc) [4 implementers]

src/main/gov/nasa/jpf/symbc/numeric/solvers/IncrementalSolver.java

EdgeChar (Interface)

(no doc) [4 implementers]

src/main/gov/nasa/jpf/symbc/string/graph/EdgeChar.java

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 140 filesPathCondition

YN: added solveWithValuation() from later verision (Yannic Noller )

src/main/gov/nasa/jpf/symbc/numeric/PathCondition.java

↓ 111 filesHeapNode

src/main/gov/nasa/jpf/symbc/heap/HeapNode.java

↓ 111 filesDebug

src/classes/gov/nasa/jpf/symbc/Debug.java

↓ 91 filesTreeMap

src/examples/rbt/TreeMap.java

↓ 84 filesIncrementalSolver

src/main/gov/nasa/jpf/symbc/numeric/solvers/IncrementalSolver.java

↓ 80 filesPCChoiceGenerator

src/main/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java

browse all functions →

Shape

Method 5,045

Class 824

Enum 15

Interface 8

Function 1

Languages

Java100%

Ruby1%

C1%

Modules by API surface

src/tests/gov/nasa/jpf/symbc/strings/TestABC.java254 symbols

src/tests/gov/nasa/jpf/symbc/strings/TestSymStringPreprocessing.java194 symbols

src/tests/gov/nasa/jpf/symbc/strings/TestSymString.java174 symbols

src/main/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java108 symbols

src/main/gov/nasa/jpf/symbc/string/graph/PreProcessGraph.java98 symbols

src/main/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java72 symbols

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemDReal.java71 symbols

src/main/gov/nasa/jpf/symbc/string/translate/Z3str2SMTTranslator.java63 symbols

src/examples/rbt/TreeMap.java60 symbols

src/main/gov/nasa/jpf/symbc/string/translate/SMTLIBTranslator.java59 symbols

src/peers/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java52 symbols

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemGeneral.java50 symbols

For agents

$ claude mcp add jpf-symbc \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/SymbolicPathFinder/jpf-symbc @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page