Merge branch 'master' into feature/ivette/field/rl

ivette/src/dome/renderer/controls/buttons.tsx

ivette/src/dome/renderer/frame/style.css

ivette/src/dome/renderer/layout/forms.tsx

ivette/src/frama-c/plugins/eva/DomainStates.tsx

ivette/src/frama-c/plugins/wp/tac.tsx

ivette/src/sandbox/qsplit.tsx

src/kernel_internals/typing/cabs2cil.ml

src/plugins/eva/domains/cvalue/builtins_memory.ml

tests/builtins/memcpy.c

tests/builtins/oracle/memcpy.0.res.oracle

tests/builtins/oracle/memcpy.1.res.oracle

tests/builtins/oracle_gauges/memcpy.0.res.oracle

tests/builtins/oracle_gauges/memcpy.res.oracle

tests/syntax/array_size.c

tests/syntax/array_size.i

tests/syntax/generic.c

tests/syntax/oracle/array_size.0.res.oracle

tests/syntax/oracle/array_size.1.res.oracle

tests/syntax/oracle/array_size.2.res.oracle

tests/syntax/oracle/array_size.3.res.oracle