A boolean convenience function for when we only want to test if we're a thunk.

Presently, the push boolean indicates whether the conplex type should be pushed onto the stack or not. The default is true (push the value onto

This method tests for the presence of the SEI defined INCOMPLETE bit.

Evaluate whether any of our possible expressions are equivalent to any of the posssible expressions of the other symbolic value.

Fetch the type descriptor off of a SymbolicValue or create a default one if it cannot be found

Return the partitioner basic block containing a given address.

Retrieve the hash from the TreeNode.

Accessor functions

Find the instruction pointer register in an architecture independent way.

Compute the md5 hash of the bytes in a given string.

Used to be in a couple of places, no longer needed?

Routine for aborting the program which is safe to call from an exec-style death test child process, in which case the error message is propagated back

Return the list of outgoing calls.

Return the set of target addresses.

This is here primarily because I don't want to reference the global descriptor set in the globals header file.

CERT addition so we don't have to promote return value.

I'm rather shocked that std::string doesn't already provide this.

for each vertex in the old graph, copy it to the new graph and add the necessary properties

Returns true iff the unit test passed (i.e. all test cases passed).

Gets the elapsed time, in milliseconds.

CERT addition so we don't have to promote return value.

Non virtualized version returns a SymbolicValuePtr

Returns the current time in milliseconds.

Parses a string for a bool flag, in the form of either "--flag=value" or "--flag". In the former case, the value is taken as true as long as it does

The optimal API appears to be an implementation that returns addresses rather higher level constructs like function descriptors or import descriptors.

Const only access to the calling convention from outside the function class.

A little syntactic sugar to make the recursive extract_possible_values() routine properly return a set of tree nodes. This routine must return tree n

Convenience function to cast an expression to a bool type

Reads and returns the Boolean environment variable corresponding to the given flag; if it's not set, returns default_value. The value is considered t

Formats a source file path and a line number as they would appear in an error message from the compiler used to compile this code.

Return the last instruction in a given basic block

Initializes Google Test. This must be called before calling RUN_ALL_TESTS(). In particular, it parses a command line for the flags that Google Test

Parses a string for a string flag, in the form of "--flag=value". On success, stores the value of the flag in *value, and returns true. On failure,

Converts the buffer in a stringstream to an std::string, converting NUL bytes to "\\0" along the way.

Iterates over a vector of TestCases, keeping a running sum of the results of calling a given int-returning method on each. Returns the sum.