Skip to main content

module lang::php::analysis::cfg::BasicBlocks

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::cfg::BasicBlocks;

Source code​

http://github.com/cwi-swat/php-analysis/blob/main/src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc

Dependencies​

import lang::php::analysis::cfg::CFG;
import lang::php::analysis::cfg::FlowEdge;
import lang::php::analysis::cfg::Label;
import lang::php::analysis::NamePaths;
import Relation;
import List;
import String;
import Set;
import IO;
import analysis::graphs::Graph;

data CFGNode​

data CFGNode  
     = basicBlock(list[CFGNode] nodes)
     ;

data Lab​

data Lab  
     = blockLabel(int id)
     ;

function printCFGNode​

str printCFGNode(basicBlock(list[CFGNode] nodes))

function createBasicBlocks​

CFG createBasicBlocks(CFG g)