angr.simos.cgc

class angr.simos.cgc.SimCGC

Bases: SimUserland

Environment configuration for the CGC DECREE platform

__init__(project, **kwargs)

state_blank(flag_page=None, allocate_stack_page_count=256, **kwargs)

Parameters:

• flag_page – Flag page content, either a string or a list of BV8s

• allocate_stack_page_count – Number of pages to pre-allocate for stack

state_entry(add_options=None, **kwargs)