Functions — github.com/aalhuz/navex

hub / github.com/aalhuz/navex / functions

Functions203 in github.com/aalhuz/navex

⨍ Functions 203◇ Types & classes 23

↓ 161 callersMethodgetLeftOp

()

src/formula/Formula.java:105

↓ 139 callersMethodfilterString

(String string)

src/solver/Solver.java:2344

↓ 99 callersMethodgetRightOp

()

src/formula/Formula.java:113

↓ 28 callersMethodequals

(final Object obj)

src/formula/Formula.java:144

↓ 27 callersMethodgetUrl

()

src/solver/SolverModel.java:70

↓ 21 callersMethodcheckNotConstString

(String str)

src/solver/Solver.java:2351

↓ 20 callersMethodgetOperator

()

src/formula/Formula.java:121

↓ 12 callersMethodtoString

()

src/graphDatabase/NavigationDatabaseNode.java:256

↓ 10 callersMethodgetSolution

()

src/solver/SolverModel.java:81

↓ 10 callersMethodgetSource

()

src/formula/Formula.java:34

↓ 9 callersMethodtoString

()

src/solver/SolverModel.java:152

↓ 6 callersMethoddeclareTraceHelper

(Formula f1)

src/solver/Solver.java:761

↓ 6 callersMethodgetForm

()

src/HTMLForm.java:64

↓ 6 callersMethodgetNode

()

src/graphDatabase/NavigationDatabaseNode.java:43

↓ 6 callersMethodgetUrl

()

src/graphDatabase/NavigationDatabaseNode.java:71

↓ 5 callersMethodgetAssertion

()

src/solver/Solver.java:52

↓ 5 callersMethodgetUrl

()

src/HTMLForm.java:96

↓ 4 callersMethodgetVarValue

()

src/solver/SolverModel.java:105

↓ 4 callersMethodperlEscape

(String csUniq)

src/formula/InferType.java:152

↓ 3 callersMethodequals

(final Object obj)

src/graphDatabase/NavigationDatabaseNode.java:282

↓ 3 callersMethodgetAllPages

()

src/CrawlerFilter.java:44

↓ 3 callersMethodgetAttackStrinsList

(String nameOfList)

src/solver/AttackStrings.java:156

↓ 3 callersMethodgetFile

()

src/formula/StaticFormulaInfo.java:36

↓ 3 callersMethodgetFormName

()

src/HTMLForm.java:80

↓ 3 callersMethodgetFormula

()

src/formula/StaticFormulaInfo.java:28

↓ 3 callersMethodgetNvps

()

src/solver/SolverModel.java:97

↓ 3 callersMethodgetSinkType

()

src/formula/StaticFormulaInfo.java:20

↓ 3 callersMethodgetTraceVarValue

()

src/solver/SolverModel.java:101

↓ 3 callersMethodgetZ3FormFormulas

()

src/HTMLForm.java:104

↓ 3 callersMethodinvokeSolver

(String cFile)

src/Main.java:280

↓ 3 callersMethodmain

(String[] args, PageFetcher pageFetcher)

src/solver/SolverModel.java:130

↓ 3 callersMethodprepareSolver

()

src/solver/Solver.java:77

↓ 2 callersMethodStartNeoDb

@param page @param form @param type: either form or link @param params : for post request in forms , if it is a link, then it will be null @param smet

src/graphDatabase/NeoGraphDatabase.java:68

↓ 2 callersMethodaddLable

(URI nodeUri)

src/graphDatabase/NeoGraphDatabase.java:218

↓ 2 callersMethodaddNavigationNodeProperty

(NavigationDatabaseNode ndn, URI nodeUri)

src/graphDatabase/NeoGraphDatabase.java:192

↓ 2 callersMethodaddProperty

( URI nodeUri, String propertyName, String propertyValue )

src/graphDatabase/NeoGraphDatabase.java:239

↓ 2 callersMethodaddRelationship

( URI startNode, URI endNode, String relationshipType )

src/graphDatabase/NeoGraphDatabase.java:307

↓ 2 callersMethodcreateNode

()

src/graphDatabase/NeoGraphDatabase.java:167

↓ 2 callersMethodfindNode

(HashSet<NavigationDatabaseNode> nodes, String url)

src/graphDatabase/NavigationDatabaseNode.java:262

↓ 2 callersMethodfindSrcUrl

(String url)

src/solver/StaticSolver.java:281

↓ 2 callersMethodgetLineno

()

src/formula/StaticFormulaInfo.java:44

↓ 2 callersMethodgetNode_id

()

src/formula/StaticFormulaInfo.java:52

↓ 2 callersMethodgetOutLinks

()

src/graphDatabase/NavigationDatabaseNode.java:90

↓ 2 callersMethodgetSuperGlobals

()

src/formula/Formula.java:221

↓ 2 callersMethodgetType

()

src/formula/Formula.java:42

↓ 2 callersMethodgetUnique_id

()

src/formula/StaticFormulaInfo.java:75

↓ 2 callersMethodresolveIncludeMapAndSolverModel

(SolverModel model, HashMap<String, ArrayList<String>> incMap, String fileName)

src/solver/StaticSolver.java:325

↓ 2 callersMethodsetNegate

(boolean negate)

src/solver/Solver.java:21

↓ 2 callersMethodstart

(Trace t, HTMLForm form)

src/formula/TraceAnalysis.java:22

↓ 2 callersMethodtoString

()

src/HTMLForm.java:133

↓ 2 callersMethodtranslateASTAssignFormula

(Formula form)

src/solver/Solver.java:2005

↓ 1 callersMethodCreateIncludeMapResolutionFile

(SolverModel model, String get, ArrayList<String> candidateUrls, List<NameValuePair> varval, HashMap<String

src/solver/StaticSolver.java:140

↓ 1 callersMethodFormulaTranslation

(HashSet<Formula> z3FormulaList2)

src/solver/Solver.java:816

↓ 1 callersMethodaddLinksStart

()

src/graphDatabase/NeoGraphDatabase.java:262

↓ 1 callersMethodaddNavigationNodePropertyForm

(NavigationDatabaseNode ndn, URI dest)

src/graphDatabase/NeoGraphDatabase.java:206

↓ 1 callersMethodaddPage

(Page p)

src/CrawlerFilter.java:49

↓ 1 callersMethodaddToAllForms

(Set<HTMLForm> forms)

src/CrawlerFilter.java:39

↓ 1 callersMethodaddTraceVarValue

(String key, String value)

src/solver/SolverModel.java:227

↓ 1 callersMethodaddVarValue

(String var, String value)

src/solver/SolverModel.java:113

↓ 1 callersMethodassignAttackStrings

(HashSet<Formula> z3FormulaList, String sinkType)

src/solver/Solver.java:688

↓ 1 callersMethodcheckDatabaseIsRunning

()

src/graphDatabase/NeoGraphDatabase.java:352

↓ 1 callersMethodcrawlerMain

(String[] args, NeoGraphDatabase graph)

src/BasicCrawlController.java:72

↓ 1 callersMethodcreateDbforForm

(Page page, HTMLForm form, List<NameValuePair> params, String method)

src/graphDatabase/NeoGraphDatabase.java:83

↓ 1 callersMethodcreateDbforLink

(Page page)

src/graphDatabase/NeoGraphDatabase.java:120

↓ 1 callersMethodcreateProperties

()

src/graphDatabase/DatabaseNode.java:16

↓ 1 callersMethodcreatePropertiesForms

()

src/graphDatabase/DatabaseNode.java:17

↓ 1 callersMethodextractJSConstraints

(String srcFile)

src/Main.java:307

↓ 1 callersMethodfindURI

(String url)

src/graphDatabase/NeoGraphDatabase.java:293

↓ 1 callersMethodgenDeclarations

@return the set of variable declarations

src/solver/Solver.java:126

↓ 1 callersMethodgenHttpRequestFromModel

(String method, String action, String modelType, PageFetcher pageFetcher)

src/solver/SolverModel.java:234

↓ 1 callersMethodgenerateJsonRelationship

( URI endNode, String relationshipType )

src/graphDatabase/NeoGraphDatabase.java:333

↓ 1 callersMethodgetClientFormula

()

src/formula/Trace.java:35

↓ 1 callersMethodgetDeclarationTrace

(Formula f1)

src/solver/Solver.java:152

↓ 1 callersMethodgetGetMap

()

src/solver/SolverModel.java:300

↓ 1 callersMethodgetHelperFuncs

()

src/HTMLForm.java:619

↓ 1 callersMethodgetHttpRequest

(String action, String modelType, PageFetcher pageFetcher)

src/solver/SolverModel.java:337

↓ 1 callersMethodgetLoginFile

()

src/Options.java:13

↓ 1 callersMethodgetReturnVar

()

src/formula/Formula.java:50

↓ 1 callersMethodgetServerFormula

()

src/solver/DynamicSolver.java:27

↓ 1 callersMethodgetSolver

(StaticFormulaInfo s)

src/solver/StaticSolver.java:249

↓ 1 callersMethodhandleAssignFormula

(Formula f1)

src/solver/Solver.java:801

↓ 1 callersMethodhandleOptionFormula

(Formula f1)

src/solver/Solver.java:788

↓ 1 callersMethodinferType

(String sValue)

src/formula/InferType.java:43

↓ 1 callersMethodinitialize

(Object n)

src/graphDatabase/NavigationDatabaseNode.java:61

↓ 1 callersMethodinvokeTraversal

()

src/Main.java:254

↓ 1 callersMethodmainHelper

(HashSet<StaticFormulaInfo> st, String attackType)

src/solver/StaticSolver.java:81

↓ 1 callersMethodpostHttpRequest

(String action, String modelType, PageFetcher pageFetcher)

src/solver/SolverModel.java:394

↓ 1 callersMethodpreprocessClientFormula

(HashSet<Formula> clientFormula, HTMLForm form)

src/formula/TraceAnalysis.java:46

↓ 1 callersMethodprocessModel

(SolverModel model, HashMap<String, ArrayList<String>> incMap ,String get , ArrayList<String> candidateUrls

src/solver/StaticSolver.java:234

↓ 1 callersMethodprocessSolverModel

(String file)

src/solver/SolverModel.java:157

↓ 1 callersMethodsetGetMap

(HashMap<String, String> getMap)

src/solver/SolverModel.java:304

↓ 1 callersMethodsetLeftOp

(ArrayList<String> leftOp)

src/formula/Formula.java:109

↓ 1 callersMethodsetNewClientFormula

(HashSet<Formula> newC)

src/formula/Trace.java:51

↓ 1 callersMethodsetNvps

(List<NameValuePair> nvps2)

src/solver/SolverModel.java:93

↓ 1 callersMethodsetRightOp

(String rightOp)

src/formula/Formula.java:117

↓ 1 callersMethodsetSolution

(String solution)

src/solver/SolverModel.java:85

↓ 1 callersMethodsetUrl

(String url)

src/solver/SolverModel.java:74

↓ 1 callersMethodstartCrawlling

(String crawlStorageFolder, int numberOfCrawlers, String[] authList, String seed, NeoGraphDatabase graph)

src/BasicCrawlController.java:116

↓ 1 callersMethodstartCreatingDB

(NeoGraphDatabase graph)

src/BasicCrawlController.java:256

↓ 1 callersMethodstartFormAnalyzer

(PageFetcher pageFetcher, NeoGraphDatabase graph)

src/Main.java:80

next →1–100 of 203, ranked by callers