Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

turn on staticShadowAnalysis option

Browse Source
This commit is contained in:
ALEXks
2026-02-14 08:39:57 +03:00
committed by Oleg Nikitin
parent 0b46007f8e
commit ef76988301
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/Sapfor.cpp
View File

@@ -2524,8 +2524,8 @@ int main(int argc, char **argv)
out_free_form = 1; out_free_form = 1;
out_line_unlimit = 1; out_line_unlimit = 1;
} }
else if (string(curr_arg) == "-sh") /*else if (string(curr_arg) == "-sh")
staticShadowAnalysis = 1; staticShadowAnalysis = 1;*/
else if (string(curr_arg) == "-shWidth") else if (string(curr_arg) == "-shWidth")
{ {
i++; i++;

2
src/SapforData.h
View File

@@ -19,7 +19,7 @@
extern std::map<std::string, std::string> shortFileNames; extern std::map<std::string, std::string> shortFileNames;
static int activeState = 0; static int activeState = 0;
int staticShadowAnalysis = 0; int staticShadowAnalysis = 1;
int staticPrivateAnalysis = 0; int staticPrivateAnalysis = 0;
int keepDvmDirectives = 0; int keepDvmDirectives = 0;
int keepFiles = 0; int keepFiles = 0;

2
src/Utils/version.h
View File

@@ -1,3 +1,3 @@
#pragma once #pragma once
#define VERSION_SPF "2460" #define VERSION_SPF "2461"

2
src/VisualizerCalls/get_information.cpp
View File

@@ -152,7 +152,7 @@ static void setOptions(const short* options, bool isBuildParallel = false, const
intOptions[z] = -1; intOptions[z] = -1;
} }
staticShadowAnalysis = intOptions[STATIC_SHADOW_ANALYSIS]; //staticShadowAnalysis = intOptions[STATIC_SHADOW_ANALYSIS];
staticPrivateAnalysis = intOptions[STATIC_PRIVATE_ANALYSIS]; staticPrivateAnalysis = intOptions[STATIC_PRIVATE_ANALYSIS];
out_free_form = intOptions[FREE_FORM]; out_free_form = intOptions[FREE_FORM];
if (out_free_form == 1) if (out_free_form == 1)