New check:
- alias to vector element invalid after vector is changed
Improved checking:
- improved value flow analysis for struct members
- improved value flow analysis for pointer alias
CERT:
- Added ENV33-C: Do not call system()
MISRA:
- Added rule 2.7
- Added rule 3.2
- Added rule 4.2
- Added rule 14.2
- Added rule 21.1
- Added rule 21.12
Addons:
- Add --recursive option. You can check dump files recursively.
Signed-off-by: Pierre-Yves <pyu@riseup.net>