Functions — github.com/SymbolicPathFinder/jpf-symbc

hub / github.com/SymbolicPathFinder/jpf-symbc / functions

Functions5,046 in github.com/SymbolicPathFinder/jpf-symbc

⨍ Functions 5,046◇ Types & classes 847

↓ 15 callersMethodsolve

()

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

↓ 15 callersMethodtoSMTLib

()

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

↓ 14 callersMethodcheck

(String str, int expected)

src/examples/fuzz/gram/test/ExpParser.java:192

↓ 14 callersMethodeval

Consider the string "i12+1". The leftmost derivation for this is <p> E (r0)-> "i" Ei (r3)-> "i" Num Op Num (r4)-> "i12" Op Num (r5)-> "i12+" Num (r4)-

src/examples/fuzz/gram/test/ExpParser.java:167

↓ 14 callersMethodgetStringEquiv

(ElementInfo ei)

src/main/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java:2712

↓ 14 callersMethodgetType

()

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

↓ 14 callersMethodjoinPC

(String pc, String oldPC)

src/tests/gov/nasa/jpf/symbc/InvokeTest.java:43

↓ 13 callersMethodInit

()

src/examples/rjc/Chart.java:376

↓ 13 callersMethodMain

(double Nofjets_, double[] e_, double Firefct1_, double Coastfct1_, double Firefct2_, double Coastfct2_,

src/examples/rjc/Chart.java:329

↓ 13 callersMethodcolorOf

(Entry p)

src/tests/gov/nasa/jpf/symbc/TreeMap.java:241

↓ 13 callersMethodcolorOf

(Entry p)

src/examples/TreeMapSimple.java:253

↓ 13 callersMethodcolorOf

Balancing operations. Implementations of rebalancings during insertion and deletion are slightly different than the CLR version. Rather than using du

src/examples/rbt/TreeMap.java:802

↓ 13 callersMethodequals

(Object object)

src/main/gov/nasa/jpf/symbc/numeric/solvers/SolverTranslator.java:90

↓ 13 callersMethodgetNextInstructionAndSetPCChoice

(ThreadInfo ti, LCMP instr, IntegerExpression sym_v1,

src/main/gov/nasa/jpf/symbc/bytecode/optimization/util/IFInstrSymbHelper.java:39

↓ 13 callersMethodgetTail

Returns the next conjunct.

src/main/gov/nasa/jpf/symbc/numeric/Constraint.java:85

↓ 13 callersMethodprintln

(String string)

src/main/gov/nasa/jpf/symbc/string/translate/Z3str2SMTTranslator.java:759

↓ 13 callersMethodputstr

(StringExpression s)

src/main/gov/nasa/jpf/symbc/string/SymbolicStringBuilder.java:153

↓ 12 callersMethod_replace

(StringExpression t, StringExpression r)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:269

↓ 12 callersMethod_replaceFirst

(StringExpression t, StringExpression r)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:351

↓ 12 callersMethod_valueOf

(IntegerExpression t)

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:385

↓ 12 callersMethodcreateConstraint

(final String op)

src/main/edu/ucsb/cs/vlab/translate/smtlib/generic/NumericConstraintTranslator.java:80

↓ 12 callersMethodgetComparator

()

src/main/gov/nasa/jpf/symbc/string/StringConstraint.java:167

↓ 12 callersMethodgetCurrentSymInputHeap

()

src/main/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java:81

↓ 12 callersMethodgetSymbolic

()

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

↓ 12 callersMethodleftOf

(Entry p)

src/tests/gov/nasa/jpf/symbc/TreeMap.java:255

↓ 12 callersMethodleftOf

(Entry p)

src/examples/TreeMapSimple.java:267

↓ 12 callersMethodleftOf

(Entry p)

src/examples/rbt/TreeMap.java:815

↓ 12 callersMethodprint

()

src/examples/arrays/Node.java:34

↓ 12 callersMethodsolution

()

src/main/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java:126

↓ 12 callersMethodstar

(Automaton a)

src/main/gov/nasa/jpf/symbc/string/AutomatonExtra.java:76

↓ 12 callersMethodstringPC

()

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

↓ 12 callersMethodvarName

(String name, VarType type)

src/main/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java:641

↓ 11 callersMethod_trim

()

src/main/gov/nasa/jpf/symbc/string/StringExpression.java:245

↓ 11 callersMethodcheck

(Map<String, SolverObjects> intVars, Map<String, SolverObjects> realVars, int pbToCheck)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCompare.java:1390

↓ 11 callersMethodcheckTimeOut

()

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java:1039

↓ 11 callersMethodequal

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:505

↓ 11 callersMethodgetArgument1

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring2Equal.java:57

↓ 11 callersMethodgetSolvedPC

()

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

↓ 11 callersMethodget_num

()

src/examples/fuzz/gram/test/ExpLexer.java:51

↓ 11 callersMethodmakeSymbolicChar

(String name)

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

↓ 11 callersMethodparse_error

(String msg)

src/examples/fuzz/gram/test/ExpParser.java:68

↓ 11 callersMethodrandomComp

()

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:814

↓ 11 callersMethodsqrt

( double a)

src/classes/java/lang/Math.java:110

↓ 11 callersMethodyicesl_read

(int ctx, String cmd)

src/main/gov/nasa/jpf/symbc/numeric/solvers/Yices.java:36

↓ 10 callersMethod_minus

(long i)

src/main/gov/nasa/jpf/symbc/numeric/IntegerExpression.java:68

↓ 10 callersMethodequal

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVC.java:493

↓ 10 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeStartsWith.java:35

↓ 10 callersMethodgetNewObjRef

(JVMInvokeInstruction invInst, ThreadInfo th)

src/main/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java:1883

↓ 10 callersMethodgetSolution

()

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java:739

↓ 10 callersMethodgetSymbolicIntegerValue

(int v)

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

↓ 10 callersMethodisMethodSymbolic

(Config conf, String methodName, int numberOfArgs, Vector<String> args)

src/main/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java:66

↓ 10 callersMethodrandom

()

src/classes/java/lang/Math.java:112

↓ 10 callersMethodrightOf

(Entry p)

src/tests/gov/nasa/jpf/symbc/TreeMap.java:259

↓ 10 callersMethodrightOf

(Entry p)

src/examples/TreeMapSimple.java:271

↓ 10 callersMethodrightOf

(Entry p)

src/examples/rbt/TreeMap.java:819

↓ 9 callersMethodabs

( double a)

src/classes/java/lang/Math.java:43

↓ 9 callersMethodclone

()

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

↓ 9 callersMethodcreateVertex

(StringExpression se)

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java:158

↓ 9 callersMethodcreateVertex

(StringExpression se)

src/main/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneralToText.java:123

↓ 9 callersMethodequal

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVCInc.java:464

↓ 9 callersMethodequal

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3Inc.java:590

↓ 9 callersMethodgetCurrentPCheap

()

src/main/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java:63

↓ 9 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOf.java:45

↓ 8 callersMethod_plus

(long i)

src/main/gov/nasa/jpf/symbc/numeric/IntegerExpression.java:115

↓ 8 callersMethodabs_summary

(int x)

src/examples/compositional/Rational.java:58

↓ 8 callersMethodandClause

(int clause[])

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToSAT.java:1161

↓ 8 callersMethodcontains

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3.java:845

↓ 8 callersMethodcontains

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVCInc.java:772

↓ 8 callersMethodcontains

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToCVC.java:773

↓ 8 callersMethodcontains

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToZ3Inc.java:1011

↓ 8 callersMethodfloor

( double a)

src/classes/java/lang/Math.java:135

↓ 8 callersMethodgetComparator

(String str)

src/peers/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestPC.java:61

↓ 8 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeIndexOf2.java:44

↓ 8 callersMethodgetName

()

src/main/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java:103

↓ 8 callersMethodhandleBooleanConstraint

(StringComparator sc)

src/main/gov/nasa/jpf/symbc/string/testing/RandomTest2.java:772

↓ 8 callersMethodhasSymbolicArgs

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring2Equal.java:156

↓ 8 callersMethodisZero

(final Term t)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemDReal.java:392

↓ 8 callersMethodmult

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3.java:539

↓ 8 callersMethodplus

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3.java:449

↓ 8 callersMethodprocess

(String line)

src/main/gov/nasa/jpf/symbc/string/translate/Z3Interface.java:260

↓ 8 callersMethodsetConstant

(boolean b)

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

↓ 8 callersMethodsetCurrentPCheap

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java:57

↓ 8 callersMethodsetCurrentSymInputHeap

(SymbolicInputHeap ih)

src/main/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java:75

↓ 8 callersMethodsolutionChar

()

src/main/gov/nasa/jpf/symbc/numeric/IntegerConstant.java:298

↓ 8 callersMethodtoString

()

src/main/gov/nasa/jpf/symbc/string/DerivedStringExpression.java:164

↓ 7 callersMethodand

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3.java:969

↓ 7 callersMethodclose

()

src/main/edu/ucsb/cs/vlab/Z3Interface.java:137

↓ 7 callersMethodgetC1

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeReplaceCharChar.java:138

↓ 7 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeContains.java:41

↓ 7 callersMethodgetDest

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeEndsWith.java:37

↓ 7 callersMethodgetIndex

()

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

↓ 7 callersMethodgetRepresents

()

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

↓ 7 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeConcat.java:85

↓ 7 callersMethodhandleEdgeEqual

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToSAT.java:805

↓ 7 callersMethodhashCode

()

src/main/gov/nasa/jpf/symbc/numeric/SymbolicReal.java:166

↓ 7 callersMethodhashCode

()

src/main/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java:164

↓ 7 callersMethodmakeIntConst

(long value)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3.java:1177

↓ 7 callersMethodprintSymbolicRef

(Object v, String msg)

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

↓ 7 callersMethodsolve

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java:203

↓ 7 callersMethodsolve

(PathCondition pc, SymbolicConstraintsGeneral solver)

src/main/gov/nasa/jpf/symbc/concolic/PCAnalyzer.java:202

← previous next →201–300 of 5,046, ranked by callers