A.27 SOFTWARE-EVOLUTION-LIBRARY/SOFTWARE/ASM-SUPER-MUTANT

Class: asm-super-mutant [sel/sw/asm-super-mutant]

Class precedence list: asm-super-mutant, asm-heap, asm, simple, super-mutant, software, oid-object, file-w-attributes, file, standard-object, slot-object, t

Slots:

• input-spec — initarg: :input-spec; reader: software-evolution-library/software/asm-super-mutant:input-spec

  Vector of input-specification structs, one for each test case.

• output-spec — initarg: :output-spec; reader: software-evolution-library/software/asm-super-mutant:output-spec

  Vector of input-specification structs, one for each test case.

• untraced-call-spec — initarg: :untraced-call-spec; reader: software-evolution-library/software/asm-super-mutant:untraced-call-spec

  Vector of untraced-call-specification structs, one for each test case.

• var-table — initarg: :var-table; reader: software-evolution-library/software/asm-super-mutant:var-table; writer: (setf software-evolution-library/software/asm-super-mutant:var-table)

  Vector of var-rec (data/address records)

• bss-segment — initarg: :bss-segment; reader: software-evolution-library/software/asm-super-mutant::bss-segment; writer: (setf software-evolution-library/software/asm-super-mutant::bss-segment)

  Address of bss segment in original executable

• target-name — initarg: :target-name; reader: software-evolution-library/software/asm-super-mutant::target-name; writer: (setf software-evolution-library/software/asm-super-mutant::target-name)

  Name of target function

• target-start-index — initarg: :target-start-index; reader: software-evolution-library/software/asm-super-mutant::target-start-index; writer: (setf software-evolution-library/software/asm-super-mutant::target-start-index)

  Integer index represents the first line of target code.

• target-end-index — initarg: :target-end-index; reader: software-evolution-library/software/asm-super-mutant::target-end-index; writer: (setf software-evolution-library/software/asm-super-mutant::target-end-index)

  Integer index represents the last line of target code.

• target-info — initarg: :target-info; reader: software-evolution-library/software/asm-super-mutant:target-info; writer: (setf software-evolution-library/software/asm-super-mutant:target-info)

  Function index entry of the target function

• target-lines — initarg: :target-lines; reader: software-evolution-library/software/asm-super-mutant::target-lines; writer: (setf software-evolution-library/software/asm-super-mutant::target-lines)

  Cache the lines of the target code, as they are used often.

• compiler — initarg: :compiler; reader: software-evolution-library/software/asm-super-mutant:compiler

  C compiler to use for building fitness harness.

• static-link — initarg: :static-link; reader: software-evolution-library/software/asm-super-mutant:static-link

  If true, attempt static link.

• io-dir — initarg: :io-dir; reader: software-evolution-library/software/asm-super-mutant::io-dir

  Directory containing I/O files, named for the functions.

• io-file — initarg: :io-file; reader: software-evolution-library/software/asm-super-mutant::io-file; writer: (setf software-evolution-library/software/asm-super-mutant::io-file)

  If this is specified, use this file (ignore io-dir).

• data-path — initarg: :data-path; reader: software-evolution-library/software/asm-super-mutant:data-path; writer: (setf software-evolution-library/software/asm-super-mutant:data-path)

  If specified, refers to asm file containing static data definitions

• data-asm — reader: software-evolution-library/software/asm-super-mutant:data-asm; writer: (setf software-evolution-library/software/asm-super-mutant:data-asm)

  If present, contains the asm-heap corresponding to data-path

• static-names — reader: software-evolution-library/software/asm-super-mutant::static-names; writer: (setf software-evolution-library/software/asm-super-mutant::static-names)

  If present, contains property list mapping static names to addresses

• page-block-list — initarg: :page-block-list; reader: software-evolution-library/software/asm-super-mutant::page-block-list; writer: (setf software-evolution-library/software/asm-super-mutant::page-block-list)

  Derived from io-file data, memory blocks which need to be allocated by the fitness executables

• fitness-harness — initarg: :fitness-harness; reader: software-evolution-library/software/asm-super-mutant:fitness-harness; writer: (setf software-evolution-library/software/asm-super-mutant:fitness-harness)

  Pathname to the fitness harness file (c program source)

• include-lines — initarg: :include-lines; reader: software-evolution-library/software/asm-super-mutant::include-lines; writer: (setf software-evolution-library/software/asm-super-mutant::include-lines)

  Optional list of lines of assembler source to include in fitness file.

• include-funcs — initarg: :include-funcs; reader: software-evolution-library/software/asm-super-mutant::include-funcs; writer: (setf software-evolution-library/software/asm-super-mutant::include-funcs)

  Optional list of names of functions to include in fitness file.

• libraries — initarg: :libraries; reader: software-evolution-library/software/asm-super-mutant::libraries; writer: (setf software-evolution-library/software/asm-super-mutant::libraries)

  Optional list of names of functions to include in fitness file.

• max-asm-function-size — initarg: :max-asm-function-size; reader: software-evolution-library/software/asm-super-mutant::max-asm-function-size; writer: (setf software-evolution-library/software/asm-super-mutant::max-asm-function-size)

  Maximum number of lines in a function for optimization.

• eval-meta-results — initarg: :eval-meta-results; reader: software-evolution-library/software/asm-super-mutant:eval-meta-results; writer: (setf software-evolution-library/software/asm-super-mutant:eval-meta-results)

  After evaluation, may contain meta-information about results.

• linker-script — initarg: :linker-script; reader: software-evolution-library/software/asm-super-mutant::linker-script; writer: (setf software-evolution-library/software/asm-super-mutant::linker-script)

  Create and cache the default linker script

• limit-call — initarg: :limit-call; reader: software-evolution-library/software/asm-super-mutant:limit-call; writer: (setf software-evolution-library/software/asm-super-mutant:limit-call)

  If specified, wrap executable with this call.

Combine super-mutant capabilities with asm-heap framework.

Variable: *bss-segment-start* [sel/sw/asm-super-mutant]

If non-nil, address of .bss segment

Variable: *callee-saved-init-value* [sel/sw/asm-super-mutant]

Arbitrary value to initialize callee-save registers which are not otherwise initialized by the io spec.

Variable: *data-segment-start* [sel/sw/asm-super-mutant]

If non-nil, address of .data segment

Variable: *inline-included-lines* [sel/sw/asm-super-mutant]

Inline the additional lines of assembler. Inline them with the function being modified, so each variation contains these lines.

Variable: *keep-assembly-files* [sel/sw/asm-super-mutant]

If true, evaluate will keep generated assembly files.

Variable: *keep-fitness-executables* [sel/sw/asm-super-mutant]

If true, evaluate will keep generated fitness executables.

Variable: *lib-papi* [sel/sw/asm-super-mutant]

Path to papi library. See http://icl.cs.utk.edu/papi/.

Variable: *optimize-included-lines* [sel/sw/asm-super-mutant]

This option is no longer supported

Variable: *seldata-segment-start* [sel/sw/asm-super-mutant]

If non-nil, address of .seldata segment

Variable: *text-segment-start* [sel/sw/asm-super-mutant]

If non-nil, base address

Variable: *timeout-seconds* [sel/sw/asm-super-mutant]

Number of seconds before the fitness process is timed out.

Function: create-target [sel/sw/asm-super-mutant] asm-super

Returns an asm-heap software object which contains only the target lines.

Function: load-io-file [sel/sw/asm-super-mutant] super-asm filename

Load the file containing input and output state information

Function: parse-sanity-file [sel/sw/asm-super-mutant] filename

Parses the ’sanity’ file which is output by the gtx disassembler. It contains all the data variables and addresses (some of which are not included in the disassembly file). Returns a vector of var-rec.

Function: restore-original-addresses [sel/sw/asm-super-mutant] asm

If any rip-relative addresses have been converted to absolute, for evaluation, restore them to the original instructions.

Function: target-function [sel/sw/asm-super-mutant] asm-super start-addr end-addr

Define the target function by specifying start address and end address

Function: target-function-name [sel/sw/asm-super-mutant] asm function-name

Specify target function by name. The name can be a symbol or a string. If a symbol, the symbol-name of the symbol is used.