de.fosd.typechef.typesystem.linker
CInferInterface
Related Doc:
package linker
Enum Environment: Just a set of names that are valid enums.
Enum Environment: Just a set of names that are valid enums. No need to remember fields etc, because they are integers anyway and no further checking is done in C
label environment: stores which labels are reachable from a goto.
label environment: stores which labels are reachable from a goto.
the environment is filled upon function entry for the entire function and just stores under which condition a label is defined
for struct and union ConditionalTypeMap represents for the fields of the struct
for struct and union ConditionalTypeMap represents for the fields of the struct
structs do not need to be defined, but they can be complete (with fields) or incomplete
we store whether a structure with this name is complete (FeatureExpr). a redeclaration in an inner scope may reduce completeness again
we do not distinguish between alternative structures. fields are merged in one ConditionalTypeMap entry, but by construction they cannot overlap if the structure declarations do not overlap variant-wise
the structEnv maps a tag name to a conditional tuple (isComplete, fields, scope)
*** Variable-Typing context (collects all top-level and local declarations) variables with local scope overwrite variables with global scope
*** Variable-Typing context (collects all top-level and local declarations) variables with local scope overwrite variables with global scope
invoked before every external decl, statement and expression with the environment of that node
invoked before every external decl, statement and expression with the environment of that node
for example to debug the environment
mixed in from CEnvCache
* Structs
* Structs
helper function for CDeclUse
helper function for CDeclUse
ensure that the type is complete in the given environment
ensure that the type is complete in the given environment
used for example when declaring or dereferencing a variable
invoked before checking an external declaration (for example used for progress reports)
invoked before checking an external declaration (for example used for progress reports)
determines whether types are compatible in assignements etc
determines whether types are compatible in assignements etc
for "a=b;" with a:type1 and b:type2
returns None if there is an error, Some("") if it passes and Some(msg) if there is a warning
ansi c conversion rules of two arithmetic types (if called on other types, it just returns the first type; hence the pattern if cocerce(x,y) return converse(x,y) should yield the default behavior )
ansi c conversion rules of two arithmetic types (if called on other types, it just returns the first type; hence the pattern if cocerce(x,y) return converse(x,y) should yield the default behavior )
default is int. if either operand has a higher priority, it is preferred over int
according to specification: http://techpubs.sgi.com/library/manuals/0000/007-0701-150/pdf/007-0701-150.pdf
only used when resolving a function
define all fields from enum type specifiers as int values
define all fields from enum type specifiers as int values
enum is always interpreted as definition, not declaration. it conflicts with other definitions and other declarations.
important: this recurses into structures!
filtering is a workaround for a parsing problem (see open test) that can produce False AST-subtrees in some combinations.
filtering is a workaround for a parsing problem (see open test) that can produce False AST-subtrees in some combinations.
remove when problem is fixed
get a list of all declared variables from a declaration.
get a list of all declared variables from a declaration. also checks that declarations are wellformed (e.g., structs are complete)
types an expression in an environment, returns a new environment for all subsequent tokens (eg in a sequence)
types an expression in an environment, returns a new environment for all subsequent tokens (eg in a sequence)
try to recognize attribute((weak)) attribute as a flag.
try to recognize attribute((weak)) attribute as a flag.
the recognition is conservative and does ignore conditional attribute declarations (so a conditionally weak method is always recognized as weak, which may prevent us from detecting some problems, but which will not produce false positives)
under which condition is modifier extern defined?
under which condition is modifier extern defined?
linkage depends on previous identifiers in scope, on the scope (file level or not) and the specifiers
linkage depends on previous identifiers in scope, on the scope (file level or not) and the specifiers
see http://publications.gbdirect.co.uk/c_book/chapter8/declarations_and_definitions.html
returns a type and a changed environment for subsequent statements
returns a type and a changed environment for subsequent statements
most statements do not have types; type information extracted from sparse (evaluate.c)
are both types char but with different signage?
are both types char but with different signage?
we can report as a warning if both types are number, but they are not the same width or signed
we can report as a warning if both types are number, but they are not the same width or signed
error reporting for type errors
error reporting for type errors
hardcoding of functions for which parameters are considered security relevant parameters of these functions are checked for integer overflows
hardcoding of functions for which parameters are considered security relevant parameters of these functions are checked for integer overflows
normalize types for internal comparison in coerce (do not return this to the outside)
normalize types for internal comparison in coerce (do not return this to the outside)
* function -> pointer to function
* pointer to pointer to function -> pointer to function
* remove any CObj within the type
* regard arrays as pointers
* pointer to ignore equals ignore
* CVoid in function parameters is removed
get the parameters from the innermost declarator.
get the parameters from the innermost declarator. all outer (nested) declarators describe only arrays or parameters of the return type, if the function returns a function
promotion is what happens internally during conversion
promotion is what happens internally during conversion
sizeof() has type Any->size_t.
sizeof() has type Any->size_t. Type size_t is defined in individual header files (e.g. stddef.h) of the system though and may not be defined in all cases. here we look up the type of size_t and return an int in case it fails
all function declarations without definitions are imports if they are referenced at least once
all function declarations without definitions are imports if they are referenced at least once
all nonstatic function definitions are considered as exports
all nonstatic function definitions are considered as exports
actually the behavior of "extern inline" is slightly complicated, see also http://stackoverflow.com/questions/216510/extern-inline "extern inline" means neither static nor exported
returns the wider of two types for automatic widening
returns the wider of two types for automatic widening
first attempt to infer the interface of a C file for linker checks
listens to events of the type system to determine defined and called functions