Please enable JavaScript.
Coggle requires JavaScript to display documents.
namespace EASY (1 findPartitionedArrays (void printBoogieHeader), 3…
namespace EASY
1 findPartitionedArrays
void printBoogieHeader
3 interpretToBoogie
void printFunctionPrototype - step 3
void printVarDeclarationsInMain - step 3
void printVarDeclarations - step 3
void anlyzePhiInstr - step 3
void instrDecoding - step 3
void varDeclaration - printVarDelcarations
bool isFuncArg - varFoundInList
void instrDecodingInMain - step 3
2 sliceThreadFunction
0 analyzeThreadInfo
void printBoogieHeader - step 1
bool getGlobalArraySize - step 1
void varFoundInList - printVarDelcarations
bool runOnModule
3.5: interpreToCSimulator
3: interpretToBoogie
2: sliceThreadFunction
1: findPartitionedArrays
0: analyzeTreadInfo