* @brief Re-initializes the underlying alias analysis. * * This function is a delegation to AliasAnalysis::init(). See it for more * information. */

* Same as @c insertBack() but if asm instruction ends with terminator, the * new instruction is inserted before it. */

* Checks whether given value is aligned based on alignment value. * Alignment must be power of 2. * * @param value Value to be checked. * @param a

* @brief Returns @c true if the shift is logical, @c false otherwise. */

* @brief Returns @c true if the operator is binary, @c false otherwise. * * This function returns @c true if and only if the operator is unary. * * @s

* Returns whether the method is final. * @return @c true if final, otherwise @c false. */

* @brief Returns @c true if the given character can be a part of an ID, @c * false otherwise. */

* Check possible packing * @return detection level of possible packing */

* @brief Returns @c true if @a type is a (possibly indirect) pointer to an * array, @c false otherwise. */

* @return @c true if isCode() or isConstData(), @c false otherwise. */

* Returns whether the class is sealed. * @return @c true if sealed, otherwise @c false. */

* @brief Returns if both operands are signed or both operands are unsigned. * * @param[in, out] apsIntPair Pair of @c llvm::APSint. * * @return @c tru

* @return @c true if isData() or isCodeAndData() or isConstData(), @c false otherwise. */

* Check whether TLS is used * @return @c true if TLS is used, @c false otherwise */

* Verify state of instance after construction * @return @c true if file was read successfully, @c false otherwise */

* Does this section appear to be valid in the context of the provided input file? * @param sOwner Pointer to input file * @return @c true if section

* @brief Checks if the offset is valid, with UINT32_MAX reserved as invalid * * @return true * @return false */

* Returns whether the method is virtual. * @return @c true if virtual, otherwise @c false. */

\internal \returns b if a<=0, and returns a otherwise. */

\internal */

* @brief Marks the initialization part of the statement as a definition of the * variable assigned in the part. */

* Convert meta to type of tool. */

* @brief Returns an iterator to the first node in the CFG. */

* @brief Returns an iterator past the last node in the CFG. */

* @brief Notifies all observers by calling Observer::update() on them. * * @param[in] arg Optional argument to Observer::update() calls. * * Obser

* @brief Returns an iterator to the first parameter bind. */

* @brief Entry point for parsing AST representation of functions into ctypes functions. * Sets internal variables and checks if root AST node is func

* Parse string with list of LLVM types (i.e. "t1,..,tn") into vector * of LLVM types. * @param ctx Context in which the LLVM type is creat

Parses one typedefed types.

* @brief Converts the given pattern into a string by utilizing print(). */

* @brief Performs a traversal of the current CFG, starting at @a startStmt. * * @return Result of the traversal (its meaning may vary from subclass to

* Print error message and return non-zero value. * * @param errorMessage message to print * @return non-zero value */

* Print usage. */

\internal * Queries and returns the cache sizes in Bytes of the L1, L2, and L3 data caches respectively */

\returns the rank of the matrix of which *this is the complete orthogonal * decomposition. * * \note This method has to determine which pivot

* Convert reference pairs to string. * * @param references references * @return references as string */

* @brief Removes the initializer. */

* @brief Removes the statement's label (if any). */

* @brief Removes the predecessor @a stmt. * * @param[in] stmt Predecessor to be removed. * * If @a stmt is not a predecessor of the current statement,

* @brief Removes statement successor if exists. */

* @brief Replaces all occurrences of @a what with @a withWhat in @a str and * returns the resulting string. */

dummy resize function

\returns the number of columns */