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%

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

Filter (Interface)

@author Kasper Luckow [8 implementers]

src/main/gov/nasa/jpf/symbc/tree/Filter.java

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

Core symbols most depended-on inside this repo

println

called by 1896

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

getSource

called by 1537

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

getDest

called by 1526

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

get

called by 1132

src/examples/rbt/TreeMap.java

_addDet

called by 1104

src/main/gov/nasa/jpf/symbc/string/StringPathCondition.java

getLength

called by 1098

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

_addDet

called by 1039

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

solution

called by 1039

src/main/gov/nasa/jpf/symbc/string/StringSymbolic.java

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