* @brief Returns a constant iterator past the last parameter. */

Parses Union from union definition, not union as parameter.

* @brief Removes all predecessors of the statement. * * @param[in] onlyNonGoto Removes only non-goto statements. * * It only removes them from being t

* Set file type * @param filetype File type */

* @brief Sets the function's status concerning the number of arguments it takes. * * If @a isVarArg is @c true, it marks the function as with a variab

fast 0..255 * 0..255 => 0..255 rounded multiplication

Default constructor creates a null value.

Const member iterator ! \pre IsObject() == true */

Microsoft Visual Studio, version 2005 and higher. Not WinCE. int _snprintf_s( char *buffer, size_t sizeOfBuffer, size_t count, con

* @brief Clears the cache of the already cached results. * * It also puts the analysis into a valid state. */

* @brief Converts the given LLVM constant @a constant into an expression in BIR. * * @par Preconditions * - @a constant is non-null */

* @brief Makes the function to be a declaration. * * If the function is already a declaration, nothing happens. Once you make a * function a declarati

* @brief Counts all 1 bits in the given number. */

* Decodes unsigned integer out of the signature. * @param data Signature data. * @param [out] bytesRead Amount of bytes read out of signature. * @r

* Get const end matches iterator */

* Get integer (4B) located at provided offset using the specified endian or default file endian * @param offset Offset to get integer from * @param

* @return Basic block where LLVM to ASM instruction belongs, or @c nullptr * if ASM instruction not valid. */

* @brief Returns a comment for @a func. */

* @brief Returns the conditional part. */

* Get declared length of file. This length may be shorter or longer than real length of file. * @return Declared length of file * * This method tak

* Get information about ELF core file * @return Pointer to ELF core info of @c nullptr if file has no certificates */

* Returns the expected value of the byte. * * @return The expected value of the byte. */

* Get fileClass * @return Detected file class */

* @brief Returns the initialization part. */

* @brief Returns the last LLVM basic block in sequence which is represented by * this node. */

* Get index of library from which is import * @return Index of library from which is import */

* @return The RVA of the name of the file. **/

@name Getters @{

* @brief Returns the number of directly read variables. */

* @brief Returns the number of directly written variables. */

* Returns the number of the segments in the address space. * * @return The number of segments. */

* Get number of symbols in table * @return Number of symbols in table */

* Get path to input file * @return Path to input file */

* @brief Returns referencedType. */

* @brief Returns the ID of the bind to the return value. * * @par Preconditions * - the return value is bound */

* @brief Returns the source node of the edge. */

* @brief Returns the starting value. */

* Get symbol with name @a name * @param name Name of symbol to get * @return Pointer to symbol with name @a name or @c nullptr if such symbol is not

* @brief Implements getSymbolicNamesForParam() for LibcSemantics. * * See its description for more details. */

* Get type of PDB file * @return Type of PDB file */

* @brief Returns the type of the given function in the given class. * * The returned value is a textual representation, e.g. "constructor" or * "virtu

* Returns the wildcard mask of the byte. * * @return The wildcard mask of the byte. */

------------------------------------------------------------------------------

------------------------------------------------------------------------------

* Checks whether there are data on the provided address -- address must belong to some segment. * * @param address The address to check. * * @retu

* @brief Checks if module contains function. */

* @brief Returns @c true if @a var is a parameter of the function, @c false * otherwise. */

* @brief Is debugging information available? */

* @brief Checks if the given character is printable. */

* @brief Returns @c true if the integer is unsigned, @c false otherwise. * * An integer can be either signed or unsigned. */

* @brief Returns @c true if @a stmt is a VarDefStmt or AssignStmt, @c false * otherwise. */

* @brief Parses C-types from JSON representation to user's module. * * @param[in] stream Input stream containing C-types in JSON. * @param[in] module

Function parameter in function declaration needs additional parsing to detect name and type or when it is array, (pointer to) function.

* @brief Prepends @a stmt to the statement. * * @param[in] stmt Statement to be prepended. * * Example: Consider the following situation: * @code * in

Removes types that are not used by any function.

restart

\brief Number of rows of transformation viewed as a matrix. * \returns Number of rows * \details This equals the dimension of the space t

* Sets the capacity of the buffer. * * @param capacity The new capacity to set to the buffer. */

* @brief Sets a new label of the statement. * * @par Preconditions * - @a newLabel is non-empty */

* Set link to associated section * @param sectionIndex Link to associated section */

* @brief Sets a new operand. * * @par Preconditions * - @a newOp is non-null */

* @brief Set the right-hand side of the assignment. * * @par Preconditions * - @a right is non-null */

* Set size of section or segment in memory * @param sMemorySize Size of section or segment in memory */

* Set type of PDB file * @param sType Type of PDB file */

------------------------------------------------------------------------------

Initialize this value as constant string, without calling destructor.