Skip to main content

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

rascal-0.42.0
org.rascalmpl.php-analysis-0.3.3

Usage​

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

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)