check in code style settings for idea

to avoid reformating due to non-default indentation
add function types to TypeCache
provide type cache to dataflow analysis
Merge branch 'integervulnerabilities'
fix stupid compilation error

method was accidentally declared as public, not as protected
massive refactoring of CType

now a two-level structure. CType is the wrapper which takes
care of object and storage modifiers, whereas AType is
the old CType without CObj and represents the basic types
test helper infrastructure
Merge branch 'integervulnerabilities' into feature_volatile
simplify and unify test scaffolding
Merge branch 'integervulnerabilities' into feature_volatile
fix pointer vs array problem introduced in prior extension
eliminate warning
missing hashcode function lead to spurious errors
avoid uncovered case in match clause
Merge branch 'master' into feature_volatile
detecting volatile assignments (CERT EXP32-C)
detecting const assignments (CERT EXP40-C/05-C)
changed CFunction(...:AType) back to CFunction(...:CType)

this way function parameters and return types have const/volatile modifiers that can be analyzed
completed EXP05-C checking of const in parameters
fix type serialization bug