mal-lang / mal-toolbox

Apache License 2.0
4 stars 2 forks source link

Reachability calc #81

Open mrkickling opened 2 months ago

mrkickling commented 2 months ago

Add a way to calculate reachability for each attacker on each attackgraph node. A reachable node is a node that can be traversed by an attacker any time in the future from the current state.