SYMBOL INDEX (215 symbols across 14 files)

FILE: source/BOPC.py
  function parse_args (line 58) | def parse_args():
  function load (line 278) | def load( filename ):
  function abstract (line 330) | def abstract( mark, mode, filename ):
  function capability_analyses (line 356) | def capability_analyses( cap ):

FILE: source/absblk.py
  class abstract_ng (line 152) | class abstract_ng( object ):
    method __reg_w (line 163) | def __reg_w( self, state ):
    method __mem_r (line 331) | def __mem_r( self, state ):
    method __mem_w (line 347) | def __mem_w( self, state ):
    method __call (line 409) | def __call( self, state ):
    method __cond (line 453) | def __cond( self, state ):
    method __add_sym_vars (line 612) | def __add_sym_vars( self, addr_expr ):
    method __memread_callback (line 640) | def __memread_callback( self, state ):
    method __regwrite_callback (line 706) | def __regwrite_callback( self, state ):
    method __sig_handler (line 847) | def __sig_handler( self, signum, frame ):
    method __init__ (line 872) | def __init__( self, project, addr ):
    method __getitem__ (line 1119) | def __getitem__( self, what ):
    method __iter__ (line 1142) | def __iter__( self ):

FILE: source/calls.py
  function find_syscall (line 144) | def find_syscall( name ):
  function find_libcall (line 165) | def find_libcall( name ):
  function find_call (line 186) | def find_call( name ):

FILE: source/capability.py
  class capability (line 67) | class capability( object ):
    method __add (line 94) | def __add( self, addr, ty, reg=None, val=None, mode=None, isW=None, op...
    method __init__ (line 122) | def __init__( self, cfg, name ):
    method build (line 145) | def build( self, options=CAP_ALL ):
    method get (line 424) | def get( self ):
    method save (line 434) | def save( self ):
    method explore (line 494) | def explore( self ):
    method analyze (line 586) | def analyze( self, *analyses ):
    method analyze_island (line 614) | def analyze_island( self, addr, *analyses ):
    method callback (line 656) | def callback( self, cbfunc ):
    method __analyze_stmt_comb_ctr (line 671) | def __analyze_stmt_comb_ctr( self, island ):
    method __analyze_stmt_min_dist (line 720) | def __analyze_stmt_min_dist( self, island ):
    method __analyze_loops (line 783) | def __analyze_loops( self, island ):

FILE: source/compile.py
  class compile (line 132) | class compile( object ):
    method __syn_err (line 156) | def __syn_err( self, err, lineno ):
    method __sem_err (line 168) | def __sem_err( self, err ):
    method __sem_warn (line 180) | def __sem_warn( self, msg ):
    method __multi_re (line 195) | def __multi_re( self, stmt, regex, err ):
    method __ir_add (line 215) | def __ir_add( self, tup ):
    method __check_prog_state (line 238) | def __check_prog_state( func ):
    method __stmt_program (line 257) | def __stmt_program( self, stmt ):
    method __stmt_var (line 296) | def __stmt_var( self, stmt ):
    method __stmt_reg (line 378) | def __stmt_reg( self, stmt ):
    method __stmt_memwr (line 437) | def __stmt_memwr( self, stmt ):
    method __stmt_call (line 455) | def __stmt_call( self, stmt ):
    method __stmt_label (line 504) | def __stmt_label( self, stmt ):
    method __stmt_cond (line 529) | def __stmt_cond( self, stmt ):
    method __stmt_jump (line 560) | def __stmt_jump( self, stmt ):
    method __stmt_return (line 577) | def __stmt_return( self, stmt ):
    method __do_syntax_parsing (line 594) | def __do_syntax_parsing( self, tokens ):
    method __fix_jump_targets (line 701) | def __fix_jump_targets( self ):
    method __do_semantic_checks (line 722) | def __do_semantic_checks( self ):
    method _calc_stats (line 884) | def _calc_stats( self ):
    method __init__ (line 923) | def __init__( self, filename ):
    method __getitem__ (line 936) | def __getitem__( self, idx ):
    method __len__ (line 952) | def __len__( self ):
    method __iter__ (line 963) | def __iter__( self ):
    method compile (line 976) | def compile( self ):
    method get_ir (line 1043) | def get_ir( self ):

FILE: source/coreutils.py
  function set_dbg_lvl (line 98) | def set_dbg_lvl( lvl ):
  function to_uid (line 110) | def to_uid( pc ):
  function pretty_list (line 125) | def pretty_list( uglylist, delimiter=' - '):
  function to_edges (line 160) | def to_edges( path, direction='forward' ):
  function mk_reverse_adj (line 178) | def mk_reverse_adj( adj ):
  function disjoint (line 196) | def disjoint( set_a, set_b ):
  function log (line 212) | def log( msg ):
  function now (line 228) | def now():
  function dbg_prnt (line 241) | def dbg_prnt( lvl, msg, pre='[+] ' ):
  function dbg_arb (line 256) | def dbg_arb( lvl, msg, arb, pre='[+] ' ):
  function func_name (line 269) | def func_name ( addr ):
  function fatal (line 284) | def fatal( err ):
  function error (line 297) | def error( err ):
  function warn (line 308) | def warn( warn, lvl=DBG_LVL_0 ):
  function emph (line 322) | def emph( msg, lvl=DBG_LVL_0 , pre='[*] '):
  function bold (line 337) | def bold( num, ty='int', pad=None ):
  function bolds (line 354) | def bolds( string ):
  function rainbow (line 365) | def rainbow( string ):
  class _node_colors (line 410) | class _node_colors( object ):
    method __init__ (line 416) | def __init__( self ):
    method __setitem__ (line 423) | def __setitem__( self, color, nodeset ):
    method __iter__ (line 431) | def __iter__( self ):
    method __contains__ (line 439) | def __contains__( self, node ):
    method get_nodes (line 446) | def get_nodes( self ):
  function __get_dg_layers (line 460) | def __get_dg_layers( delta_graph ):
  function __get_dg_layer_nodes (line 472) | def __get_dg_layer_nodes( delta_graph, layer_id ):
  function visualize (line 500) | def visualize( graph, gtype='', options=VO_NONE, entry=-1, filename=None...

FILE: source/delta.py
  class delta (line 50) | class delta( P._cs_ksp_intrl ):
    method __dijkstra_av (line 65) | def __dijkstra_av( self, src, dst, extra=None ):
    class __maxheap_obj (line 136) | class __maxheap_obj( object ):
      method __init__ (line 137) | def __init__( self, tw, Hk ):           # store total weight and ind...
      method __eq__ (line 140) | def __eq__( self, obj ):                # == operator: Compare total...
      method __lt__ (line 143) | def __lt__( self, obj ):                # < operator: Invert condition
    method __enum_induced_subgraphs (line 164) | def __enum_induced_subgraphs( self, depth, V ):
    method __init__ (line 298) | def __init__( self, graph, entry, accepted, clobbering, adj):
    method k_min_induced_subgraphs (line 590) | def k_min_induced_subgraphs( self, K ):
    method __enum_paths (line 660) | def __enum_paths( self, curr, graph, P, __visited, F=lambda x: x ):
    method flatten_graph (line 706) | def flatten_graph( self, graph ):

FILE: source/map.py
  class _match (line 62) | class _match( object ):
    method __D (line 77) | def __D( self, G, M ):
    method __matchings_iter (line 105) | def __matchings_iter( self, G, M, D ):
    method __max_matchings_recursion (line 222) | def __max_matchings_recursion( self, G, depth, M ):
    method __init__ (line 255) | def __init__( self, graph, mode ):
    method __del__ (line 284) | def __del__( self ):
    method enum_max_matchings (line 295) | def enum_max_matchings( self, callback, n=-1 ):
    method enum_max_matchings_bf (line 359) | def enum_max_matchings_bf( self, callback, n ):
  class map (line 376) | class map( object ):
    method __intrl_callback_var (line 391) | def __intrl_callback_var( self, match ):
    method __intrl_callback_reg (line 407) | def __intrl_callback_reg( self, match ):
    method __init__ (line 445) | def __init__( self, graph, nregs, nvars ):
    method enum_mappings (line 457) | def enum_mappings( self, callback ):

FILE: source/mark.py
  class mark (line 66) | class mark( object ):
    method __blk_cnt (line 78) | def __blk_cnt( self, avoid=[], which='all'):
    method __blk_iter (line 130) | def __blk_iter( self, avoid=[], method='block' ):
    method __reg_filter (line 211) | def __reg_filter( self, reg ):
    method __imm_addr (line 239) | def __imm_addr( self, address, abstr ):
    method __mk_unique (line 263) | def __mk_unique(self, addrstr, sym):
    method __init__ (line 311) | def __init__( self, project, cfg, ir, avoid=[] ):
    method abstract_cfg (line 347) | def abstract_cfg( self ):
    method save_abstractions (line 406) | def save_abstractions( self, filename ):
    method load_abstractions (line 444) | def load_abstractions( self, filename ):
    method mark_candidate (line 492) | def mark_candidate( self, forced_mapping=[] ):
    method mark_accepted (line 1094) | def mark_accepted( self, rmap, vmap ):
    method mark_clobbering (line 1262) | def mark_clobbering( self, rmap, vmap ):
    method __get_stmt_regs (line 1477) | def __get_stmt_regs( self, stmt ):
    method __is_clobbering (line 1497) | def __is_clobbering( self, s1, s2 ):

FILE: source/optimize.py
  class optimize (line 42) | class optimize( C.compile ):
    method __get_stmt_regs (line 53) | def __get_stmt_regs( self, stmt ):
    method __depends (line 83) | def __depends( self, s1, s2 ):
    method __ooo_intrl (line 147) | def __ooo_intrl( self, stmt_l ):
    method __ooo (line 218) | def __ooo( self  ):
    method __label_remove (line 254) | def __label_remove( self ):
    method __rewrite (line 277) | def __rewrite( self ):
    method __future (line 300) | def __future( self ):
    method __init__ (line 316) | def __init__( self, ir ):
    method __getitem__ (line 333) | def __getitem__( self, idx ):
    method optimize (line 351) | def optimize( self, mode ):
    method itergroup (line 389) | def itergroup( self ):
    method get_ir (line 400) | def get_ir( self ):
    method emit (line 410) | def emit( self, filename ):

FILE: source/output.py
  class output (line 43) | class output( object ):
    method __init__ (line 53) | def __init__( self, fmt ):
    method comment (line 73) | def comment( self, comment ):
    method newline (line 83) | def newline( self ):
    method breakpoint (line 94) | def breakpoint( self, address ):
    method register (line 106) | def register( self, register, value, comment='' ):
    method memory (line 124) | def memory( self, address, value, size ):
    method external (line 140) | def external( self, line ):
    method alloc (line 152) | def alloc( self, varname, size ):
    method set (line 164) | def set( self, name, value ):
    method save (line 175) | def save( self, binary ):

FILE: source/path.py
  class _queue_obj (line 68) | class _queue_obj( object ):
    method __init__ (line 79) | def __init__( self, data, weight ):
    method __cmp__ (line 91) | def __cmp__( self, other ):
  class _cs_ksp_intrl (line 113) | class _cs_ksp_intrl( object ):
    method __get_precall_stack (line 128) | def __get_precall_stack( self, path, node=None ):
    method __init__ (line 164) | def __init__( self, graph, shortest_path_cb, f ):
    method k_shortest_paths (line 187) | def k_shortest_paths( self, source, destination, cur_uid, K ):
    method k_shortest_loops (line 348) | def k_shortest_loops( self, source, cur_uid, K ):
  class _cfg_shortest_path (line 428) | class _cfg_shortest_path( _cs_ksp_intrl ):
    method __valid_neighbors (line 440) | def __valid_neighbors( self, node ):
    method __depth_metric (line 673) | def __depth_metric( self, retns ):
    method __clob_stmts (line 703) | def __clob_stmts( self, cur_uid ):
    method __dijkstra_variant_rcsv (line 738) | def __dijkstra_variant_rcsv( self, root, finals=[], precall_stack=[], ...
    method __dijkstra_variant (line 1052) | def __dijkstra_variant( self, root, finals=[], cur_uid=-1, precall_sta...
    method __spur_shortest_path (line 1131) | def __spur_shortest_path( self, spur, dst, cur_uid=-1, precall_stack=[...
    method __init__ (line 1262) | def __init__( self, cfg, clobbering={ }, adj={ } ):
    method shortest_path (line 1294) | def shortest_path( self, src, dst, cur_uid=-1 ):
    method shortest_loop (line 1345) | def shortest_loop( self, src, cur_uid=-1 ):

FILE: source/search.py
  class search (line 45) | class search:
    method __remove_goto (line 60) | def __remove_goto( self, accepted, adj ):
    method __mk_adjacency_list (line 105) | def __mk_adjacency_list( self, stmt_l ):
    method __mk_reverse_adjacency_list (line 150) | def __mk_reverse_adjacency_list( self, adj ):
    method __shuffle (line 170) | def __shuffle( self, accepted ):
    method __enum_tree (line 255) | def __enum_tree( self, tree, simulation, path=[], prev_uid=-1, totpath...
    method __consistent_stashes (line 430) | def __consistent_stashes( self ):
    method __mapping_callback (line 524) | def __mapping_callback( self, regmap, varmap ):
    method __init__ (line 878) | def __init__( self, project, cfg, IR, entry, options ):
    method trace_searching (line 905) | def trace_searching( self, mark ):
    method raw_results (line 927) | def raw_results( self ):

FILE: source/simulate.py
  class simulate (line 91) | class simulate:
    method __sig_handler (line 105) | def __sig_handler( self, signum, frame ):
    method __in_constraints (line 124) | def __in_constraints( self, symv, state=None ):
    method __getreg (line 178) | def __getreg( self, reg, state=None ):
    method __mread (line 219) | def __mread( self, state, addr, length ):
    method __mwrite (line 247) | def __mwrite( self, state, addr, length, value ):
    method __get_permissions (line 271) | def __get_permissions( self, addr, length=1, state=None ):
    method __symv_in (line 320) | def __symv_in( self, symexpr, symv ):
    method __alloc_un (line 353) | def __alloc_un( self, state, symv ):
    method __init_mem (line 429) | def __init_mem( self, state, addr, length=MAX_MEM_UNIT_BYTES ):
    method __dbg_read_hook (line 490) | def __dbg_read_hook( self, state ):
    method __dbg_write_hook (line 555) | def __dbg_write_hook( self, state ):
    method __dbg_symv_hook (line 680) | def __dbg_symv_hook( self, state ):
    method __dbg_reg_wr_hook (line 703) | def __dbg_reg_wr_hook( self, state ):
    method __dbg_call_hook (line 783) | def __dbg_call_hook( self, state ):
    method __get_var_values (line 873) | def __get_var_values( self, variable ):
    method __pool_RSVP (line 890) | def __pool_RSVP( self, variable ):
    method __init_variable_rcsv (line 935) | def __init_variable_rcsv( self, variable, depth=0 ):
    method __init_vars (line 1028) | def __init_vars( self, varmap ):
    method __mem_RSVPs (line 1080) | def __mem_RSVPs( self, state, cur_blk, cur_uid ):
    method __simulate_subpath (line 1362) | def __simulate_subpath( self, sublen, subpath, mode ):
    method __init__ (line 1491) | def __init__( self, project, cfg, clobbering, adj, IR, regmap, varmap,...
    method __check_regsets (line 1643) | def __check_regsets( self, state=None ):
    method simulate_edge (line 1701) | def simulate_edge( self, currb, nextb, uid, loopback=False ):
    method finalize (line 1865) | def finalize( self ):
    method step (line 2022) | def step( self, stmt ):
    method clone (line 2132) | def clone( self, condreg ):
    method copy_locally (line 2225) | def copy_locally( self ):
    method update_globals (line 2255) | def update_globals( self ):
    method stash_context (line 2276) | def stash_context( self ):
    method drop_context_stash (line 2298) | def drop_context_stash( self ):
    method unstash_context (line 2320) | def unstash_context( self ):
    method constraints (line 2356) | def constraints( self ):
    method __make_relative (line 2367) | def __make_relative( self, addr ):
    method __is_relative (line 2428) | def __is_relative( self, addr ):
    method dump (line 2459) | def dump( self, output ):