module greed.analyses.access_control_slots

function dump_slice

dump_slice(full_slice, func, filename)

function get_access_control_slots

get_access_control_slots(project)

class ReverseExplorerState

method __init__

__init__(
    project,
    func,
    target: str,
    caller=None,
    slices_stmts=None,
    slices_vars=None
)

method is_stmt

is_stmt()

method step

step()

class ReverseExplorer

method __init__

__init__(project, first_state)

method run

run()

This file was automatically generated via lazydocs.