hub / github.com/OSUSecLab/FirmXRay / findAllExecPaths

Method findAllExecPaths

src/core/ExecutionPathFinder.java:32–93 · view source on GitHub ↗

Find all execution paths to the current address in the current function @param address target address @param initial initial variable set to taint @return execution paths

(Program p, Address address, List<String> initial)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

solveAllSTRInsMethod · 0.95

startMethod · 0.95

Calls 9

locateBlockWithAddressMethod · 0.95

printWMethod · 0.95

addInstMethod · 0.95

taintDecisionMethod · 0.95

isTaintFinishMethod · 0.95

getPreviousBlocksMethod · 0.95

printMethod · 0.95

dfsSearchPathMethod · 0.95

cloneMethod · 0.95

Tested by

no test coverage detected