ALEXks 864ef699b7 refactored

2025-10-08 23:07:54 +03:00

..

CFGraph

added removedUnreachableBlocks call for buildCFG

2025-06-29 16:02:37 +03:00

CreateInterTree

refactoring: removed unnecessary

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

DirectiveProcessing

refactored

2025-10-08 23:07:54 +03:00

Distribution

fixed DIST::IO_PRIV detection

2025-10-08 23:07:54 +03:00

DvmhRegions

fixed region inserter

2025-10-08 23:07:54 +03:00

DynamicAnalysis

refactoring: removed unnecessary

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

GraphCall

refactored

2025-10-08 23:07:54 +03:00

GraphLoop

fixed shared memory parallelization

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

LoopAnalyzer

fixed shared memory parallelization

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

ParallelizationRegions

fixed shared memory parallelization

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

Predictor

refactored

2025-10-08 23:07:54 +03:00

PrivateAnalyzer

refactored

2025-10-08 23:07:54 +03:00

ProjectManipulation

updated dvm for SAPFOR

2025-10-08 23:07:54 +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

refactored

2025-10-08 23:07:54 +03:00

Utils

added json to global results

2025-10-08 23:07:54 +03:00

VerificationCode

refactoring: removed unnecessary

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

VisualizerCalls

cleanup

2025-10-08 23:07:54 +03:00

Sapfor.cpp

added TRANSFORM_ASSUMED_SIZE_PARAMETERS pass, fixed shared memory parallelization

2025-10-08 23:07:54 +03:00

Sapfor.h

added TRANSFORM_ASSUMED_SIZE_PARAMETERS pass, fixed shared memory parallelization

2025-10-08 23:07:54 +03:00

SapforData.h

merged master

2025-06-11 14:50:27 +03:00