Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/aalhuz/navex
/ functions
Functions
203 in github.com/aalhuz/navex
⨍
Functions
203
◇
Types & classes
23
↓ 1 callers
Method
staticGetMap
(String action , HashMap<String, String> getMap)
src/solver/SolverModel.java:308
↓ 1 callers
Method
stripTags
(Formula form, int c, int co)
src/solver/Solver.java:2206
↓ 1 callers
Method
traceModelPreprocessing
()
src/solver/SolverModel.java:216
↓ 1 callers
Method
translateASTConditional
(Formula form)
src/solver/Solver.java:2101
↓ 1 callers
Method
translateAddslashesFormula
(Formula form)
src/solver/Solver.java:1388
↓ 1 callers
Method
translateAssignFormula
(Formula form)
src/solver/Solver.java:2160
↓ 1 callers
Method
translateConcat
(Formula formula)
src/solver/Solver.java:1092
↓ 1 callers
Method
translateEmptyFormula
(Formula f1)
src/solver/Solver.java:1437
↓ 1 callers
Method
translateEscapeshellarg
(Formula form)
src/solver/Solver.java:1070
↓ 1 callers
Method
translateEscapeshellcmd
(Formula f1)
src/solver/Solver.java:974
↓ 1 callers
Method
translateExplodeFormula
(Formula form)
src/solver/Solver.java:1218
↓ 1 callers
Method
translateHtmlspecialcharsFormula
(Formula form)
src/solver/Solver.java:1845
↓ 1 callers
Method
translateIntvalFormula
(Formula form)
src/solver/Solver.java:1239
↓ 1 callers
Method
translateIs_intFormula
(Formula form)
src/solver/Solver.java:1470
↓ 1 callers
Method
translateIs_numericFormula
(Formula form)
src/solver/Solver.java:1494
↓ 1 callers
Method
translateIssetFormula
(Formula f1)
src/solver/Solver.java:1993
↓ 1 callers
Method
translateMaxLenFormula
(Formula form)
src/solver/Solver.java:2182
↓ 1 callers
Method
translateMd5Formula
(Formula form)
src/solver/Solver.java:1127
↓ 1 callers
Method
translateMysql_real_escape_stringFormula
(Formula form)
src/solver/Solver.java:1261
↓ 1 callers
Method
translateNl2brFormula
(Formula form)
src/solver/Solver.java:1536
↓ 1 callers
Method
translateORFormula
(Formula form)
src/solver/Solver.java:2132
↓ 1 callers
Method
translateRandFormula
(Formula form)
src/solver/Solver.java:1160
↓ 1 callers
Method
translateStr_replaceFormula
(Formula form)
src/solver/Solver.java:1625
↓ 1 callers
Method
translateStrcmpFormula
(Formula form)
src/solver/Solver.java:1110
↓ 1 callers
Method
translateStrip_tagsFormula
(Formula form)
src/solver/Solver.java:1607
↓ 1 callers
Method
translateStripslashesFormula
(Formula form)
src/solver/Solver.java:1338
↓ 1 callers
Method
translateStrposFormula
(Formula form)
src/solver/Solver.java:1450
↓ 1 callers
Method
translateStrstrFormula
(Formula form)
src/solver/Solver.java:1714
↓ 1 callers
Method
translateStrtr
(Formula f1)
src/solver/Solver.java:932
↓ 1 callers
Method
translateSubstrFormula
(Formula form)
src/solver/Solver.java:1548
↓ 1 callers
Method
translateUniqidFormula
(Formula form)
src/solver/Solver.java:1172
↓ 1 callers
Method
translateUrldecodeFormula
(Formula f1)
src/solver/Solver.java:1758
↓ 1 callers
Method
translateZ3model
(String cFile, String url)
src/solver/StaticSolver.java:409
Method
Formula
()
src/formula/Formula.java:14
Method
HTMLForm
(Node form, String url, String commonJS)
src/HTMLForm.java:116
Method
NavigationDatabaseNode
(Page n )
src/graphDatabase/NavigationDatabaseNode.java:104
Method
NeoGraphDatabase
()
src/graphDatabase/NeoGraphDatabase.java:47
Method
Solver
()
src/solver/Solver.java:43
Method
SolverModel
()
src/solver/SolverModel.java:120
Method
StaticFormulaInfo
()
src/formula/StaticFormulaInfo.java:60
Method
StreamGobbler
(InputStream is, String type)
src/solver/StreamGobbler.java:14
Method
Trace
()
src/formula/Trace.java:20
Method
createProperties
()
src/graphDatabase/NavigationDatabaseNode.java:136
Method
createPropertiesForms
()
src/graphDatabase/NavigationDatabaseNode.java:189
Method
findCharsUsed
(ArrayList<String> domain)
src/formula/InferType.java:176
Method
findParent
(HashSet<NavigationDatabaseNode> navNodes)
src/graphDatabase/NavigationDatabaseNode.java:216
Method
getAllForms
()
src/CrawlerFilter.java:30
Method
getCookieValue
(CookieStore cookieStore, String cookieName)
src/BasicCrawlController.java:245
Method
getData
()
src/graphDatabase/NavigationDatabaseNode.java:53
Method
getFileName
()
src/HTMLForm.java:88
Method
getFormId
()
src/HTMLForm.java:72
Method
getId
()
src/formula/Formula.java:205
Method
getIfCond
()
src/formula/Formula.java:61
Method
getNeo4jNode
()
src/graphDatabase/NavigationDatabaseNode.java:38
Method
getParent
()
src/graphDatabase/NavigationDatabaseNode.java:79
Method
getServerFormula
()
src/formula/Trace.java:43
Method
getZ3Formula
()
src/solver/Solver.java:33
Method
hashCode
()
src/formula/Formula.java:130
Method
hashCode
()
src/graphDatabase/NavigationDatabaseNode.java:271
Method
inferTypeOr
(ArrayList<String> alValues, String var)
src/formula/InferType.java:205
Method
initialize
(Object obj)
src/graphDatabase/DatabaseNode.java:14
Method
main
(String[] args)
src/Main.java:41
Method
main
(String[] args)
src/solver/StaticSolver.java:33
Method
processInputsForZ3
()
src/HTMLForm.java:145
Method
requestHttpRequest
(String action)
src/solver/SolverModel.java:332
Method
resetPages
()
src/CrawlerFilter.java:53
Method
run
()
src/solver/StreamGobbler.java:25
Method
setAllForms
(HashSet<HTMLForm> allForms)
src/CrawlerFilter.java:35
Method
setClientFormula
(HashSet<Formula> clientFormula)
src/formula/Trace.java:39
Method
setData
(HtmlParseData data)
src/graphDatabase/NavigationDatabaseNode.java:57
Method
setFile
(String file)
src/formula/StaticFormulaInfo.java:40
Method
setFileName
(String fileName)
src/HTMLForm.java:92
Method
setForm
(Node form)
src/HTMLForm.java:68
Method
setFormId
(int formId)
src/HTMLForm.java:76
Method
setFormName
(String formName)
src/HTMLForm.java:84
Method
setFormula
(HashSet<Formula> formula)
src/formula/StaticFormulaInfo.java:32
Method
setId
(String id)
src/formula/Formula.java:209
Method
setIfCond
(String ifCond)
src/formula/Formula.java:65
Method
setLineno
(String lineno)
src/formula/StaticFormulaInfo.java:48
Method
setLoginFile
(ArrayList<String> loginF)
src/Options.java:16
Method
setNeo4jNode
(Node node2)
src/graphDatabase/NavigationDatabaseNode.java:211
Method
setNode
(Page node)
src/graphDatabase/NavigationDatabaseNode.java:47
Method
setNode_id
(String node_id)
src/formula/StaticFormulaInfo.java:56
Method
setOperator
(String operator)
src/formula/Formula.java:125
Method
setOutLinks
(Set<WebURL> outLinks)
src/graphDatabase/NavigationDatabaseNode.java:94
Method
setParent
(String parent)
src/graphDatabase/NavigationDatabaseNode.java:83
Method
setReturnVar
(String returnVar)
src/formula/Formula.java:54
Method
setServerFormula
(HashSet<Formula> serverFormula)
src/formula/Trace.java:47
Method
setSinkType
(String sinkType)
src/formula/StaticFormulaInfo.java:24
Method
setSource
(String source)
src/formula/Formula.java:38
Method
setType
(String type)
src/formula/Formula.java:46
Method
setUnique_id
(String unique_id)
src/formula/StaticFormulaInfo.java:79
Method
setUrl
(String url)
src/HTMLForm.java:100
Method
setUrl
(String url)
src/graphDatabase/NavigationDatabaseNode.java:75
Method
setVarValue
(HashMap<String, String> varValue)
src/solver/SolverModel.java:109
Method
setZ3FormFormulas
(HashSet<Formula> z3FormFormulas)
src/HTMLForm.java:108
Method
setZ3Formula
(String z3Formula)
src/solver/Solver.java:38
Method
shouldVisit
(Page referringPage, WebURL url)
src/CrawlerFilter.java:64
Method
simulateJSValidation
()
src/HTMLForm.java:584
Method
toString
()
src/formula/Formula.java:199
← previous
next →
101–200 of 203, ranked by callers