#include <remove_const_function_pointers.h>
+ Collaboration diagram for remove_const_function_pointerst:
To take a function call on a function pointer, and if possible resolve it to a small collection of possible values.
To take a function call on a function pointer, and if possible resolve it to a small collection of possible values.
To collapse the symbols down to their values where possible This takes a very general approach, recreating the expr tree exactly as it was and ignoring what type of expressions are found and instead recurses over all the operands.
Look up a symbol in the symbol table and return its value.
To resolve an expression to the specific function calls it can be.
To resolve a collection of expressions to the specific function calls they can be.
To resolve an expression to the specific function calls it can be.
To resolve an expression to the specific function calls it can be.
To resolve an expression to the specific function calls it can be.
To resolve an expression to the specific function calls it can be.
To resolve an expression to the specific function calls it can be.
To squash various expr types to simplify the expression.
To squash an index access by first finding the array it is accessing Then if the index can be resolved, return the squashed value.
To squash an member access by first finding the struct it is accessing Then return the squashed value of the relevant component.
To squash a dereference access by first finding the address_of the dereference is dereferencing.
To squash a typecast access.
To evaluate the const-ness of the expression type.
To evaluate the const-ness of the type.
Given an index into an array, resolve, if possible, the index that is being accessed.
To extract the value of the specific component within a struct.
Detailed Description
Member Typedef Documentation
◆ expressionst
◆ functionst
Constructor & Destructor Documentation
◆ remove_const_function_pointerst()
remove_const_function_pointerst::remove_const_function_pointerst
(
message_handlert &
message_handler,
)
To take a function call on a function pointer, and if possible resolve it to a small collection of possible values.
- Parameters
-
message_handler The message handler for messaget
ns The namespace to use to resolve types
symbol_table The symbol table to look up symbols in
Definition at line 34 of file remove_const_function_pointers.cpp.
Member Function Documentation
◆ get_component_value()
To extract the value of the specific component within a struct.
- Parameters
-
struct_expr The expression of the structure being accessed
member_expr The expression saying which component is being accessed
- Returns
- Returns the value of a specific component for a given struct expression.
Definition at line 800 of file remove_const_function_pointers.cpp.
◆ is_const_expression()
bool remove_const_function_pointerst::is_const_expression
(
const exprt &
expression )
const
private
To evaluate the const-ness of the expression type.
- Parameters
-
expression The expression to check
- Returns
- Returns true if the type of the expression is constant.
Definition at line 777 of file remove_const_function_pointers.cpp.
◆ is_const_type()
bool remove_const_function_pointerst::is_const_type
(
const typet &
type )
const
private
To evaluate the const-ness of the type.
- Parameters
-
type The type to check
- Returns
- Returns true if the type has ID_C_constant or is an array since arrays are implicitly const in C.
Definition at line 787 of file remove_const_function_pointers.cpp.
◆ operator()()
bool remove_const_function_pointerst::operator()
(
const exprt &
base_expression,
)
To take a function call on a function pointer, and if possible resolve it to a small collection of possible values.
It will resolve function pointers that are const and: - assigned directly to a function - assigned to a value in an array of functions - assigned to a const struct component Or variations within.
- Parameters
-
base_expression The function call through a function pointer
out_functions The functions that (symbols of type ID_code) the base expression could take.
- Returns
- Returns true if it was able to resolve the call, false if not. If it returns true, out_functions will be populated by all the possible values the function pointer could be.
Definition at line 52 of file remove_const_function_pointers.cpp.
◆ replace_const_symbols()
exprt remove_const_function_pointerst::replace_const_symbols
(
const exprt &
expression )
const
private
To collapse the symbols down to their values where possible This takes a very general approach, recreating the expr tree exactly as it was and ignoring what type of expressions are found and instead recurses over all the operands.
- Parameters
-
expression The expression to resolve symbols in
- Returns
- Returns a modified version of the expression, with all const symbols resolved to their actual values.
Definition at line 68 of file remove_const_function_pointers.cpp.
◆ resolve_symbol()
Look up a symbol in the symbol table and return its value.
- Parameters
-
symbol_expr The symbol expression
- Returns
- The expression value of the symbol.
Definition at line 109 of file remove_const_function_pointers.cpp.
◆ try_resolve_address_of_function_call()
To resolve an expression to the specific function calls it can be.
Specifically, this function deals with address_of expressions.
- Parameters
-
address_expr The address_of expression to resolve to possible function calls
out_functions The functions this expression could be
- Returns
- Returns true if it was able to resolve the address_of expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 306 of file remove_const_function_pointers.cpp.
◆ try_resolve_dereference()
To squash a dereference access by first finding the address_of the dereference is dereferencing.
Then return the squashed value of the relevant component.
- Parameters
-
deref_expr The dereference expression to resolve.
out_expressions The expressions this dereference could be
out_is_const Is the squashed expression constant
- Returns
- Returns true if it was able to squash the dereference expression If this is the case, out_expressions will contain the possible values this dereference could return The out_is_const will return whether the object that gets dereferenced is constant.
Definition at line 677 of file remove_const_function_pointers.cpp.
◆ try_resolve_dereference_function_call()
To resolve an expression to the specific function calls it can be.
Specifically, this function deals with dereference expressions by using try_resolve_dereferebce and then recursing on its value.
- Parameters
-
deref_expr The dereference expression to resolve to possible function calls
out_functions The functions this expression could be
- Returns
- Returns true if it was able to resolve the dereference expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 327 of file remove_const_function_pointers.cpp.
◆ try_resolve_expression()
bool remove_const_function_pointerst::try_resolve_expression
(
const exprt &
expr,
)
private
To squash various expr types to simplify the expression.
ID_index -> dig to find ID_array and get the values out of it ID_member -> dig to find ID_struct and extract the component value ID_dereference -> dig to find ID_address_of and extract the value ID_typecast -> return the value ID_symbol -> return false, const symbols are squashed first and non const symbols cannot be squashed Everything else -> unchanged
- Parameters
-
expr The expression to try and squash
out_resolved_expression The squashed version of this expression
out_is_const Is the squashed expression constant
- Returns
- Returns true providing the squashing went OK (note it may not have squashed anything). The out_resolved_expression will in this case be all the possible squashed versions of the supplied expression. The out_is_const will return whether the squashed value is suitably const (e.g. if we squashed a struct access, was the struct const).
Definition at line 396 of file remove_const_function_pointers.cpp.
◆ try_resolve_function_call()
bool remove_const_function_pointerst::try_resolve_function_call
(
const exprt &
expr,
)
private
To resolve an expression to the specific function calls it can be.
This is different to try_resolve_expression which isn't explicitly looking for functions and is instead just trying to squash particular exprt structures.
- Parameters
-
expr The expression to get the possible function calls
out_functions The functions this expression could be resolved to
- Returns
- Returns true if it was able to resolve the expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 124 of file remove_const_function_pointers.cpp.
◆ try_resolve_function_calls()
To resolve a collection of expressions to the specific function calls they can be.
Returns a collection if and only if all of them can be resolved.
- Parameters
-
exprs The expressions to evaluate
out_functions The functions these expressions resolve to
- Returns
- Returns true if able to resolve each of the expressions down to one or more functions.
Definition at line 208 of file remove_const_function_pointers.cpp.
◆ try_resolve_index_of()
To squash an index access by first finding the array it is accessing Then if the index can be resolved, return the squashed value.
If the index can't be determined then squash each value in the array and return them all.
- Parameters
-
index_expr The index expression to to resolve
out_expressions The expressions this expression could be
out_is_const Is the squashed expression constant
- Returns
- Returns true if it was able to squash the index expression If this is the case, out_expressions will contain the possible values this index_of could return The out_is_const will return whether either the array itself is const, or the values of the array are const.
Definition at line 508 of file remove_const_function_pointers.cpp.
◆ try_resolve_index_of_function_call()
bool remove_const_function_pointerst::try_resolve_index_of_function_call
(
const index_exprt &
index_expr,
)
private
To resolve an expression to the specific function calls it can be.
Specifically, this function deals with index expressions where it squashes its array and squash its index If we can get a precise number for the index, we try_resolve_function_call on its value otherwise try_resolve_function_call on each and return the union of them all
- Parameters
-
index_expr The index expression to resolve to possible function calls
out_functions The functions this expression could be
- Returns
- Returns true if it was able to resolve the index expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 243 of file remove_const_function_pointers.cpp.
◆ try_resolve_index_value()
bool remove_const_function_pointerst::try_resolve_index_value
(
const exprt &
expr,
)
private
Given an index into an array, resolve, if possible, the index that is being accessed.
This deals with symbols and typecasts to constant values.
- Parameters
-
out_array_index The constant value the index takes
- Returns
- Returns true if was able to find a constant value for the index expression. If true, then out_array_index will be the index within the array that the function pointer is pointing to.
Definition at line 465 of file remove_const_function_pointers.cpp.
◆ try_resolve_member()
To squash an member access by first finding the struct it is accessing Then return the squashed value of the relevant component.
- Parameters
-
member_expr The member expression to resolve.
out_expressions The expressions this component could be
out_is_const Is the squashed expression constant
- Returns
- Returns true if it was able to squash the member expression If this is the case, out_expressions will contain the possible values this member could return The out_is_const will return whether the struct is const.
Definition at line 610 of file remove_const_function_pointers.cpp.
◆ try_resolve_member_function_call()
bool remove_const_function_pointerst::try_resolve_member_function_call
(
const member_exprt &
member_expr,
)
private
To resolve an expression to the specific function calls it can be.
Specifically, this function deals with member expressions by using try_resolve_member and then recursing on its value.
- Parameters
-
member_expr The member expression to resolve to possible function calls
out_functions The functions this expression could be
- Returns
- Returns true if it was able to resolve the member expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 275 of file remove_const_function_pointers.cpp.
◆ try_resolve_typecast()
To squash a typecast access.
- Parameters
-
typecast_expr The typecast expression to resolve.
out_expressions The expressions this typecast could be
out_is_const Is the squashed expression constant
- Returns
- Returns true if it was able to squash the typecast expression If this is the case, out_expressions will contain the possible values after removing the typecast.
Definition at line 747 of file remove_const_function_pointers.cpp.
◆ try_resolve_typecast_function_call()
To resolve an expression to the specific function calls it can be.
Specifically, this function deals with typecast expressions by looking at the type cast values.
- Parameters
-
typecast_expr The typecast expression to resolve to possible function calls
out_functions The functions this expression could be
- Returns
- Returns true if it was able to resolve the typecast expression to some specific functions. If this is the case, out_functions will contain the possible functions.
Definition at line 359 of file remove_const_function_pointers.cpp.
Member Data Documentation
◆ log
messaget remove_const_function_pointerst::log
private
◆ ns
◆ symbol_table
The documentation for this class was generated from the following files:
