diff --git a/src/Sapfor.cpp b/src/Sapfor.cpp index 7baa9b8..2473782 100644 --- a/src/Sapfor.cpp +++ b/src/Sapfor.cpp @@ -2524,8 +2524,8 @@ int main(int argc, char **argv) out_free_form = 1; out_line_unlimit = 1; } - else if (string(curr_arg) == "-sh") - staticShadowAnalysis = 1; + /*else if (string(curr_arg) == "-sh") + staticShadowAnalysis = 1;*/ else if (string(curr_arg) == "-shWidth") { i++; diff --git a/src/SapforData.h b/src/SapforData.h index 9f6f638..dfb20c0 100644 --- a/src/SapforData.h +++ b/src/SapforData.h @@ -19,7 +19,7 @@ extern std::map shortFileNames; static int activeState = 0; -int staticShadowAnalysis = 0; +int staticShadowAnalysis = 1; int staticPrivateAnalysis = 0; int keepDvmDirectives = 0; int keepFiles = 0; diff --git a/src/Utils/version.h b/src/Utils/version.h index 5aee966..e5709c8 100644 --- a/src/Utils/version.h +++ b/src/Utils/version.h @@ -1,3 +1,3 @@ #pragma once -#define VERSION_SPF "2460" +#define VERSION_SPF "2461" diff --git a/src/VisualizerCalls/get_information.cpp b/src/VisualizerCalls/get_information.cpp index 229d49b..b7874f1 100644 --- a/src/VisualizerCalls/get_information.cpp +++ b/src/VisualizerCalls/get_information.cpp @@ -152,7 +152,7 @@ static void setOptions(const short* options, bool isBuildParallel = false, const intOptions[z] = -1; } - staticShadowAnalysis = intOptions[STATIC_SHADOW_ANALYSIS]; + //staticShadowAnalysis = intOptions[STATIC_SHADOW_ANALYSIS]; staticPrivateAnalysis = intOptions[STATIC_PRIVATE_ANALYSIS]; out_free_form = intOptions[FREE_FORM]; if (out_free_form == 1)