small fix (manual merge from branch): paramVars were not used for pointers

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13855 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixes for BAM (manual merge into trunk): missing precision-update in removeSubtree, wrong precisionAdjustment in BAM (maybe never used before).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13856 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
small improvements: better msg at exception, removing magic number and redundant methods.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13857 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
renaming and moving some lines for better understanding

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13858 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: In assignments, rvalues are casted to lvalues.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13859 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Fixed calculation bug, missing rval.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13860 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPAchecker: Check size when writing value to the state.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13861 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Add a option to disable the stop operator.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13862 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Removed code that was commented out.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13863 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Don't unnecessarily create successors of smgStates.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13864 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Avoid creating SMGStates if not needed.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13865 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Avoid creating so many States for no reason.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13866 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Replaced isLessOrEqual with a hopefully more efficient variant.

SMGCPA: Forgot to commit class.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13867 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
ValueAnalysis: Bugfix.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13868 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
ValueAnalysis: Implemented support for Multi Edges.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13869 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
PredicateCPA: We have most types now, strengthen can be reimplemented.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13870 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
SMGCPA: Don't save predecessors in States.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13871 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Correct Javadoc in ValueAnalysis's Value interface.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13872 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
For our own convenience, add information about CFA nodes to the witness. This is data that will be ignored by the witness checker according to the specification.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13873 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Predecessors / Successor keys added.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13874 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c