Skip to main content

module lang::php::analysis::slicing::BasicSlicer

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::slicing::BasicSlicer;

Source code​

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

Dependencies​

import lang::php::ast::AbstractSyntax;
import lang::php::ast::System;
import lang::php::analysis::cfg::CFG;
import lang::php::analysis::cfg::Label;
import lang::php::analysis::cfg::FlowEdge;
import lang::php::analysis::usedef::UseDef;
import lang::php::analysis::cfg::Util;
import lang::php::analysis::cfg::Visualize;
import lang::php::util::Utils;
import Relation;
import Set;
import List;
import analysis::graphs::Graph;

function reachableViaMap​

set[CFGNode] reachableViaMap(CFG g, CFGNode n, bool star = false, bool backwards=false)

function basicSlice​

CFG basicSlice(CFG inputCFG, CFGNode n, set[Name] names, Defs d = { }, Uses u = { })

function visualizeSlice​

void visualizeSlice(CFG slicedCFG, loc l)