Types & classes — github.com/aalhuz/navex

CodeHub MCPcopy Create free account

hub / github.com/aalhuz/navex / types & classes

Types & classes23 in github.com/aalhuz/navex

⨍ Functions 203◇ Types & classes 23

ClassAttackStrings

src/solver/AttackStrings.java:13

ClassBasicCrawlController

@author Yasser Ganjisaffar @modified by: Abeer Alhuzali

src/BasicCrawlController.java:69

ClassCrawlerFilter

src/CrawlerFilter.java:24

ClassDatabaseNode

src/graphDatabase/DatabaseNode.java:12

ClassDynamicSolver

@author Abeer Alhuzali this class is used to build formulas from the AST in the Code Property Graph input is the list of mappings generated a traversa

src/solver/DynamicSolver.java:21

src/graphDatabase/EdgeTypes.java:12

src/formula/Formula.java:12

src/HTMLForm.java:29

src/formula/InferType.java:17

src/Main.java:36

ClassNavigationDatabaseNode

@author Abeer Alhuzali Navigation Graph Nodes For more information, please read "NAVEX: Precise and Scalable Exploit Generation for Dynamic Web Applic

src/graphDatabase/NavigationDatabaseNode.java:34

ClassNeoGraphDatabase

@author Abeer Alhuzali this is the implementation of creating the navigation graph (a neo4j graph database) using Jason.

src/graphDatabase/NeoGraphDatabase.java:36

src/graphDatabase/NodeKeys.java:13

src/Options.java:11

src/graphDatabase/NeoGraphDatabase.java:55

src/solver/Solver.java:18

ClassSolverModel

src/solver/SolverModel.java:59

ClassStaticFormulaInfo

src/formula/StaticFormulaInfo.java:11

ClassStaticSolver

src/solver/StaticSolver.java:28

ClassStreamGobbler

src/solver/StreamGobbler.java:6

src/formula/Trace.java:11

ClassTraceAnalysis

src/formula/TraceAnalysis.java:19

src/solver/SolverModel.java:65