ALEXks 19254c0641 fixed shadow grouping

2026-02-19 20:47:23 +03:00

..

ArrayConstantPropagation

change propagation

2025-12-27 13:30:25 +03:00

CFGraph

added CFG_withUnreachable option

2026-02-19 20:47:23 +03:00

CreateInterTree

refactoring: removed unnecessary

2025-06-04 13:08:38 +03:00

DirectiveProcessing

fixed shadow grouping

2026-02-19 20:47:23 +03:00

Distribution

fixed GetDeclSymbol

2026-02-19 20:47:23 +03:00

DvmhRegions

fixed region inserter

2025-07-27 08:20:36 +03:00

DynamicAnalysis

refactoring: removed unnecessary

2025-06-04 13:08:38 +03:00

GraphCall

refactored

2025-09-23 08:21:05 +03:00

GraphLoop

corrected style, updated version

2025-12-24 08:58:28 +03:00

LoopAnalyzer

corrected style, updated version

2025-12-24 08:58:28 +03:00

ParallelizationRegions

fixed shared memory parallelization

2025-07-05 20:49:23 +03:00

Predictor

improved CFG settings

2026-02-19 20:47:23 +03:00

PrivateAnalyzer

change propagation

2025-12-27 13:30:25 +03:00

ProjectManipulation

updated dvm for SAPFOR

2025-09-11 17:20:44 +03:00

ProjectParameters

fixed compilation

2025-06-11 15:17:32 +03:00

SageAnalysisTool

refactoring: removed unnecessary

2025-06-04 13:08:38 +03:00

Server

finalyze moving

2025-03-12 14:28:04 +03:00

Transformations

improved CFG settings

2026-02-19 20:47:23 +03:00

Utils

fixed shadow grouping

2026-02-19 20:47:23 +03:00

VerificationCode

refactoring: removed unnecessary

2025-06-04 13:08:38 +03:00

VisualizerCalls

turn on staticShadowAnalysis option

2026-02-19 20:47:23 +03:00

Sapfor.cpp

improved CFG settings

2026-02-19 20:47:23 +03:00

Sapfor.h

refactored

2026-02-19 20:47:22 +03:00

SapforData.h

turn on staticShadowAnalysis option

2026-02-19 20:47:23 +03:00