Created Scope stub for Java programs.
CProgramScope or JProgramScope is created
dependent on language.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13001 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix version detection of CPAchecker in benchmark scripts.
The version is not always in the first line of CPAchecker's output.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13003 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Upgrade version of AppEngine SDK

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13004 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Benchmark script recognizes intended status for Java test programs.

This is currently handled as a special case without using a property file
as no properties for Java exist at this point.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13008 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactoring bam-transfer and bam-subtree-remover. for a special case of block-layout (exit-node equals call-node of next block, but next block is not nested in previous) there is an exception. however, this case was also handled wrong before (transfer went wrong).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13009 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk and fix some bugs from merge.

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