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

Gets the output from the processor @param proc Processor the processor to read and parse @return some form of output -- a structure and a

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

↓ 2 callersMethodgetRealValue

(Object dpVar)

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

↓ 2 callersMethodgetRealValue

(final Object dpVar)

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

↓ 2 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java:96

↓ 2 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/NonLinearIntegerConstraint.java:56

↓ 2 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/RealConstraint.java:57

↓ 2 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/LinearIntegerConstraint.java:57

↓ 2 callersMethodgetRight

()

src/main/gov/nasa/jpf/symbc/numeric/MixedConstraint.java:57

↓ 2 callersMethodgetSimplifiedPC

()

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

↓ 2 callersMethodgetSolver

()

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

↓ 2 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/SymbolicIndexOf2Integer.java:38

↓ 2 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/SymbolicLastIndexOfCharInteger.java:34

↓ 2 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/SymbolicIndexOfCharInteger.java:34

↓ 2 callersMethodgetSource

()

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

↓ 2 callersMethodgetSource

()

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

↓ 2 callersMethodgetSource

()

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

↓ 2 callersMethodgetSource

()

src/main/gov/nasa/jpf/symbc/string/SymbolicLastIndexOfInteger.java:32

↓ 2 callersMethodgetSource

()

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

↓ 2 callersMethodgetSource

()

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

↓ 2 callersMethodgetSymValues

()

src/main/gov/nasa/jpf/symbc/heap/HeapSymbolicListener.java:859

↓ 2 callersMethodgetTempFile

()

src/main/edu/ucsb/cs/vlab/Z3.java:47

↓ 2 callersMethodgetVarMaxChar

Return the maximum char value that a given variable can assume. @param varname the name of the variable @return the maximum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:445

↓ 2 callersMethodgetVarMaxLong

Return the maximum long value that a given variable can assume. @param varname the name of the variable @return the maximum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:415

↓ 2 callersMethodgetVarMaxShort

Return the maximum short value that a given variable can assume. @param varname the name of the variable @return the maximum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:425

↓ 2 callersMethodgetVarMinChar

Return the minimum char value that a given variable can assume. @param varname the name of the variable @return the minimum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:388

↓ 2 callersMethodgetVarMinLong

Return the minimum long value that a given variable can assume. @param varname the name of the variable @return the minimum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:358

↓ 2 callersMethodgetVarMinShort

Return the minimum short value that a given variable can assume. @param varname the name of the variable @return the minimum value of the variable

src/main/gov/nasa/jpf/symbc/numeric/MinMax.java:368

↓ 2 callersMethodgetVarsVals

(Map<String,Object> varsVals)

src/main/gov/nasa/jpf/symbc/numeric/Expression.java:48

↓ 2 callersMethodgetVarsVals

(Map<String,Object> varsVals)

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

↓ 2 callersMethodget_location

()

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

↓ 2 callersMethodget_op

()

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

↓ 2 callersMethodhandleEdgeIndexOf

(EdgeIndexOf e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:543

↓ 2 callersMethodhandleEdgeIndexOf2

(EdgeIndexOf2 e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:621

↓ 2 callersMethodhandleEdgeIndexOfChar

(EdgeIndexOfChar e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:678

↓ 2 callersMethodhandleEdgeIndexOfChar2

(EdgeIndexOfChar2 e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:882

↓ 2 callersMethodhandleEdgeLastIndexOfChar

(EdgeLastIndexOfChar e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:753

↓ 2 callersMethodhandleEdgeLastIndexOfChar2

(EdgeLastIndexOfChar2 e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:815

↓ 2 callersMethodhandleEdgeNotContains

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:1361

↓ 2 callersMethodhandleEdgeNotEndsWith

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:1293

↓ 2 callersMethodhandleEdgeNotEqual

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:1183

↓ 2 callersMethodhandleEdgeNotStartsWith

(Edge e)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata2.java:1229

↓ 2 callersMethodhandleIndexOfCharIntBasics

(StringGraph g, PathCondition pc)

src/main/gov/nasa/jpf/symbc/string/graph/PreProcessGraph.java:1476

↓ 2 callersMethodhandleNewPathCondition

(PathCondition pc)

src/main/gov/nasa/jpf/symbc/SymbolicListener2.java:87

↓ 2 callersMethodhandleParseBooleanValueOf

(JVMInvokeInstruction invInst, ThreadInfo th)

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

↓ 2 callersMethodhandleParseFloatValueOf

(JVMInvokeInstruction invInst, ThreadInfo th)

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

↓ 2 callersMethodhandleParseIntValueOf

(JVMInvokeInstruction invInst, ThreadInfo th)

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

↓ 2 callersMethodhandlefloatValue

(JVMInvokeInstruction invInst, ThreadInfo th)

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

↓ 2 callersMethodhandleprintln

(JVMInvokeInstruction invInst, ThreadInfo th, boolean doPrintln)

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

↓ 2 callersMethodhashCode

Returns a hash code value for the object. Note: Technically, this routine is incomplete and should take the string path condition stored in field {@c

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

↓ 2 callersMethodinc

(int input)

src/examples/sequences/IncDec.java:38

↓ 2 callersMethodinitABC

(final int logFlag)

src/main/vlab/cs/ucsb/edu/DriverProxy.java:111

↓ 2 callersMethodinitializeInstanceField

(FieldInfo field, ElementInfo eiRef, String refChain, String suffix)

src/main/gov/nasa/jpf/symbc/heap/Helper.java:52

↓ 2 callersMethodinitializeStaticField

(FieldInfo staticField, ClassInfo ci, ThreadInfo ti, String suffix)

src/main/gov/nasa/jpf/symbc/heap/Helper.java:82

↓ 2 callersMethodinnerHandleNots

(StringGraph g, boolean[] bitArray)

src/main/gov/nasa/jpf/symbc/string/translate/TranslateToAutomata.java:544

↓ 2 callersMethodinsertSingleChar

(char c, Automaton a)

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

↓ 2 callersMethodisArgument1Symbolic

()

src/main/gov/nasa/jpf/symbc/string/graph/EdgeSubstring1Equal.java:140

↓ 2 callersMethodisSat

(StringGraph g, PathCondition pc)

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

↓ 2 callersMethodisSat

(StringGraph g, PathCondition pc)

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

↓ 2 callersMethodisSatisfiable

(PathCondition pc, SymbolicConstraintsGeneral solver)

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

↓ 2 callersMethodisSatisfiable

(final String constraint)

src/main/vlab/cs/ucsb/edu/DriverProxy.java:119

↓ 2 callersMethodkey

Returns the key corresponding to the specified Entry. Throw NoSuchElementException if the Entry is <tt>null</tt>.

src/examples/rbt/TreeMap.java:212

↓ 2 callersMethodleq

(double value, Object exp)

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

↓ 2 callersMethodlexer_error

(String msg)

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

↓ 2 callersMethodlog10

(double a)

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

↓ 2 callersMethodmakeIntVar

(String name, long min, long max)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCVC3.java:96

↓ 2 callersMethodmakeIntVar

(String name, long min, long max)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3Incremental.java:102

↓ 2 callersMethodmakeRealConst

(double value)

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

↓ 2 callersMethodmakeSymbolicBigInteger

(String name, int length)

src/examples/modpow/Driver.java:20

↓ 2 callersMethodmakeSymbolicByte

(String name)

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

↓ 2 callersMethodmap

(Class<? extends IntegerExpression> klass, String format, String[]... repls)

src/main/edu/ucsb/cs/vlab/translate/smtlib/generic/NumericExpressionTranslator.java:79

↓ 2 callersMethodmatchAbstractState

(Object v)

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

↓ 2 callersMethodmax

( double a, double b)

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

↓ 2 callersMethodmerge

(SortedListInt l)

src/examples/compositional/SortedListInt.java:110

↓ 2 callersMethodmyMethod

(int x, int y)

src/examples/MyClass1.java:24

↓ 2 callersMethodmyMethod

(int x, int y)

src/examples/coverage/MyClassOriginal.java:22

↓ 2 callersMethodmysin

(double x)

src/examples/concolic/MathSin.java:63

↓ 2 callersMethodnextLine

()

src/classes/java/util/Scanner.java:15

↓ 2 callersMethodnot

()

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

↓ 2 callersMethodplus

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemChoco.java:170

↓ 2 callersMethodplus

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemCVC3.java:455

↓ 2 callersMethodplus

(long value, Object exp)

src/main/gov/nasa/jpf/symbc/numeric/solvers/ProblemZ3Incremental.java:442

↓ 2 callersMethodpop

(int dummy)

src/examples/sequences/Stack.java:60

↓ 2 callersMethodprepareEqConstantSrc

(EdgeChar e)

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

↓ 2 callersMethodprepareEqSymbolicSrc

(EdgeChar e)

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

↓ 2 callersMethodprintln

(String msg)

src/main/gov/nasa/jpf/symbc/string/graph/StringGraph.java:569

↓ 2 callersMethodprocess

(StringConstraint sc)

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

↓ 2 callersMethodprocess

(StringConstraint sc)

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

↓ 2 callersMethodpush

(int i)

src/examples/sequences/Stack.java:51

↓ 2 callersMethodquery

Sends a message and exits. @param message String the message to be sent @return nothing

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

↓ 2 callersMethodread_current

()

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

↓ 2 callersMethodrealSelect

(Object exp1, Object exp2)

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

↓ 2 callersMethodrealStore

(Object exp1, Object exp2, Object exp3)

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

↓ 2 callersMethodreset

()

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

↓ 2 callersMethodsendMessage

(String msg)

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

↓ 2 callersMethodsetArgAttributes

(Object [] _attributes)

src/main/gov/nasa/jpf/symbc/sequences/SequenceChoiceGenerator.java:86

↓ 2 callersMethodsetArgValues

(Object [] _argValues)

src/main/gov/nasa/jpf/symbc/sequences/SequenceChoiceGenerator.java:78

↓ 2 callersMethodsetComparator

(Comparator c)

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

↓ 2 callersMethodsetNpc

(PathCondition npc)

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

↓ 2 callersMethodsetRGB

(int x, int y, int rgb)

src/classes/java/awt/image/BufferedImage.java:107

↓ 2 callersMethodsetRepresent

(StringSymbolic ss)

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

← previous next →701–800 of 5,046, ranked by callers