def METHOD_NAME():
    slicing_test = angr.Project(
        os.path.join(test_location, "x86_64", "cfg_1"),
        use_sim_procedures=True,
        default_analysis_mode="symbolic",
        auto_load_libs=False,
    )
    l.info("Control Flow Slicing")
    start = time.time()
    cfg = slicing_test.analyses.CFGEmulated(context_sensitivity_level=2)
    end = time.time()
    duration = end - start
    l.info("CFG generation is done in %f seconds.", duration)
    target = cfg.get_any_node(0x400594)
    bs = slicing_test.analyses.BackwardSlice(cfg, None, None, targets=[(target, -1)], control_flow_slice=True)
    anno_cfg = bs.annotated_cfg()
    assert anno_cfg.get_whitelisted_statements(0x40057C) is None
    assert anno_cfg.get_whitelisted_statements(0x400594) is None
    assert anno_cfg.get_whitelisted_statements(0x4005A4) == []