MCPcopy Create free account
hub / github.com/aalhuz/navex / DynamicSolver

Class DynamicSolver

src/solver/DynamicSolver.java:21–35  ·  view source on GitHub ↗

@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 traversal that searches execution traces. Formula : In file: :login.php, line: 67, id: 60, var: _GET__mode, map: [mode:_GET__mode, username:_POST__username

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected